Searching for authors named "Gian Luca Pozzato" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
- …KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning Nicola Olivetti ⋆ and Gian Luca…
- Cited by 2 (2 self) – Add To MetaCart
-
ALC + T: Reasoning About Typicality in Description Logics
- … , Nicola Olivetti 3 , and Gian Luca Pozzato 2 1 Dipartimento di Informatica - Università del Piemonte…
- Add To MetaCart
-
software Freenet. Freenet, introdotto e sviluppato da Ian
- …’Aprile, Gian Luca Pozzato, Rossano Schifanella, e Laura Torasso Dipartimento di Informatica - Università degli…
- Add To MetaCart
-
1,2,6
- … Cézanne” Aix en Provence, France 1 ,2 ,6 Gian Luca Pozzato Dipartimento di Informatica Università degli…
- Add To MetaCart
-
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
- … LUCA POZZATO Università di Torino and CAMILLA B. SCHWIND École d’Architecture de Marseille…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 5.
