( en | de | ru )

 

Disambiguierung von "Pozzato, Gian Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theorem Proving for Non-normal Modal Logics.

, , , und . OVERLAY, Volume 2785 von CEUR Workshop Proceedings, Seite 17-22. CEUR-WS.org, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gian Luca Caprili

Gian Töndury

Gian Brändli

Gian Schmid

Gian Martin

 

Weitere Publikationen von Autoren mit dem selben Namen

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics., , , und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 165-179. Springer, (2019)Reasoning about plausible scenarios in Description Logics of typicality.. Intelligenza Artificiale, 11 (1): 25-45 (2017)Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics., und . AI*IA, Volume 11298 von Lecture Notes in Computer Science, Seite 183-196. Springer, (2018)Combining neural and symbolic approaches to solve the Picasso problem: A first step., , und . Displays, (2022)Reasoning in Description Logics with Typicalities and Probabilities of Exceptions.. ECSQARU, Volume 10369 von Lecture Notes in Computer Science, Seite 409-420. Springer, (2017)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 199-213. CEUR-WS.org, (2020)On Probabilities of Exceptions in Description Logics of Typicality.. CILC, Volume 2214 von CEUR Workshop Proceedings, Seite 60-74. CEUR-WS.org, (2018)Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle., und . CILC, Volume 3204 von CEUR Workshop Proceedings, Seite 217-231. CEUR-WS.org, (2022)Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment., , , und . CILC, Volume 598 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Reasoning About Typicality and Probabilities in Preferential Description Logics., , , , und . Applications and Practices in Ontology Design, Extraction, and Reasoning, Volume 49 von Studies on the Semantic Web, IOS Press, (2020)