首页>外文会议>International symposium on foundations of information and knowledge systems

International symposium on foundations of information and knowledge systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Flavio Ferrarotti;Stefan Woltran
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
2.Computational Models of Argument: A New Perspective on Persisting KR Problems

机译：争论的计算模型：持久KR问题的新视角
- 作者：Gerhard Brewka
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
3.Automated Reasoning for Systems Engineering

机译：系统工程的自动推理
- 作者：Laura Kovacs
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
4.Old Keys that Open New Doors

机译：打开新门的旧钥匙
- 作者：Sebastian Link
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
5.The Logical Basis of Knowledge Representation in Answer Set Programming

机译：答案集编程中知识表示的逻辑基础
- 作者：David Pearce
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
6.Revisiting the Database Constraints Theory

机译：回顾数据库约束理论
- 作者：Bernhard Thalheim
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
7.Old Keys that Open New Doors

机译：打开新门的旧钥匙
- 作者：Sebastian Link
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
8.Concatenation, Separation, and Other Properties of Variably Polyadic Relations

机译：串联，分离和多变量多元关系的其他属性
- 作者：Heba Aamer;Haythem O. Ismail
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
- Variably polyadic relations;
- Covered relations Multigrade predicates;
- Closure;
- Reasoning;
9.Compilation of Conditional Knowledge Bases for Computing C-Inference Relations

机译：计算C推理关系的条件知识库的汇编
- 作者：Christoph Beierle;Steven Kutsch;Kai Sauerwald
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
10.Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs

机译：从数据库修复和修复程序中表征和计算数据库查询答案的原因
- 作者：Leopoldo Bertossi
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
11.Inferences from Attribute-Disjoint and Duplicate-Preserving Relational Fragmentations

机译：来自属性不相交和重复保存的关系碎片的推论
- 作者：Joachim Biskup;Marcel Preuß
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
12.ASP Programs with Groundings of Small Treewidth

机译：具有小树宽的ASP程序
- 作者：Bernhard Bliem
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
13.Rationality and Context in Defeasible Subsumption

机译：合理包含的合理性与背景
- 作者：Katarina Britz;Ivan Varzinczak
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
14.Haydi: Rapid Prototyping and Combinatorial Objects

机译：Haydi：快速原型设计和组合对象
- 作者：Stanislav Boehm;Jakub Beranek;Martin Surkovsky
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
- Combinatorial objects;
- Rapid prototyping Canonical representation;
15.Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports

机译：具有递归攻击和基于证据的支持的论证框架
- 作者：Claudette Cayrol;Jorge Fandinno;Luis Farinas del Cerro;Marie-Christine Lagasquie-Schiex
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
16.A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators

机译：具有上下概率算子迭代的可确定多主体逻辑
- 作者：Dragan Doder;Nenad Savic;Zoran Ognjanovic
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
- Probabilistic logic;
- Upper and lower probabilities Decidability;
- Completeness theorem;
17.Probabilistic Team Semantics

机译：概率团队语义
- 作者：Arnaud Durand;Miika Hannula;Juha Kontinen;Arne Meier;Jonni Virtema
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
18.Strategic Dialogical Argumentation Using Multi-criteria Decision Making with Application to Epistemic and Emotional Aspects of Arguments

机译：基于多准则决策的战略对话论证，并应用于论证的情感和情感方面
- 作者：Emmanuel Hadoux;Anthony Hunter;Jean-Baptiste Correge
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
19.First-Order Definable Counting-Only Queries

机译：一阶可定义的仅计数查询
- 作者：Jelle Hellings;Marc Gyssens;Dirk Van Gucht;Yuqing Wu
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
20.The Power of Tarski's Relation Algebra on Trees

机译：Tarski关系代数在树上的作用
- 作者：Jelle Hellings;Yuqing Wu;Marc Gyssens;Dirk Van Gucht
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
21.Improving the Performance of the k Rare Class Nearest Neighbor Classifier by the Ranking of Point Patterns

机译：通过点模式的排序提高k个稀有类最近邻分类器的性能
- 作者：Zsolt Laszlo;Levente Toeroek;Gyoergy Kovacs
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
22.Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains

机译：组合域上部分词典式偏好林的偏好学习与优化
- 作者：Xudong Liu;Miroslaw Truszczynski
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
23.Enumeration Complexity of Poor Man's Propositional Dependence Logic

机译：穷人命题依存逻辑的枚举复杂性
- 作者：Arne Meier;Christian Reinbold
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
24.Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis

机译：完善语义匹配以进行招聘：形式概念分析的应用
- 作者：Gabor Racz;Attila Sali;Klaus-Dieter Schewe
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
25.OntoDebug: Interactive Ontology Debugging Plug-in for Protege

机译：OntoDebug：Protege的交互式本体调试插件
- 作者：Konstantin Schekotihin;Patrick Rodler;Wolfgang Schmid
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
26.A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries

机译：比较查询语言表达布尔查询能力的框架
- 作者：Dimitri Surinx;Jan Van den Bussche;Dirk Van Gucht
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年
27.A Generalized Iterative Scaling Algorithm for Maximum Entropy Model Computations Respecting Probabilistic Independencies

机译：考虑概率独立性的最大熵模型计算的广义迭代缩放算法
- 作者：Marco Wilhelm;Gabriele Kern-Isberner;Marc Finthammer;Christoph Beierle
- 会议名称：《International symposium on foundations of information and knowledge systems》 | 2018年