SMT Safety Verification of Ontology-Based Processes

Bibliographische Detailangaben

Veröffentlicht in:	AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2
1. Verfasser:	Calvanese, Diego (VerfasserIn)
Weitere Verfasser:	Gianola, Alessandro (VerfasserIn), Mazzullo, Andrea (VerfasserIn), Montali, Marco (VerfasserIn)
Pages:	37
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!