Book One
Uncertainty
Short Papers
Concept Dissimilarity with Triangle Inequality
First-Order Default Logic Revisited
Heuristic Guided Optimization for Propositional Planning
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs
Interval Methods for Judgment Aggregation in Argumentation
Knowledge Maps of Web Graphs
Minimal Change in AGM Revision for Non-Classical Logics
On Redundant Topological Constraints
On the Progression of Knowledge in Multiagent Systems
Predicting Performance of OWL Reasoners: Locally or Globally?
Representing and Reasoning about Time Travel Narratives: Foundational Concepts
Rough Set Semantics for Identity on the Web
Stable Models of Multi-Valued Formulas: Partial versus Total Functions
Strong Equivalence of Non-Monotonic Temporal Theories
Towards a Knowledge Level Analysis of Forgetting
Tracking Beliefs and Intentions in the Werewolf Game
Using Answer Set Programming for Solving Boolean Games
A Psychology-Inspired Approach to Automated Narrative Text Comprehension
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract)
Aggregative Deontic Detachment for Normative Reasoning
An Abductive Reasoning Approach to the Belief Bias Effect
ASP Encodings of Acyclicity Properties
Axioms .2 and .4 as Interaction Axioms
Belief Revision in the Propositional Closure of a Qualitative Algebra
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
Planning, Strategies, and Diagnosis
Reasoning about Equilibria in Game-Like Concurrent Systems
Satisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux
A Temporal Logic of Strategic Knowledge
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals
Reasoning about Actions and Processes
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
Forgetting in Action
How to Progress Beliefs in Continuous Domains
Model Checking Unbounded Artifact-Centric Systems
State-Boundedness in Data-Aware Dynamic Systems
Transforming Situation Calculus Action Theories for Optimised Reasoning
Reports from the Field
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design
SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation
Description Logics
Answering Instance Queries Relaxed by Concept Similarity
Decidable Gödel Description Logics without the Finitely-Valued Model Property
PDFExact Learning of Lightweight Description Logic Ontologies
Finite Model Reasoning in Horn Description Logics
Lightweight Description Logics and Branching Time: A Troublesome Marriage
PDFNested Regular Path Queries in Description Logics
Nominal Schemas in Description Logics: Complexities Clarified
Polynomial Combined Rewritings for Existential Rules
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
Query Inseparability for Description Logic Knowledge Bases
Stable Model Semantics for Guarded Existential Rules and Description Logics
Knowledge Representation and Reasoning
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Certain Answers as Objects and Knowledge
Generalized Multi-Context Systems
Qualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra
Simultaneous Learning and Prediction
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs