( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Theorem Proving for Non-normal Modal Logics.

, , , и . OVERLAY, том 2785 из CEUR Workshop Proceedings, стр. 17-22. CEUR-WS.org, (2020)

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.

Gian Luca Caprili

Gian Töndury

Gian Brändli

Gian Schmid

Gian Martin

 

Другие публикации лиц с тем же именем

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., и . AI*IA, том 11298 из Lecture Notes in Computer Science, стр. 183-196. Springer, (2018)PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics., , , и . AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 165-179. Springer, (2019)Reasoning About Typicality and Probabilities in Preferential Description Logics., , , , и . Applications and Practices in Ontology Design, Extraction, and Reasoning, том 49 из Studies on the Semantic Web, IOS Press, (2020)Theorem Proving for Lewis Logics of Counterfactual Reasoning., , , , и . CILC, том 2710 из CEUR Workshop Proceedings, стр. 199-213. CEUR-WS.org, (2020)On Probabilities of Exceptions in Description Logics of Typicality.. CILC, том 2214 из CEUR Workshop Proceedings, стр. 60-74. CEUR-WS.org, (2018)Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle., и . CILC, том 3204 из CEUR Workshop Proceedings, стр. 217-231. CEUR-WS.org, (2022)Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment., , , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Reasoning in Description Logics with Typicalities and Probabilities of Exceptions.. ECSQARU, том 10369 из Lecture Notes in Computer Science, стр. 409-420. Springer, (2017)Combining neural and symbolic approaches to solve the Picasso problem: A first step., , и . Displays, (2022)