scientific article

zbMATH Open0765.68192MaRDI QIDQ4028811FDOQ4028811

Vladimir Lifschitz

Publication date: 28 March 1993

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

zbMATH Keywords

frame problemcircumscriptionramifications

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (10)

• On Action Theory Change
• Lifschitz and Circumscription
• Nested abnormality theories
• Metatheory of actions: beyond consistency
• Proving properties of states in the situation calculus
• A circumscriptive calculus of events
• Two counterexamples related to Baker's approach to the frame problem
• The ramification problem in temporal databases: Concurrent execution
• Prolegomena to concise theories of action
• Alternative action theory. Simultaneously a critique of Georg Henrik von Wright's practical philosophy. Translated from the German by Jacques Zwart

   Recommendations

• Metatheory of actions: beyond consistency 👍 👎
• Title not available (Why is that?) 👍 👎
• Prolegomena to concise theories of action 👍 👎
• Title not available (Why is that?) 👍 👎
• Principles of metareasoning 👍 👎
• Title not available (Why is that?) 👍 👎
• On the dynamic logic of agency and action 👍 👎
• Title not available (Why is that?) 👍 👎

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