Eliminating function symbols from a nonmonotoic causal theory

MaRDI QIDQ5740447zbMATH OpenFDO

Authors Vladimir Lifschitz, Fangkai Yang

Publication date 26 July 2016

zbMATH Keywords

answer set programmingnonmonotonic causal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Functional completion
• Nonmonotonic causal theories
• Logic Programming and Nonmonotonic Reasoning
• Characterizing causal action theories and their implementations in answer set programming
• Multivalued Action Languages with Constraints in CLP(FD)

Cited in

(1)

• First-order stable model semantics with intensional functions

This page was built for publication: Eliminating function symbols from a nonmonotoic causal theory

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