scientific article; zbMATH DE number 1453058

zbMath0952.68132MaRDI QIDQ4955331

Hudson Turner, Vladimir Lifschitz

Publication date: 25 May 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

planningcommonsense reasoning

Mathematics Subject Classification ID

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

Related Items

Applications of Action Languages in Cognitive Robotics, Computing the well-founded semantics faster, Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs, Achievements in answer set programming, Modeling biological networks by action languages via answer set programming, First-order stable model semantics with intensional functions, Answer set programming and plan generation, A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system

Uses Software

• SATO