Book One
Contents
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information
PDFOn Planning with Programs that Sense
PDFPlanning with Prioritized Goals
PDFIndex
PDFConference Committee
PDFProgram Committee
PDFPreface
PDFPropositional DAGs: a New Graph-Based Language for Representing Boolean Functions
PDFRepresenting Policies for Quantified Boolean Formulae
PDFFirst-Order Loop Formulas for Normal Logic Programs
PDFComputational Properties of Epistemic Logic Programs
PDFFoundations for Knowledge-Based Programs using ES
PDFQuery Answering under the Any-World Assumption for Normal Logic Programs
PDFReplacements in Non-Ground Answer-Set Programming
PDFAbductive Visual Perception with Feature Clouds
PDFThe Features-and-Fluents Semantics for the Fluent Calculus
PDFSemantical Considerations for a Logic of Actions: An Imperative Manifesto
PDFActions as Special Cases
PDFStrong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach
PDFDescription Logics with Circumscription
PDFSemantics for Dynamic Syntactic Epistemic Logics
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
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
PDFVariable-Strength Conditional Preferences for Matchmaking in Description Logics
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
PDFShapley Inconsistency Values
PDFData Complexity of Query Answering in Description Logics
PDFA Tree Decomposition Algorithm for Conceptual Graph Projection
PDFContents
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
PDF