From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Verifying Business Process Compliance by Reasoning about Actions.

D. D'Aprile, L. Giordano, V. Gliozzi, A. Martelli, G. Pozzato, и D. Dupré. CLIMA, том 6245 из Lecture Notes in Computer Science, стр. 99-116. Springer, (2010)

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 Töndury

Gian Brändli

Gian Schmid

Gian Martin

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

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics.T. Dalmonte, S. Negri, N. Olivetti, и G. Pozzato. AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 165-179. Springer, (2019)Combining neural and symbolic approaches to solve the Picasso problem: A first step.V. Gliozzi, G. Pozzato, и A. Valese. Displays, (2022)A Description Logic of Typicality for Conceptual Combination.A. Lieto, и G. Pozzato. ISMIS, том 11177 из Lecture Notes in Computer Science, стр. 189-199. Springer, (2018)Theorem Proving for Lewis Logics of Counterfactual Reasoning.M. Girlando, B. Lellmann, N. Olivetti, S. Pesce, и G. Pozzato. CILC, том 2710 из CEUR Workshop Proceedings, стр. 199-213. CEUR-WS.org, (2020)On Probabilities of Exceptions in Description Logics of Typicality.G. Pozzato. CILC, том 2214 из CEUR Workshop Proceedings, стр. 60-74. CEUR-WS.org, (2018)Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle.N. Panic, и G. Pozzato. CILC, том 3204 из CEUR Workshop Proceedings, стр. 217-231. CEUR-WS.org, (2022)Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.L. Giordano, V. Gliozzi, N. Olivetti, и G. Pozzato. CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.L. Giordano, V. Gliozzi, N. Olivetti, G. Pozzato, и L. Violanti. Description Logics, том 1350 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)Minimal Model Semantics and Rational Closure in Description Logics.L. Giordano, V. Gliozzi, N. Olivetti, и G. Pozzato. Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 168-180. CEUR-WS.org, (2013)Reasoning in Description Logics with Typicalities and Probabilities of Exceptions.G. Pozzato. ECSQARU, том 10369 из Lecture Notes in Computer Science, стр. 409-420. Springer, (2017)

BibSonomy

Disambiguation