scientific article; zbMATH DE number 1453058

MaRDI QIDQ4955331zbMATH OpenFDO

Authors Vladimir Lifschitz, Hudson Turner

Publication date 25 May 2000

zbMATH Keywords

planningcommonsense reasoning

Mathematics Subject Classification ID

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

Recommendations

• Representing actions in logic programs and default theories a situation calculus approach
• Representing action and change by logic programs
• scientific article; zbMATH DE number 1368932
• scientific article; zbMATH DE number 1453059
• scientific article; zbMATH DE number 1453060

Cited in

(16)

• Computing the well-founded semantics faster
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• scientific article; zbMATH DE number 2000825 (Why is no real title available?)
• Achievements in answer set programming
• Translation of interactive Datalog programs for microcontrollers to finite state machines
• Logic of transition systems
• Automated Deduction – CADE-19
• Transition Logic Revisited
• Representing action and change by logic programs
• Applications of action languages in cognitive robotics
• Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs
• First-order stable model semantics with intensional functions
• Modeling biological networks by action languages via answer set programming
• Answer set programming and plan generation
• Tiling transactions in rewriting logic
• Labelled transition logic: An outline

Describes a project that uses

Uses Software

• SATO

This page was built for publication:

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