( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ASP and Ontologies for Reasoning on Business Processes.

, и . DDC@AI*IA, том 2495 из CEUR Workshop Proceedings, стр. 45-52. CEUR-WS.org, (2019)

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.

Sébastien Giordano

Paolo Giordano

Mario Laura

Marco Laurati

Andrea Giordano

 

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

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin., , , и . IJCAI, стр. 894-899. IJCAI/AAAI, (2011)An Abductive Characterization of the TMS., и . ECAI, стр. 308-313. (1990)Adopting model checking techniques for clinical guidelines verification, , , , , и . Artificial Intelligence in Medicine, 48 (1): 1 - 19 (2010)Conditional logic of actions and causation, и . Artif. Intell., 157 (1-2): 239-279 (2004)A Language for Handling Hypothetical Updates and Inconsistency., , , и . Logic Journal of the IGPL, 4 (3): 385-416 (1996)A Semantics for Eshghi and Kowalski's Procedure., , и . ICLP, стр. 586-600. MIT Press, (1993)Conditonal Logic Programming., , , и . ICLP, стр. 272-289. MIT Press, (1994)Generalized Stable Models, Truth Maintenance and Conflict Resolution., и . ICLP, стр. 427-441. MIT Press, (1990)On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic., и . TIME, стр. 133-139. IEEE Computer Society, (2004)Advances in the GINSENG Project., , , , , , , , , и . ICHI, стр. 368. IEEE Computer Society, (2014)