scientific article; zbMATH DE number 1390364

zbMATH Open0938.03057MaRDI QIDQ4934656FDOQ4934656

Lenhart K. Schubert

Publication date: 3 April 2000

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

Recommendations

• Explanation Closure, Action Closure and the Sandewall Test Suite for Reasoning about Change
• Reasoning about action and change. A dynamic logic approach
• Reasoning about action. I: A possible worlds approach
• scientific article; zbMATH DE number 2084418
• Nonmonotonic reasoning in the framework of situation calculus

zbMATH Keywords

temporal logicmonotonic reasoningaction closureexplanation closurereasoning about dynamic worldsSandewall test suite

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (1)

• Nested abnormality theories

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 Q4934656)