Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Principles of Knowledge Representation and Reasoning

• Publication date

  2014-07-20

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions

  2013cited by this paper
• A general first-order solution to the ramification problem with cycles

  2013cited by this paper
• Time-Critical Reasoning: Representations and Application

  2013cited by this paper
• Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study

  2013cited by this paper
• Conditional Epistemic Planning

  2012cited by this paper
• Context-Sensitive Diagnosis of Discrete-Event Systems

  2011cited by this paper
• Preferred Explanations: Theory and Generation via Planning

  2011cited by this paper
• On the Effectiveness of CNF and DNF Representations in Contingent Planning

  2011influential reference
• Replanning in Domains with Partial Information and Sensing Actions

  2011cited by this paper
• Diagnosis as Planning Revisited

  2010cited by this paper
• Acting in Partially Observable Environments When Achievement of the Goal Cannot be Guaranteed

  2009cited by this paper
• Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width

  2009cited by this paper
• A Translation-Based Approach to Contingent Planning

  2009cited by this paper
• Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans

  2008cited by this paper
• The Fast Downward Planning System

  2006cited by this paper
• Planning Graph Heuristics for Belief Space Search

  2006cited by this paper
• Continual planning and acting in dynamic multiagent environments

  2006cited by this paper
• Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)

  2006cited by this paper
• Automated Diagnosis

  2006cited by this paper
• Automated Composition of Web Services by Planning at the Knowledge Level

  2005cited by this paper
• Contingent Planning via Heuristic Forward Search witn Implicit Belief States

  2005influential reference
• Complexity of Planning with Partial Observability

  2004cited by this paper
• Action representation and partially observable planning using epistemic logic

  2003cited by this paper
• Knowledge, action, and the frame problem

  2003cited by this paper
• A Knowledge-Based Approach to Planning with Incomplete Information and Sensing

  2002cited by this paper
• History‐based diagnosis templates in the framework of the situation calculus

  2001cited by this paper
• A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

  2000cited by this paper
• Formulating diagnostic problem solving using an action language with narratives and sensing

  2000cited by this paper
• What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems

  2000influential reference
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)

  2000influential reference
• Integrating actions and state constraints: a closed-form solution to the ramification problem (sometimes)

  2000cited by this paper
• Some Results on the Complexity of Planning with Incomplete Information

  1999cited by this paper
• Compiling Ramification Constraints into Effect Axioms

  1999influential reference
• Explanatory Diagnosis: Conjecturing Actions to Explain Observations

  1998cited by this paper
• Representing Actions and State Constraints in Model-Based Diagnosis

  1997cited by this paper
• A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence

  1997cited by this paper
• A Theory of Dynamic Diagnosis

  1997cited by this paper
• Time-Critical Action: Representations and Application

  1997cited by this paper
• 2Planning for Contingencies: A Decision-based Approach

  1996cited by this paper
• Assessments of Ramification Methods that Use Static Domain Constraints

  1996cited by this paper
• Supply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning

  1996cited by this paper
• Computing Ramifications by Postprocessing

  1995cited by this paper
• Embracing Causality in Specifying the Indirect Effects of Actions

  1995influential reference
• Diagnosability of discrete-event systems

  1995cited by this paper
• Representing diagnosis knowledge

  1994cited by this paper
• Event-Based Diagnosis for Evolutive Systems

  1994cited by this paper
• Towards a Theory of Diagnosis , Testing and

  1994cited by this paper
• The Computational Complexity of Propositional STRIPS Planning

  1994cited by this paper
• A Framework for Model-Based Repair

  1993cited by this paper
• Formalizing the repair process

  1992cited by this paper
• Characterizing Diagnoses and Systems

  1992cited by this paper
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

  1991cited by this paper
• A model of inexact reasoning in medicine

  1990cited by this paper
• ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus

  1989cited by this paper
• Diagnosing Multiple Faults

  1987cited by this paper
• A Theory of Diagnosis from First Principles

  1986cited by this paper
• Formal Theories of the Commonsense World

  1985cited by this paper
• The Use of Design Descriptions in Automated Diagnosis

  1984cited by this paper
• A Formal Theory of Knowledge and Action

  1984cited by this paper
• Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Undecidability in Epistemic Planning

  year unknowncited by this paper

• Planning with Epistemic Preferences

  2023cites this paper
• Towards Human-Aware AI via Planning with Epistemic Preferences

  2023cites this paper
• Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief

  2021cites this paper
• Active Goal Recognition

  2020cites this paper
• Sequential plan recognition: An iterative approach to disambiguating between hypotheses

  2018cites this paper
• Logical Filtering and Smoothing: State Estimation in Partially Observable Domains

  2017influential citation
• Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing

  2016influential citation
• 'Knowing Whether' in Proper Epistemic Knowledge Bases

  2016cites this paper