Frames in the space of situations

DOI10.1016/0004-3702(90)90021-QzbMath0743.68122OpenAlexW1990764990MaRDI QIDQ1174513

Vladimir Lifschitz

Publication date: 25 June 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(90)90021-q

zbMATH Keywords

framesactionsformalizationsituationschangescircumsription

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Other applications of logic (03B80)

Related Items (16)

Deriving properties of belief update from theories of action ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Reasoning about actions with Temporal Answer Sets ⋮ On propositional definability ⋮ Applying the persistent set approach in temporal reasoning ⋮ Ramification and causality ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ A general first-order solution to the ramification problem with cycles ⋮ Propositional belief base update and minimal change ⋮ Reasoning about actions: steady versus stabilizing state constraints ⋮ Let's plan it deductively! ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Specifying causality in action theories: A default logic approach ⋮ A circumscriptive calculus of events ⋮ SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic logic and temporal projection

This page was built for publication: Frames in the space of situations