首页>外文会议>其他>International Conference on Principles of Knowledge Representation and Reasoning

International Conference on Principles of Knowledge Representation and Reasoning

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Decidable Reasoning in a Logic of Limited Belief with Function Symbols

机译：具有功能符号的有限信念逻辑的可解除推理
- 作者：Gerhard Lakemeyer;Hector J. Levesque
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
2.Succinctness of Languages for Judgment Aggregation

机译：用于判断聚合语言的简洁性
- 作者：Ulle Endriss;Umberto Grandi;Ronald de Haan;Jerome Lang
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
3.Query-Based Comparison of Mappings in Ontology-Based Data Access

机译：基于查询的基于本体的数据访问中的映射比较
- 作者：Meghyn Bienvenu;Riccardo Rosati
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
4.Anti-Unification of Concepts in Description Logic EL

机译：描述逻辑EL中概念的反统一
- 作者：Boris Konev;Temur Kutsia
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
5.A MIS Partition Based Framework for Measuring Inconsistency

机译：基于MIS分区的衡量不一致的框架
- 作者：Said Jabbour;Yue Ma;Badran Raddaoui;Lakhdar Sais;Yakoub Salhi
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
6.Discontinuity-Free Decision Support with Quantitative Argumentation Debates

机译：不连续性决策支持，具有量化论证辩论
- 作者：A. Rago;F. Toni;M. Aurisicchio;P. Baroni
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
7.Bisimulations on Data Graphs

机译：数据图上的Bisimulations
- 作者：Sergio Abriola;Pablo Barcelo;Diego Figueira;Santiago Figueira
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
8.On Referring Expressions in Query Answering over First Order Knowledge Bases

机译：关于一阶知识库的查询回答的引用表达式
- 作者：Alexander Borgida;David Toman;Grant Weddell
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
9.Foundations for Generalized Planning in Unbounded Stochastic Domains

机译：无限地随机域中的广义规划的基础
- 作者：Vaishak Belle;Hector J. Levesque
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
10.Implicit Hitting Set Algorithms for Reasoning Beyond NP

机译：隐式击中集合算法，以超越NP
- 作者：Paul Saikko;Johannes P. Wallner;Matti Jarvisalo
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
11.Priorities and Preferences: A Study Based on Contraction

机译：优先事项和偏好：基于收缩的研究
- 作者：Marlo Souza;Alvaro Moreira;Renata Vieira;John-Jules Ch. Meyer
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
12.Prompt Alternating-Time Epistemic Logics

机译：提示交替时间认知逻辑
- 作者：Benjamin Aminof;Aniello Murano;Sasha Rubin;Florian Zuleger
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
13.Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

机译：Monadic Diszive Datalog，MMSNP和表现形式描述逻辑中的遏制
- 作者：Pierre Bourhis;Carsten Lutz
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
14.Boolean Hedonic Games

机译：布尔凉亭游戏
- 作者：Haris Aziz;Paul Harrenstein;Jerome Lang;Michael Wooldridge
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
15.Some Complexity Results on Inconsistency Measurement

机译：一些复杂性导致不一致的测量
- 作者：Matthias Thimm;Johannes P. Wallner
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
16.Characterizing Equivalence Notions for Labelling-Based Semantics

机译：表征基于标记的语义的等价概念
- 作者：Ringo Baumann
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年
17.A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

机译：一种最大化定性空间和时间约束网络可靠性的坐姿方法
- 作者：Jean-Francois Condotta;Issam Nouaouri;Michael Sioutis
- 会议名称：《International Conference on Principles of Knowledge Representation and Reasoning》 | 2016年