Book One
Contents
Preface
PDFAdditional Reviewers
PDFA Logic for Non-Terminating Golog Programs
PDFRelational Preference Rules for Control
PDFReasoning about Qualitative Preferences and Cardinalities using Generalizaed Circumscription
PDFPreference Modeling by Weighted Goals with Max Aggregation
PDFConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond
PDFComplex Epistemic Modalities in the Situation Calculus
PDFProving Goal Achievability
PDFCartesian Situations and Knowledge Decomposition in the Situation Calculus
PDFBehavior Composition in the Presence of Failure
PDFAction Theory Contraction and Minimal Change
PDFFormalising Temporal Constraints on Part-Whole Relations
PDFProgram Committee
PDFConference Committee
PDFIndex
PDFFirst-Order Strong Progression for Local-Effect Basic Action Theories
PDFIdentifying Objects Over Time with Description Logics
PDFAutomated Complexity Proofs for Qualitative Spatial and Temporal Calculi
PDFA Complete First-Order Logic of Knowledge and Time
PDFTime Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis
PDFLTL over Description Logic Axioms
PDFComputing Loops With at Most One External Support Rule
PDFBelief Revision of Logic Programs under Answer Set Semantics
PDFConflict-Driven Disjunctive Answer Set Solving
PDFNotions of Strong Equivalence for Logic Programs with Ordered Disjunction
PDFOn Loop Formulas with Variables
PDFAnswer Set Programming with Functions
PDFDefault Theory of Defeasible Entailment
PDFSemantic Preferential Subsumption
PDFEmbedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic
PDFComputing Default Extensions by Reductions on $O^R$
PDFA Lexicographic Inference for Partially Preordered Belief Bases
PDFOn the Complexity of Planning Operator Subsumption
PDFDeductive Planning with Inductive Loops
PDFPlanning Graphs and Propositional Clause-Learning
PDFOn the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle
PDFA Principled Framework for Modular Web Rule Bases and its Semantics
PDFA First Experimental Demonstration of Massive Knowledge Infusion
PDFAn Abstract Argumentation Framework with Varied-strength Attacks
PDFMeasuring Inconsistency through Minimal Inconsistent Sets
PDFConflict-Based Merging Operators
PDFDefaults and Normality in Causal Structures
PDFInconsistency Management Policies
PDFEquilibria in social belief removal
PDFHorn Clause Belief Change: Contraction Functions
PDFLinking Iterated Belief Change Operations to Nonmonotonic Reasoning
PDFImprovement Operators
PDFScenario Update Applied to Causal Reasoning
PDFOn Notions of Causality and Distributed Knowledge
PDFCompexity of Abduction in the EL Family of Lightweight Description Logics
PDFPath-based Identification Constraints in Description Logics
PDFUnions of Conjunctive Queries in SHOQ
PDFModel-Theoretic Characterization of Asher and Vieu’s Ontology of Mereotopology
PDFRIQ and SROIQ are Harder than SHOIQ
PDFView-based Query Answering over Description Logic Ontologies
PDFCan you Tell the Difference between DL-Lite Ontologies?
PDFRepresenting Structured Objects using Description Graphs
PDFHow Many Toes Do I Have? Parthood and Number Restrictions in Description Logics
PDFOntology Generation through the Fusion of Partial Reuse and Relation Extraction
PDFPeer-to-peer Query Answering with Inconsistent Knowledge
PDFHow to Choose Weightings to Avoid Collisions in a Restricted Penalty Logic
PDFBeyond Nash Equilibrium: Solution Concepts for the 21st Century
PDFReasoning About Agent Deliberation
PDFA Logical Framework to Represent and Reason about Graded Preferences and Intentions.
PDFA logical account of institutions: from acceptances to norms via legislators
PDFDynamic Logic on Games with Structured Strategies
PDFPromises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment
PDFTaming the Infinite Chase: Query Answering under Expressive Relational Constraints
PDFAccuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases
PDFInjecting the How into the What: Investigating a Finite Classical Logic
PDFApproximate Reasoning in First-Order Logic Theories
PDFMaking decisions through preference-based argumentation
PDFRevision of an Argumentation System
PDFPreferences, Planning, and Control
PDF