Book One
Contents
Preface
PDFProgram Committee
PDFConference Committee
PDFIndex
PDFPlanning with Prioritized Goals
PDFOn Planning with Programs that Sense
PDFOn the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
PDFSemantical Considerations for a Logic of Actions: An Imperative Manifesto
PDFSemantics for Dynamic Syntactic Epistemic Logics
PDFThe Features-and-Fluents Semantics for the Fluent Calculus
PDFAbductive Visual Perception with Feature Clouds
PDFReplacements in Non-Ground Answer-Set Programming
PDFQuery Answering under the Any-World Assumption for Normal Logic Programs
PDFFoundations for Knowledge-Based Programs using ES
PDFComputational Properties of Epistemic Logic Programs
PDFFirst-Order Loop Formulas for Normal Logic Programs
PDFRepresenting Policies for Quantified Boolean Formulae
PDFPropositional DAGs: a New Graph-Based Language for Representing Boolean Functions
PDFActions as Special Cases
PDFStrong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach
PDFDescription Logics with Circumscription
PDFProbabilistic Abduction without Priors
PDFNon-Deterministic Semantics for First-order Paraconsistent Logics
PDFPossibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning
PDFHeuristics for Planning with Penalties and Rewards Using Compiled Knowledge
PDFOn the Limits of Planning over Belief States under Strict Uncertainty
PDFTemporalizing Cardinal Directions: From Constraint Satisfaction to Planning
PDFData Complexity of Query Answering in Description Logics
PDFA Tree Decomposition Algorithm for Conceptual Graph Projection
PDFShapley Inconsistency Values
PDFDL+log: Tight Integration of Description Logics and Disjunctive Datalog
PDFDefinitorially Complete Description Logics
PDFFrom Wine to Water: Optimizing Description Logic Reasoning for Nominals
PDFAn Ordered Theory Resolution Calculus for Hybrid Reasoning in First-order Extensions of Description Logic
PDFConstrained Argumentation Frameworks
PDFKnowledgebase Compilation for Efficient Logical Argumentation
PDFPlanning with Qualitative Temporal Preferences
PDFExpressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling
PDFDecision-Theoretic GOLOG with Qualitative Preferences
PDFQualitative Decision Making with Bipolar Information
PDFDid I Damage my Ontology: A Case for Conservative Extensions in Description Logic
PDFModularity and Web Ontologies
PDFIterated Revision as Prioritized Merging
PDFGrounding and the Expression of Belief
PDFA Bad Day Surfing is Better than a Good Day Working: How to Revise a Total Preorder
PDFLack of Finite Characterizations for the Distance-based Revision
PDFVariable-Strength Conditional Preferences for Matchmaking in Description Logics
PDFOn Mechanisation of Thought Processes
PDFDataspaces: Coexistence with Heterogeneity
PDFUsers Are Always Right—Even When They Are Wrong: Making Knowledge Representation Useful and Usable
PDFReasoning About Knowledge of Unawareness
PDFRedoing the Foundations of Decision Theory
PDFLogical Foundations of Well-Founded Semantics
PDFA Theory of Vague Adjectives Grounded in Relevant Observables
PDFUpdated Description Logic ABoxes
PDFThe Even More Irresistible SROIQ
PDFContents
PDF