Book One
All Content
Index
PDFAn Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets
PDFA Layered Graph Representation for Complex Regions
PDFThe Modular Structure of an Ontology: An Empirical Study
PDFTowards a Logic of Feature-Based Semantic Science Theories
PDFEfficient Dominance Testing for Unconditional Preferences
PDFSet-Oriented Logical Connectives: Syntax and Semantics
PDFTowards Runtime Support for Norm-Governed Multi-Agent Systems
PDFRevising General Knowledge Bases in Description Logics
PDFForgetting Revisited
PDFInterpreting Topological Logics over Euclidean Spaces
PDFFinding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
PDFState Defaults and Ramifications in the Unifying Action Calculus
PDFSituation Calculus Based Programs for Representing and Reasoning about Game Structures
PDFReasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering
PDFWalking the Decidability Line for Rules with Existential Variables
PDFA Decidable Class of Groundable Formulas in the General Theory of Stable Models
PDFParacoherent Answer Set Programming
PDFRepair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming
PDFTractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
PDFOn the Progression Semantics and Boundedness of Answer Set Programs
PDFIndependence and Functional Dependence Relations on Secrets
PDFReasoning with Logical Proportions
PDFReasoning about Context in Ambient Intelligence Environments: A Report from the Field
PDFFormalizing Psychological Knowledge in Answer Set Programming
PDFA Logical Understanding of Legal Interpretation
PDFOntologies for Dates and Duration
PDFFrom Justifications Towards Proofs for Ontology Engineering
PDFJoint Revision of Beliefs and Intention
PDFThe Temporal Logic of Token Causes
PDFGeneralized Planning with Loops under Strong Fairness Constraints
PDFA Correctness Result for Reasoning about One-Dimensional Planning Problems
PDFOn the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System
PDFNovel Semantical Approaches to Relational Probabilistic Conditionals
PDFProbabilistic Description Logics for Subjective Uncertainty
PDFPreferential Semantics for Plausible Subsumption in Possibility Theory
PDFFrom Preference Logics to Preference Languages, and Back
PDFComputing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
PDFFinding Explanations of Inconsistency in Multi-Context Systems
PDFPushing the Limits of Reasoning over Ontologies with Hidden Content
PDFStatus QIO: Conjunctive Query Entailment Is Decidable
PDFDecomposing Description Logic Ontologies
PDFThe Combined Approach to Query Answering in DL-Lite
PDFUnderstanding Ontological Levels
PDFWorst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
PDFOn the Complexity of Axiom Pinpointing in the EL Family of Description Logics
PDFImproving Query Answering over DL-Lite Ontologies
PDFOn the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information
PDFMaximally Paraconsistent Three-Valued Logics
PDFA Class of df-Consistencies for Qualitative Constraint Networks
PDFHorn Clause Contraction Functions: Belief Set and Belief Base Approaches
PDFComplexity of Propositional Abduction for Restricted Sets of Boolean Functions
PDFNew Advances in Sequential Diagnosis
PDFDiagnosis as Planning Revisited
PDFInteractions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
PDFMulti-Agent Only-Knowing Revisited
PDFDistributed Nonmonotonic Multi-Context Systems
PDFModelling Combinatorial Auctions in Linear Logic
PDFIntegrating Action Calculi and AgentSpeak: Closing the Gap
PDFOne Hundred Prisoners and a Lightbulb — Logic and Computation
PDFAbstract Dialectical Frameworks
PDFTowards Fixed-Parameter Tractable Algorithms for Argumentation
PDFCharacterizing Strong Equivalence for Argumentation Frameworks
PDFCharacterizing Updates in Dynamic Epistemic Logic
PDFFrom Causal Models To Counterfactual Structures
PDFTaxonomy of Improvement Operators and the Problem of Minimal Change
PDFA Characterization of Optimality Criteria for Decision Making under Complete Ignorance
PDFI Don’t Want to Think About it Now: Decision Theory with Costly Computation
PDFQuery and Predicate Emptiness in Description Logics
PDFDecidability of a Description Logic over Infinite-Valued Product Logic
PDFProgram Committee
PDFTutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
PDFReasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract)
PDFInvited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning
PDFPreface
PDFAdditional Reviewers
PDF