首页>外文会议>其他>International conference on principles of knowledge representation and reasoning

International conference on principles of knowledge representation and reasoning

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Knowledge Equivalence in Combined Action Theories

机译：组合行动理论中的知识等价
- 作者：Ronald P. A. Petrick;Hector J. Levesque
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
2.Complexity Results for Paraconsistent Inference Relations

机译：恶作机推理关系的复杂性结果
- 作者：Sylvie Coste-Marquis;Pierre Marquis
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
3.As Time Goes By: Automatic Complexity Analysis of Simplification Rules

机译：随着时间的推移：简化规则的自动复杂性分析
- 作者：Thom Fruehwirth
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
4.A structural approach to default reasoning

机译：默认推理的结构方法
- 作者：Gabriele Kern-Isberner
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
5.Evaluating a modular Abox algorithm

机译：评估模块化abox算法
- 作者：Sergio Tessaris;Ian Horrocks;Graham Gough
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
6.ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS

机译：情况微积分中的行动和其他事件
- 作者：John McCarthy
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
7.On the Limitations of Ordinal Approaches to Decision-Making

机译：论序序决策方法的局限性
- 作者：Didier Dubois;Helene Fargier;Patrice Perny
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
8.Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic

机译：减少逻辑计划的强大等价，在古典命题逻辑中呈现
- 作者：Fangzhen Lin
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
9.A Logical Account of Perception Incorporating Feedback and Expectation

机译：逻辑叙述纳入反馈和期望
- 作者：Murray Shanahan
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
10.Judgments about spatio-temporal relations

机译：关于时空关系的判断
- 作者：Thomas Bittner
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
11.A fuzzy set approach to flexible case-based querying: methodology and experimentation

机译：基于灵活案例查询的模糊集方法：方法论和实验
- 作者：Martine de Calmes;Didier Dubois;Eyke Huellermeier;Henri Prade;Florence Sedes
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
12.A Model-Based Diagnosis Framework for Distributed Embedded Systems

机译：用于分布式嵌入式系统的基于模型的诊断框架
- 作者：Gregory Provan
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
13.Declarative Procedural Goals in Intelligent Agent Systems

机译：智能代理系统中的陈述和程序目标
- 作者：Michael Winikoff;Lin Padgham;James Harland;John Thangarajah
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
14.Complexity Results for Explanations in the Structural-Model Approach

机译：在结构模型方法中解释的复杂性结果
- 作者：Thomas Eiter;Thomas Lukasiewicz
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
15.Eliminating Incoherence from Subjective Estimates of Chance

机译：消除机会的主观估计的不一致
- 作者：Randy Batsell;Lyle Brenner;Daniel Osherson;Moshe Y. Vardi;Spyros Tsavachidis
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
16.Social contraction and belief negotiation

机译：社会萎缩和信仰谈判
- 作者：Richard Booth
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
17.Physical Objects, Identity and Vagueness

机译：物理对象，身份和模糊性
- 作者：Brandon Bennett
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
18.Many-sorted Preference Relations

机译：许多排序的偏好关系
- 作者：Matteo Cristani
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
19.Connecting abstract description systems

机译：连接抽象描述系统
- 作者：Oliver Kutz;Frank Wolter;Michael Zakharyaschev
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
20.Observations and the Probabilistic Situation Calculus

机译：观察和概率情况微积分
- 作者：Paulo Mateus;Antonio Pacheco;Javier Pinto
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
21.Inference complexity as a model-selection criterion for learning Bayesian networks

机译：推理复杂性作为学习贝叶斯网络的模型选择标准
- 作者：Alina Beygelzimer;Irina Rish
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
- bayesian networks;
- learning;
- efficient inference;
- treewidth;
22.Evolving Ontologies in Distributed and Dynamic Settings

机译：在分布式和动态设置中不断发展的本体
- 作者：Helena Sofia Pinto;Joao P. Martins
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
23.Programming of Reasoning and Planning Agents with FLUX

机译：用助焊剂编程推理和规划代理
- 作者：Michael Thielscher
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
24.Solving QBF with SMV

机译：用SMV解决QBF
- 作者：Francesco M. Donini;Paolo Liberatore;Fabio Massacci;Marco Schaerf
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
25.Adding Numbers to the SHIQ Description Logic―First Results

机译：将数字添加到SHIQ描述逻辑 - 首先结果
- 作者：Carsten Lutz
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
26.On the logic of d-separation

机译：关于D-分离的逻辑
- 作者：Balder ten Cate
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
27.Adapting Golog for Composition of Semantic Web Services

机译：适应语义Web服务组成的golog
- 作者：Sheila Mcllraith;Tran Cao Son
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
28.A transition function based characterization of actions with delayed and continuous effects

机译：基于转换功能的延迟和连续效应的动作特征
- 作者：Chitta Baral;Tran Cao Son;Le-Chi Tuan
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
29.Distance-based Merging: A General Framework and some Complexity Results

机译：基于距离的合并：一般框架和一些复杂性结果
- 作者：Sebastien Konieczny;Jerome Lang;Pierre Marquis
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
30.Updating Contexts

机译：更新上下文
- 作者：Luciano Serafini;Antonia Dona
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
31.A Logical Approach to Factoring Belief Networks

机译：一种理解信仰网络的逻辑方法
- 作者：Adnan Darwiche
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
32.Building Large Composition Tables via Axiomatic Theories

机译：通过公理理论构建大型成分表
- 作者：David Randell;Mark Witkowski
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
33.Scientific Benchmarking with Temporal Logic Decision Procedures

机译：具有时间逻辑决策程序的科学基准
- 作者：Ullrich Hustadt;Renate A. Schmidt
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
34.A Generic Approach for Knowledge-Based Information-Site Selection

机译：基于知识的信息网站选择的通用方法
- 作者：Thomas Eiter;Michael Fink;Giuliana Sabbatini;Hans Tompits
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
35.From preference representation to combinatorial vote

机译：从偏好表示到组合投票
- 作者：Jerome Lang
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
36.Necessary Parts and Wholes in Bio-Ontologies

机译：生物本体中必要的零件和惠士
- 作者：Stefan Schulz;Udo Hahn
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
37.Approximation and Difference in Description Logics

机译：描述逻辑的近似和差异
- 作者：Sebastian Brandt;Ralf Kuesters;Anni-Yasmin Turhan
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
38.On the Frontier between Arbitration and Majority

机译：在仲裁和多数之间的前沿
- 作者：Sebastien Konieczny;Ramon Pino Perez
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
39.Belief extrapolation (or how to reason about observations and unpredicted change)

机译：信仰推断（或如何理解观察和未预测的变化）
- 作者：Florence Dupin de Saint-Cyr;Jerome Lang
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
40.Ultimate approximations in nonmonotonic knowledge representation systems

机译：非单调知识表示系统的最终近似
- 作者：Marc Denecker;Victor W. Marek;Miroslaw Truszczynski
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
41.Reasoning about Actions and Planning in LTL Action Theories

机译：LTL动作理论的行动和规划推理
- 作者：Diego Calvanese;Giuseppe De Giacomo;Moshe Y. Vardi
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
42.The Complexity of Model Checking for Knowledge Update

机译：模型检查知识更新的复杂性
- 作者：Chitta Baral;Yan Zhang
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
43.CP-nets - Reasoning and Consistency Testing

机译：CP-Nets - 推理和一致性测试
- 作者：Carmel Domshlak;Ronen I. Brafman
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
44.On the Semantics of Deliberation in IndiGolog ― From Theory to Implementation

机译：论靛蓝审议的语义 - 从理论到实施
- 作者：Giuseppe De Giacomo;Yves Lesperance;Hector J. Levesque;Sebastian Sardina
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
45.Abducing Qualitative Spatio-Temporal Histories from Partial Observations

机译：从部分观察中施加定性的特殊时间历史
- 作者：Shyamanta M Hazarika;Anthony G Cohn
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
46.Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints

机译：无限域的约束满足：构图域和分解约束
- 作者：Mathias Broxvall
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
47.Qualitative Choice Logic

机译：定性选择逻辑
- 作者：Gerhard Brewka;Salem Benferhat;Daniel Le Berre
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
48.Projection in Decomposed Situation Calculus

机译：分解情况微积分中的投影
- 作者：Eyal Amir
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
49.Bipolar representation and fusion of preferences in the possibilistic logic framework

机译：双极表示和偏好在可能的逻辑框架中的偏好
- 作者：Salem Benferhat;Didier Dubois;Souhila Kaci;Henri Prade
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
50.Design and comparison of lattices of topological relations based on Galois lattice theory

机译：基于Galois格子理论的拓扑关系格子的设计与比较
- 作者：Florence Le Ber;Amedeo Napoli
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
51.Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases

机译：基于评估的一阶知识库分析信息的推理
- 作者：Gerhard Lakemeyer;Hector J. Levesque
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
52.Resolving Inconsistencies by Variable Forgetting

机译：通过变量遗忘解决不一致
- 作者：Jerome Lang;Pierre Marquis
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2002年
53.On the Complexity of Axiom Pinpointing in the SL Family of Description Logics

机译：论SL系列描述逻辑SL系列定位的复杂性
- 作者：Rafael Penaloza;Baris Sertkaya
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
54.One Hundred Prisoners and a Lightbulb - Logic and Computation

机译：一百名囚犯和灯泡 - 逻辑和计算
- 作者：Hans van Ditmarsch;Jan van Eijck;William Wu
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
55.Towards Runtime Support for Norm-Governed Multi-Agent Systems

机译：朝着规范管理的多代理系统的运行时支持
- 作者：Visara Urovi;Stefano Bromuri;Kostas Stathis;Alexander Artikis
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
56.Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning

机译：关于第十二届知识代表和推理国际会议的教程介绍
- 作者：Leonardo de Moura;Carsten Lutz;monica me schraefel;Bernhard Nebel
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
57.Horn Clause Contraction Functions: Belief Set and Belief Base Approaches

机译：喇叭子句收缩功能：信仰集和信仰基地方法
- 作者：James P. Delgrande;Renata Wassermann
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
58.Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough

机译：具有权重约束的贸易答案 - 设置编程：有界树木宽度不够
- 作者：Reinhard Pichler;Stefan Ruemmele;Stefan Szeider;Stefan Woltran
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
59.Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

机译：受限制布尔函数绑架绑架的复杂性
- 作者：Nadia Creignou;Johannes Schmidt;Michael Thomas
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
60.On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information

机译：基于四个信息态的解除沉积三段论在解除逻辑逻辑中的应用
- 作者：Ofer Arieli
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
61.Characterizing Updates in Dynamic Epistemic Logic

机译：表征动态认知逻辑的更新
- 作者：Guillaume Aucher
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
62.Preferential Semantics for Plausible Subsumption in Possibility Theory

机译：适合理论的合理综合的优惠语义
- 作者：Guilin Qi;ZhiZheng Zhang
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
63.State Defaults and Ramifications in the Unifying Action Calculus

机译：统一行动微积分中的国家默认和后果
- 作者：Ringo Baumann;Gerhard Brewka;Hannes Strass;Michael Thielscher;Vadim Zaslawski
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
64.Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2

机译：猫头鹰1和2喇叭DL片段的最坏情况最佳推理
- 作者：Magdalena Ortiz;Sebastian Rudolph;Mantas Simkus
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
65.Abstract Dialectical Frameworks

机译：抽象辩证框架
- 作者：Gerhard Brewka;Stefan Woltran
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
66.Ontologies for Dates and Duration

机译：日期和持续时间的本体
- 作者：Michael Grueninger
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
67.Understanding Ontological Levels

机译：了解本体学院
- 作者：Claudio Masolo
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
68.On the Progression Semantics and Boundedness of Answer Set Programs

机译：关于答案集计划的进展语义和界限
- 作者：Yan Zhang;Yi Zhou
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
69.Set-Oriented Logical Connectives: Syntax and Semantics

机译：定向设置的逻辑连接：语法和语义
- 作者：Stuart C. Shapiro
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
70.Interpreting Topological Logics Over Euclidean Spaces

机译：用欧几里德空间解读拓扑逻辑
- 作者：Roman Kontchakov;Ian Pratt-Hartmann;Michael Zakharyaschev
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
71.I Don't Want to Think about It Now: Decision Theory with Costly Computation

机译：我现在不想考虑一下：决策理论具有昂贵的计算
- 作者：Joseph Y. Halpern;Rafael Pass
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
72.Status QIO: Conjunctive Query Entailment Is Decidable

机译：状态Qio：联合查询intailment是可解除的
- 作者：Birte Glimin;Sebastian Rudolph
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
73.On the Classical Content of Monadic G~ and Its Application to a Fuzzy Medical Expert System

机译：论Monadic G〜及其在模糊医学专家系统中的典型内容
- 作者：Agata Ciabattoni;Pavel Rusnok
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
74.Distributed Nonmonotonic Multi-Context Systems

机译：分布式非单调多语境系统
- 作者：Minh Dao-Tran;Thomas Eiter;Michael Fink;Thomas Krennwallner
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
75.The Combined Approach to Query Answering in DL-Lite

机译：DL-Lite中查询回答的组合方法
- 作者：R. Kontchakov;C. Lutz;D. Toman;F. Wolter;M. Zakharyaschev
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
76.Decomposing Description Logic Ontologies

机译：分解描述逻辑本体
- 作者：Boris Konev;Carsten Lutz;Denis Ponomaryov;Frank Wolter
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
77.Formalizing Psychological Knowledge in Answer Set Programming

机译：在答案集规划中正式化心理知识
- 作者：Marcello Balduccini;Sara Girotto
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
78.From Justifications Towards Proofs For Ontology Engineering

机译：从本体工程证明的理由
- 作者：Matthew Horridge;Bijan Parsia
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
79.Efficient Dominance Testing for Unconditional Preferences

机译：无条件偏好的高效优势测试
- 作者：Ganesh Ram Santhanam;Samik Basu;Vasant Honavar
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
80.Query and Predicate Emptiness in Description Logics

机译：在描述逻辑中查询和谓词空虚
- 作者：Franz Baader;Meghyn Bienvenu;Carsten Lutz;Frank Wolter
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
81.Finding Explanations of Inconsistency in Multi-Context Systems

机译：发现多上下文系统中不一致的解释
- 作者：Thomas Eiter;Michael Fink;Peter Schueller;Antonius Weinzierl
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
82.Towards Fixed-Parameter Tractable Algorithms for Argumentation

机译：朝向争论的固定参数易遗传算法
- 作者：Wolfgang Dvorak;Reinhard Pichler;Stefan Woltran
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
83.The Modular Structure of an Ontology: An Empirical Study

机译：本体的模块化结构：实证研究
- 作者：Bijan Parsia;Thomas Schneider
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
84.Probabilistic Description Logics for Subjective Uncertainty

机译：主观不确定性的概率描述逻辑
- 作者：Carsten Lutz;Lutz Schroeder
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
85.Improving Query Answering over DL-Lite Ontologies

机译：改进DL-Lite Intolologies的查询回答
- 作者：Riccardo Rosati;Alessandro Almatelli
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
86.Revising General Knowledge Bases in Description Logics

机译：在描述逻辑中修改一般知识库
- 作者：Zhe Wang;Kewen Wang;Rodney Topor
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
87.Generalized Planning with Loops under Strong Fairness Constraints

机译：强大的公平限制下环的广义规划
- 作者：Giuseppe De Giacomo;Fabio Patrizi;Sebastian Sardina
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
88.Multi-Agent Only-Knowing Revisited

机译：多代理只知道重新审视
- 作者：Vaishak Belle;Gerhard Lakemeyer
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
89.Diagnosis as Planning Revisited

机译：规划重新审视诊断
- 作者：Shirin Sohrabi;Jorge A. Baier;Sheila A. Mcllraith
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
90.A Decidable Class of Groundable Formulas in the General Theory of Stable Models

机译：稳定模型一般理论中可判定的可判定阶级的可接近公式
- 作者：Michael Bartholomew;Joohyung Lee
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
91.Modelling Combinatorial Auctions in Linear Logic

机译：线性逻辑中的组合拍卖
- 作者：Daniele Porello;Ulle Endriss
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
92.Maximally Paraconsistent Three-Valued Logics

机译：最大滞后的三维逻辑
- 作者：Ofer Arieli;Arnon Avron;Anna Zamansky
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
93.Situation Calculus-Based Programs for Representing and Reasoning aboutGame Structures

机译：基于微积分的表现和推理AfferAly结构的程序
- 作者：Giuseppe De Giacomo;Yves Lesperance;Adrian R. Pearce
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
94.Towards a Logic of Feature-Based Semantic Science Theories

机译：朝着基于特征的语义科学理论的逻辑
- 作者：David Poole
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
95.Decidability of a Description Logic over Infinite-Valued Product Logic

机译：描述无限值产品逻辑逻辑逻辑的可解密性
- 作者：Marco Cerami;Francesc Esteva;Felix Bou
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
96.Characterizing Strong Equivalence for Argumentation Frameworks

机译：表征争论框架的强大等价
- 作者：Emilia Oikarinen;Stefan Woltran
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
97.New Advances in Sequential Diagnosis

机译：顺序诊断的新进展
- 作者：Sajjad Siddiqi;Jinbo Huang
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
98.Walking the Decidability Line for Rules with Existential Variables

机译：使用存在变量的规则行走脱穷地线
- 作者：Jean-Francois Baget;Michel Leclere;Marie-Laure Mugnier
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
99.Independence and Functional Dependence Relations on Secrets

机译：独立性和功能依赖关系对秘密的关系
- 作者：Robert Kelvey;Sara Miner More;Pavel Naumov;Benjamin Sapp
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年
100.Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers

机译：通过部分MAX-SAT求解器计算多值语义下的不一致测量
- 作者：Guohui Xiao;Zuoquan Lin;Yue Ma;Guilin Qi
- 会议名称：《International conference on principles of knowledge representation and reasoning》 | 2010年