Nonmonotonic Description Logics - Requirements, Theory, and Implementations / Bonatti, PIERO ANDREA. - (2007). (Intervento presentato al convegno Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007 tenutosi a Aix en Provence, France nel July 3-6, 2007).
Nonmonotonic Description Logics - Requirements, Theory, and Implementations
BONATTI, PIERO ANDREA
2007
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.