scientific article; zbMATH DE number 1453058

zbMATH Open0952.68132MaRDI QIDQ4955331FDOQ4955331

Hudson Turner, Vladimir Lifschitz

Publication date: 25 May 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

planningcommonsense reasoning

Mathematics Subject Classification ID

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

Cited In (16)

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

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)