Autor der Publikation

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.

, , , und . CILC, Volume 598 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)

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.

 

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)Combining neural and symbolic approaches to solve the Picasso problem: A first step., , und . Displays, (2022)A Description Logic of Typicality for Conceptual Combination., und . ISMIS, Volume 11177 von Lecture Notes in Computer Science, Seite 189-199. Springer, (2018)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 in Description Logics with Typicalities and Probabilities of Exceptions.. ECSQARU, Volume 10369 von Lecture Notes in Computer Science, Seite 409-420. Springer, (2017)Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention., , , und . K-CAP, Seite 109-114. ACM, (2019)A Dynamic Knowledge Generation System for Cognitive Agents., , und . ICTAI, Seite 676-681. IEEE, (2019)