A history based approximate epistemic action theory for efficient postdictive reasoning

DOI10.1016/J.JAL.2015.08.001zbMATH Open1457.68256OpenAlexW1271310336WikidataQ62623657 ScholiaQ62623657MaRDI QIDQ893597FDOQ893597

Manfred Eppe, Mehul Bhatt

Publication date: 19 November 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2015.08.001

Recommendations

• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Approximate postdictive reasoning with answer set programming
• scientific article; zbMATH DE number 2048605
• Logic Programming and Nonmonotonic Reasoning
• Probabilistic reasoning about epistemic action narratives

zbMATH Keywords

epistemic reasoningcommonsense reasoningaction and change

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Knowledge Representation, Reasoning and Declarative Problem Solving
• Title not available (Why is that?)
• STRIPS: A new approach to the application of theorem proving to problem solving
• Dynamic Epistemic Logic and Knowledge Puzzles
• Title not available (Why is that?)
• A logic-based calculus of events
• Title not available (Why is that?)
• FLUX: A logic programming method for reasoning agents
• Title not available (Why is that?)
• Knowledge, action, and the frame problem
• Weak, strong, and strong cyclic planning via symbolic model checking
• Title not available (Why is that?)
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• All I know: A study in autoepistemic logic
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Nonmonotonic logic and temporal projection
• Formalizing sensing actions -- a transition function based approach
• A new deductive approach to planning
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Title not available (Why is that?)
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• KI 2003: Advances in Artificial Intelligence
• The concurrent, continuous fluent calculus
• Approximate postdictive reasoning with answer set programming

Cited In (2)

• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Approximate postdictive reasoning with answer set programming

Uses Software

• PDDL

This page was built for publication: A history based approximate epistemic action theory for efficient postdictive reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q893597)