Book One
Contents
Index
PDFAn Improved Integer Local Search for Complex Scheduling Problems
PDFBreadth-First Heuristic Search
PDFPhase Transitions in Classical Planning: An Experimental Study
PDFA Polynomial-Time Algorithm for Constructing k-Maintainable Policies
PDFAdvanced Research with Autonomous Unmanned Aerial Vehicles
PDFEvidence and Belief
PDFWhat Is OWL (and Why Should I Care)?
PDFHistorical Remarks on Nonmonotonic Reasoning, Especially Circumscription
PDFMeaning and Links: A Semantic Odyssey
PDFMajority Logic
PDFGlossOnt: A Concept-focused Ontology Building Tool
PDFTowards a Quantitative, Platform-Independent Analysis of Knowledge Systems
PDFSituations, Si! Situation Terms, No!
PDFC&L Intention Revisited
PDFDiscovering State Invariants
PDFInductive Situation Calculus
PDFReasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells
PDFA Logic of Arbitrary and Indefinite Objects
PDFReasoning about Knowledge by Variable Forgetting
PDFA Logic of Limited Belief for Reasoning with Disjunctive Information
PDFPartial Implication Semantics for Desirable Propositions
PDFExtending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing
PDFKnowledge of Other Agents and Communicative Actions in the Fluent Calculus
PDFPrecondition Control and the Progression Algorithm
PDFA Preference-Based Interpretation of Other Agents’ Actions
PDFFrom Hybrid Systems to Universal Plans Via Domain Compilation
PDFPlanning Graphs and Knowledge Compilation
PDFDomain-Specific Preferences for Causal Reasoning and Planning
PDFLearning Probabilistic Relational Planning Rules
PDFTowards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification
PDFAutomated Reformulation of Specifications by Safe Delay of Constraints
PDFImproving the Forward Chaining Algorithm for Conceptual Graphs Rules
PDFInferential Complexity Control for Model-Based Abduction
PDFA Causal Logic of Logic Programming
PDFCondensed Representations for Inductive Logic Programming
PDFOn Eliminating Disjunctions in Stable Logic Programming
PDFApproximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities
PDFWhat to Ask to a Peer: Ontology-based Query Reformulation
PDFQualitative Probabilistic Matching with Hierarchical Descriptions
PDFA Question-Answering System for AP Chemistry: Assessing KR&R Technologies
PDFComplexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming
PDFHow to Interweave Knowledge about Object Structure and Concepts
PDFLogical Foundations of Negotiation: Strategies and Preferences
PDFDistance Semantics for Relevance-Sensitive Belief Revision
PDFA Unified Treatment for Knowledge Dynamics
PDFUpdating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules
PDFA Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases
PDFOn Merging Strategy-Proofness
PDFSatisfiability for Propositional Contexts
PDFCharacterization of Semantics for Argument Systems
PDFAxiomatizing the Cyclic Interval Calculus
PDFWhat’s in a Model? Epistemological Analysis of Logic Programming
PDFOntological Theory for Ontological Engineering: Biomedical Systems Information Integration
PDFIntransitivity and Vagueness
PDFAn Experimental Analysis of Possibilistic Default Reasoning
PDFCombining Answer Set Programming with Description Logics for the Semantic Web
PDFReducing SHIQ-Description Logic to Disjunctive Datalog Programs
PDFOptimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results
PDFReaching Agreement Through Argumentation: A Possibilistic Approach
PDFExpressive Power and Succinctness of Propositional Languages for Preference Representation
PDFComplex Preferences for Answer Set Optimization
PDFGAI Networks for Utility Elicitation
PDFA First-Order Theory of Communicating First-Order Formulas
PDFObservation Expectation Reasoning in Agent Systems
PDFRegulative and Constitutive Norms in Normative Multiagent Systems
PDFSocial Roles and their Descriptions
PDFOntological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
PDFThe Four Dimensions of Artifacts
PDFOn the Use of an ATMS for Handling Conflicting Desires
PDFA Logic of Motion
PDFPreface
PDFProgram Committee
PDFCausation and Causal Conditionals
PDFSleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
PDFWeak Nonmonotonic Probabilistic Logics
PDFKnowledge Discovery by Reversing Inductive Knowledge Representation
PDFMultidimensional Mereotopology
PDFParthood as Spatial Inclusion—Evidence from Biomedical Conceptualizations
PDFA Logic-Based Formulation of Active Visual Perception
PDFIndoor Environment Classification and Perceptual Matching
PDFContents
PDF