Publication:4934648
From MaRDI portal
zbMath0938.03055MaRDI QIDQ4934648
Publication date: 22 March 2000
Related Items
First-order logical filtering, 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