scientific article; zbMATH DE number 1390356

zbMath0938.03055MaRDI QIDQ4934648

Sheila A. McIlraith

Publication date: 22 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

state constraintssituation calculussystem behaviourexplanatory diagnosis

Mathematics Subject Classification ID

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

Related Items

Explaining safety violations in real-time systems, Diagnostic Reasoning for Robotics Using Action Languages, Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques, Investigating the solution space for online iterative explanation in goal reasoning agents, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), First-order logical filtering, Diagnosis of discrete-event systems from uncertain temporal observations

Uses Software

• GOLOG