Author of the publication

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T.

, , , and . AI*IA, volume 5883 of Lecture Notes in Computer Science, page 62-71. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining neural and symbolic approaches to solve the Picasso problem: A first step., , and . Displays, (2022)From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview., , and . CoRR, (2021)Tableau calculus for preference-based conditional logics: PCL and its extensions., , , and . ACM Trans. Comput. Log., 10 (3): 21:1-21:50 (2009)Weak AGM postulates and strong Ramsey Test: A logical formalization., , and . Artif. Intell., 168 (1-2): 1-37 (2005)Belief Revision and the Ramsey Test: A Solution., , and . AI*IA, volume 2175 of Lecture Notes in Computer Science, page 165-175. Springer, (2001)A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview., , and . JOWO, volume 2969 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment., , , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Minimal Model Semantics and Rational Closure in Description Logics., , , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 168-180. CEUR-WS.org, (2013)DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics., , , , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Reasoning About Typicality and Probabilities in Preferential Description Logics., , , , and . Applications and Practices in Ontology Design, Extraction, and Reasoning, volume 49 of Studies on the Semantic Web, IOS Press, (2020)