( en | de | ru )

 

Disambiguierung von "Alberti, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Observation Strategies for Event Detection with Incidence on Runtime Verification.

, , und . RCRA@CPAIOR, Volume 616 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)

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.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure., , und . ICLP (Technical Communications), Volume 7 von LIPIcs, Seite 4-13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Normative systems require hybrid knowledge bases., , , , , und . AAMAS, Seite 1425-1426. IFAAMAS, (2012)Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties., , , , und . Il Milione, Volume 487 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Mapping of Deontic Operators to Abductive Expectations., , , , , und . NORMAS, Seite 126-136. (2005)A CHR-based implementation of known arc-consistency., , , , und . Theory Pract. Log. Program., 5 (4-5): 419-440 (2005)Observation Strategies for Event Detection with Incidence on Runtime Verification., , und . RCRA@CPAIOR, Volume 616 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols., , , und . ICLP Technical Communications / Doctoral Consortium, Volume 364 von EPTCS, Seite 65-78. (2022)A Social ACL Semantics by Deontic Constraints., , , , , und . CEEMAS, Volume 2691 von Lecture Notes in Computer Science, Seite 204-213. Springer, (2003)Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study., , , , und . DALT, Volume 2990 von Lecture Notes in Computer Science, Seite 243-262. Springer, (2003)Accountable Protocols in Abductive Logic Programming., , und . CILC, Volume 2396 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)