Approximate postdictive reasoning with answer set programming
DOI10.1016/J.JAL.2015.08.002zbMATH Open1457.68255OpenAlexW1785987996WikidataQ62623663 ScholiaQ62623663MaRDI QIDQ893596FDOQ893596
Authors: 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.002
Recommendations
- Approximate Epistemic Planning with Postdiction as Answer-Set Programming
- Answer set programming based on propositional satisfiability
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- scientific article; zbMATH DE number 1882048
- Answer set programming in intuitionistic logic
- Declarative Problem Solving Using Answer Set Semantics
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cites Work
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representing action and change by logic programs
- Knowledge, action, and the frame problem
- Event Calculus Reasoning Through Satisfiability
- Formalizing sensing actions -- a transition function based approach
- Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
- Approximate Epistemic Planning with Postdiction as Answer-Set Programming
- A history based approximate epistemic action theory for efficient postdictive reasoning
Cited In (4)
- Approximate Epistemic Planning with Postdiction as Answer-Set Programming
- A computational framework for conceptual blending
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- A history based approximate epistemic action theory for efficient postdictive reasoning
Uses Software
This page was built for publication: Approximate postdictive reasoning with answer set programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q893596)
