Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski
Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning
KR, 2010.

@proceedings{KR-2010,
	address       = "Toronto, Ontario, Canada",
	editor        = "Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski",
	publisher     = "{AAAI Press}",
	title         = "{Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 2010,
}

Contents (70 items)

19 ×#logic
10 ×#reasoning
7 ×#multi
7 ×#ontology
6 ×#semantics
6 ×#set
5 ×#representation
4 ×#constraints
4 ×#decidability
4 ×#nondeterminism

KR-2010-AntoniouPB #reasoning

Reasoning about Context in Ambient Intelligence Environments: A Report from the Field (GA, CP, AB).

KR-2010-Arieli #logic #on the

On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information (OA).

KR-2010-ArieliAZ #logic

Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).

KR-2010-Aucher #logic

Characterizing Updates in Dynamic Epistemic Logic (GA).

KR-2010-BaaderBLW #logic #query

Query and Predicate Emptiness in Description Logics (FB, MB, CL, FW).

KR-2010-BagetLM #decidability

Walking the Decidability Line for Rules with Existential Variables (JFB, ML, MLM).

KR-2010-BalducciniG #formal method #programming #set

Formalizing Psychological Knowledge in Answer Set Programming (MB, SG).

KR-2010-Baral #multi #reasoning

Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (CB).

KR-2010-BartholomewL #decidability #modelling

A Decidable Class of Groundable Formulas in the General Theory of Stable Models (MB, JL).

KR-2010-BaumannBSTZ #calculus

State Defaults and Ramifications in the Unifying Action Calculus (RB, GB, HS, MT, VZ).

KR-2010-BelardinelliL #first-order #interactive #logic #multi

Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).

KR-2010-BelleL #multi #revisited

Multi-Agent Only-Knowing Revisited (VB, GL).

KR-2010-BienvenuLW #logic

From Preference Logics to Preference Languages, and Back (MB, JL, NW).

KR-2010-BoellaGRT #comprehension #logic

A Logical Understanding of Legal Interpretation (GB, GG, AR, LWNvdT).

KR-2010-BrafmanRSVW #constraints #information management #representation

Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms (RIB, FR, DS, KBV, TW).

KR-2010-BrewkaW #framework

Abstract Dialectical Frameworks (GB, SW).

KR-2010-CeramiEB #decidability #logic

Decidability of a Description Logic over Infinite-Valued Product Logic (MC, FE, FB).

KR-2010-CiabattoniR #fuzzy #monad #on the

On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System (AC, PR).

KR-2010-CondottaL #constraints #network

A Class of df-Consistencies for Qualitative Constraint Networks (JFC, CL).

KR-2010-CreignouST #abduction #complexity #set #strict

Complexity of Propositional Abduction for Restricted Sets of Boolean Functions (NC, JS, MT).

KR-2010-Dao-TranEFK #distributed #multi

Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).

KR-2010-DelgrandeW #horn clause #set

Horn Clause Contraction Functions: Belief Set and Belief Base Approaches (JPD, RW).

KR-2010-DitmarschEW #logic

One Hundred Prisoners and a Lightbulb — Logic and Computation (HvD, JvE, WW).

KR-2010-DvorakPW #algorithm #parametricity #towards

Towards Fixed-Parameter Tractable Algorithms for Argumentation (WD, RP, SW).

KR-2010-EiterFM #programming #set

Paracoherent Answer Set Programming (TE, MF, JM).

KR-2010-EiterFSW #consistency #multi #nondeterminism

Finding Explanations of Inconsistency in Multi-Context Systems (TE, MF, PS, AW).

KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set

Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).

KR-2010-GiacomoLP #calculus #game studies #reasoning #representation #source code

Situation Calculus Based Programs for Representing and Reasoning about Game Structures (GDG, YL, ARP).

KR-2010-GiacomoPS #constraints

Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).

KR-2010-GlimmR #decidability #query

Status QIO: Conjunctive Query Entailment Is Decidable (BG, SR).

KR-2010-GrauM #ontology #reasoning

Pushing the Limits of Reasoning over Ontologies with Hidden Content (BCG, BM).

KR-2010-Gruninger #ontology

Ontologies for Dates and Duration (MG).

KR-2010-HajishirziA #probability #reasoning

Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering (HH, EA).

KR-2010-Halpern #modelling

From Causal Models To Counterfactual Structures (JYH).

KR-2010-Halpern10a

I Don’t Want to Think About it Now: Decision Theory with Costly Computation (JYH).

KR-2010-HorridgeP #ontology #proving #towards

From Justifications Towards Proofs for Ontology Engineering (MH, BP).

KR-2010-HuL #correctness #problem #reasoning

A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).

KR-2010-IcardPS

Joint Revision of Beliefs and Intention (TFII, EP, YS).

KR-2010-KelveyMNS #dependence #functional #independence

Independence and Functional Dependence Relations on Secrets (RK, SMM, PN, BS).

KR-2010-Kern-IsbernerT #novel #probability #relational #semantics

Novel Semantical Approaches to Relational Probabilistic Conditionals (GKI, MT).

KR-2010-KleinbergM #logic

The Temporal Logic of Token Causes (SK, BM).

KR-2010-KonevLPW #logic #ontology

Decomposing Description Logic Ontologies (BK, CL, DKP, FW).

KR-2010-KoniecznyGP #problem #taxonomy

Taxonomy of Improvement Operators and the Problem of Minimal Change (SK, MMG, RPP).

KR-2010-KontchakovLTWZ #approach #query

The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).

KR-2010-KontchakovPZ #logic

Interpreting Topological Logics over Euclidean Spaces (RK, IPH, MZ).

KR-2010-LarbiKM

A Characterization of Optimality Criteria for Decision Making under Complete Ignorance (RBL, SK, PM).

KR-2010-Li #graph #representation

A Layered Graph Representation for Complex Regions (SL).

KR-2010-LiVK #approach #performance

An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets (ML, QBV, RK).

KR-2010-LutzS #logic #nondeterminism #probability

Probabilistic Description Logics for Subjective Uncertainty (CL, LS).

KR-2010-Masolo #comprehension #ontology

Understanding Ontological Levels (CM).

KR-2010-OikarinenW #equivalence #framework

Characterizing Strong Equivalence for Argumentation Frameworks (EO, SW).

KR-2010-OrtizRS #owl #reasoning #worst-case

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).

KR-2010-ParsiaS #composition #empirical #ontology

The Modular Structure of an Ontology: An Empirical Study (BP, TS).

KR-2010-PenalozaS #axiom #complexity #logic #on the #product line

On the Complexity of Axiom Pinpointing in the EL Family of Description Logics (RP, BS).

KR-2010-PichlerRSW #bound #constraints #programming

Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough (RP, SR, SS, SW).

KR-2010-Poole #logic #semantics #towards

Towards a Logic of Feature-Based Semantic Science Theories (DP).

KR-2010-PorelloE #combinator #linear #logic #modelling

Modelling Combinatorial Auctions in Linear Logic (DP, UE).

KR-2010-PradeR #logic #reasoning

Reasoning with Logical Proportions (HP, GR).

KR-2010-QiZ #semantics

Preferential Semantics for Plausible Subsumption in Possibility Theory (GQ, ZZ).

KR-2010-RosatiA #ontology #query

Improving Query Answering over DL-Lite Ontologies (RR, AA).

KR-2010-SanthanamBH #performance #testing

Efficient Dominance Testing for Unconditional Preferences (GRS, SB, VH).

KR-2010-Shapiro #logic #semantics #syntax

Set-Oriented Logical Connectives: Syntax and Semantics (SCS).

KR-2010-SiddiqiH #roadmap

New Advances in Sequential Diagnosis (SAS, JH).

KR-2010-SohrabiBM #revisited

Diagnosis as Planning Revisited (SS, JAB, SAM).

KR-2010-Thielscher #calculus

Integrating Action Calculi and AgentSpeak: Closing the Gap (MT).

KR-2010-UroviBSA #multi #runtime #towards

Towards Runtime Support for Norm-Governed Multi-Agent Systems (VU, SB, KS, AA).

KR-2010-WangWT #knowledge base #logic

Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).

KR-2010-XiaoLMQ #consistency #metric #multi #nondeterminism #satisfiability #semantics

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers (GX, ZL, YM, GQ).

KR-2010-ZhangZ #bound #on the #semantics #set #source code

On the Progression Semantics and Boundedness of Answer Set Programs (YZ, YZ).

KR-2010-ZhangZ10a #revisited

Forgetting Revisited (YZ, YZ).