DIAGNOSIS OF ACTIVE SYSTEMS WITH ABSTRACT OBSERVATIONS AND COMPILED KNOWLEDGE

von Lamperti, Gianfranco
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Advanced relational programming

von Cacace, Filippo
Veröffentlicht 1996

On processing temporal obsvervations in monitoring of discrete-event systems

von Lamperti, Gianfranco
Veröffentlicht in Enterprise information systems (2008)

Diagnosis of active systems : principles and techniques

von Lamperti, Gianfranco
Veröffentlicht 2003

Advanced relational programming

von Cacace, Filippo
Veröffentlicht 1996

Intelligent Diagnosis of Discrete-Event Systems with Preprocessing of Critical Scenarios

von Bertoglio, Nicola
Veröffentlicht in KES International Conference on Intelligent Decision Technologies (11. : 2019 : Malta) Intelligent decision technologies 2019 ; Volume 1 (2020)

Software prototyping in data and knowledge engineering

von Guida, Giovanni
Veröffentlicht 1999

Abductive Diagnosis of Complex Active Systems with Compiled Knowledge

von Lamperti, Gianfranco
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

EXPLANATORY DIAGNOSIS OF DISCRETE-EVENT SYSTEMS WITH TEMPORAL INFORMATION AND SMART KNOWLEDGE-COMPILATION

von Bertoglio, Nicola
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

Diagnosis of Temporal Faults in Discrete-Event Systems

von Bertoglio, Nicola
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)