Book Two
Uncertainty
Short Papers
Interval Methods for Judgment Aggregation in Argumentation
PDFUsing Answer Set Programming for Solving Boolean Games
PDFTracking Beliefs and Intentions in the Werewolf Game
PDFTowards a Knowledge Level Analysis of Forgetting
PDFStrong Equivalence of Non-Monotonic Temporal Theories
PDFStable Models of Multi-Valued Formulas: Partial versus Total Functions
PDFRough Set Semantics for Identity on the Web
PDFRepresenting and Reasoning about Time Travel Narratives: Foundational Concepts
PDFPredicting Performance of OWL Reasoners: Locally or Globally?
PDFOn the Progression of Knowledge in Multiagent Systems
PDFOn Redundant Topological Constraints
PDFMinimal Change in AGM Revision for Non-Classical Logics
PDFKnowledge Maps of Web Graphs
PDFHow to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs
PDFHeuristic Guided Optimization for Propositional Planning
PDFFirst-Order Default Logic Revisited
PDFConcept Dissimilarity with Triangle Inequality
PDFA Psychology-Inspired Approach to Automated Narrative Text Comprehension
PDFCanonical Logic Programs are Succinctly Incomparable with Propositional Formulas
PDFBelief Revision in the Propositional Closure of a Qualitative Algebra
PDFAxioms .2 and .4 as Interaction Axioms
PDFASP Encodings of Acyclicity Properties
PDFAn Abductive Reasoning Approach to the Belief Bias Effect
PDFAggregative Deontic Detachment for Normative Reasoning
PDFAction Theories over Generalized Databases with Equality Constraints (Extended Abstract)
PDF
Planning, Strategies, and Diagnosis
Reasoning about Equilibria in Game-Like Concurrent Systems
PDFSatisfiability of Alternating-Time Temporal Epistemic Logic Through Tableaux
PDFA Temporal Logic of Strategic Knowledge
PDFAn Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications
PDFDiagnostic Problem Solving via Planning with Ontic and Epistemic Goals
PDF
Reasoning about Actions and Processes
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
PDFDecidable Reasoning in a Fragment of the Epistemic Situation Calculus
PDFForgetting in Action
PDFHow to Progress Beliefs in Continuous Domains
PDFModel Checking Unbounded Artifact-Centric Systems
PDFState-Boundedness in Data-Aware Dynamic Systems
PDFTransforming Situation Calculus Action Theories for Optimised Reasoning
PDF
Reports from the Field
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design
PDFSmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning
PDFTweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation
PDF
Description Logics
Answering Instance Queries Relaxed by Concept Similarity
PDFDecidable Gödel Description Logics without the Finitely-Valued Model Property
PDFExact Learning of Lightweight Description Logic Ontologies
PDFFinite Model Reasoning in Horn Description Logics
PDFLightweight Description Logics and Branching Time: A Troublesome Marriage
PDFNested Regular Path Queries in Description Logics
PDFNominal Schemas in Description Logics: Complexities Clarified
PDFPolynomial Combined Rewritings for Existential Rules
PDFPractical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
PDFQuery Inseparability for Description Logic Knowledge Bases
PDFStable Model Semantics for Guarded Existential Rules and Description Logics
PDF
Knowledge Representation and Reasoning
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
PDFCertain Answers as Objects and Knowledge
PDFGeneralized Multi-Context Systems
PDFQualitative Spatial Representation and Reasoning in Angry Birds: The Extended Rectangle Algebra
PDFSimultaneous Learning and Prediction
PDFTackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs
PDF