Book One
All Content
Invited Talks
PDFParaconsistent Hybrid Theories
PDFAbstract Normative Systems: Semantics and Proof Theory
PDFRobust Equivalence Models for Semantic Updates of Answer-Set Programs
PDFJustification Masking in Ontologies
PDFWorst-Case Optimal Reasoning with Forest Logic Programs
PDFConflict-Based Diagnosis of Discrete Event Systems: Theory and Practice
PDFStable Models of Formulas with Intensional Functions
PDFFrom Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP
PDFThinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis
PDFImplicit Constraints for Qualitative Spatial and Temporal Reasoning
PDFConference Committee
PDFArea Chairs and Program Committee
PDFPreface
PDFLecture in Remembrance of John McCarthy
PDFSolving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation
PDFParadoxes of Multiple Elections: An Approximation Approach
PDFPractical Reasoning with Nominals in the EL Family of Description Logics
PDFHomogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction
PDFConjunctive Query Answering with OWL 2 QL
PDFThe Complexity of Explaining Negative Query Answers in DL-Lite
PDFTowards Parallel Nonmonotonic Reasoning with Billions of Facts
PDFQuery Containment in Description Logics Reconsidered
PDFOn Unit-Refutation Complete Formulae with Existentially Quantified Variables
PDFNon-Uniform Data Complexity of Query Answering in Description Logics
PDFAchieving Completeness in Bounded Model Checking of Action Theories in ASP
PDFSynthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments
PDFA Generic Querying Algorithm for Greedy Sets of Existential Rules
PDFWeighted Attacks in Argumentation Frameworks
PDFCompositional Belief Merging
PDFCredibility-Limited Revision Operators in Propositional Logic
PDFBounded Situation Calculus Action Theories and Decidable Verification
PDFHigh Performance Query Answering over DL-Lite Ontologies
PDFFixed-Parameter Algorithms for Finding Minimal Models
PDFOn the Small-Scope Hypothesis for Testing Answer-Set Programs
PDFGeneralized Ontology-Based Production Systems
PDFDeclarative Entity Resolution via Matching Dependencies and Answer Set Programs
PDFAn Abstraction Technique for the Verification of Artifact-Centric Systems
PDFBelief Revision with Sensing and Fallible Actions
PDFOnly-Knowing Meets Nonmonotonic Modal Logic
PDFComplexity-Sensitive Decision Procedures for Abstract Argumentation
PDFRewriting Ontological Queries into Small Nonrecursive Datalog Programs
PDFAn Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL
PDFBelief Revision within Fragments of Propositional Logic
PDFOrdered Epistemic Logic: Semantics, Complexity and Applications
PDFAn Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities
PDFEfficient Argumentation for Medical Decision-Making
PDFAnswer Set Programming via Mixed Integer Programming
PDFStrong Equivalence of Qualitative Optimization Problems
PDFLogic Programs with Intensional Functions
PDFJASP: A Framework for Integrating Answer Set Programming with Java
PDFEfficiently Computable Datalog∃ Programs
PDFAmbiguous Language and Differences in Beliefs
PDFSpecifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming
PDFExchanging Description Logic Knowledge Bases
PDFAssertion Absorption in Object Queries over Knowledge Bases
PDFExtending Unification in EL Towards General TBoxes
PDFAcyclicity Conditions and their Application to Query Answering in Description Logics
PDFFixpoints and Iterated Updates in Abstract Argumentation
PDFTemporal Composite Actions with Constraints
PDFAutomated Verification of Epistemic Properties for General Game Playing
PDFRevising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework
PDFRanking Sets of Possibly Interacting Objects Using Shapley Extensions
PDFOntology Evolution Under Semantic Constraints
PDFModelling Time and Reliability in Structured Argumentation Frameworks
PDFThe Winograd Schema Challenge
PDFCompactness and Its Implications for Qualitative Spatial and Temporal Reasoning
PDFA Bipolar Framework for Combining Beliefs about Vague Propositions
PDFHorn Belief Contraction: Remainders, Envelopes and Complexity
PDFAbstracting Abstraction in Search with Applications to Planning
PDFModel Based Horn Contraction
PDFStable Models in Generalized Possibilistic Logic
PDFStream Reasoning with Answer Set Programming: Preliminary Report
PDFUndecidability of Fuzzy Description Logics
PDFSearch Strategy Simulation in Constraint Booleanization
PDFForgetting in Logic Programs under Strong Equivalence
PDF