Autor der Publikation

ASP and Ontologies for Reasoning on Business Processes.

, und . DDC@AI*IA, Volume 2495 von CEUR Workshop Proceedings, Seite 45-52. CEUR-WS.org, (2019)

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

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