scientific article; zbMATH DE number 1390364

MaRDI QIDQ4934656zbMATHFDO

Authors Lenhart K. Schubert

Publication date 3 April 2000

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)

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

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)