Publication:4934648
From MaRDI portal
zbMath0938.03055MaRDI QIDQ4934648
Publication date: 22 March 2000
Related Items
Investigating the solution space for online iterative explanation in goal reasoning agents, First-order logical filtering, Explaining safety violations in real-time systems, Diagnosis of discrete-event systems from uncertain temporal observations, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques, Diagnostic Reasoning for Robotics Using Action Languages
Uses Software