scientific article; zbMATH DE number 1748588

zbMATH Open1052.68124MaRDI QIDQ4530473FDOQ4530473

Michael Thielscher

Publication date: 2000

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

zbMATH Keywords

reasoning about actions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (6)

• The qualification problem: A solution to the problem of anomalous models
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• KI 2003: Advances in Artificial Intelligence
• The concurrent, continuous fluent calculus
• Foundations of instance level updates in expressive description logics
• Title not available (Why is that?)

   Recommendations

• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem 👍 👎
• Title not available (Why is that?) 👍 👎
• Reasoning about nondeterministic and concurrent actions: A process algebra approach 👍 👎
• A unifying logic for non-deterministic, parallel and concurrent abstract state machines 👍 👎
• A functional calculus for specification and verification of nondeterministic interactive systems 👍 👎
• Hybrid Systems: Computation and Control 👍 👎
• Non-deterministic semantics for logics with a consistency operator 👍 👎
• KI 2003: Advances in Artificial Intelligence 👍 👎
• 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 Q4530473)