( en | de | ru )

 

Disambiguierung von "Costantini, Stefania"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems.

, und . CILC, Volume 1195 von CEUR Workshop Proceedings, Seite 241-255. CEUR-WS.org, (2014)

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.

Elisa Costantini

Hervé Costantini

Stefania Peluso

Stefania Richter

Stefania Castagnetti

 

Weitere Publikationen von Autoren mit dem selben Namen

Computational Complexity of a Knowledge Compilation. Approach to the Static Semantics for Disjunctive Logic Programs., und . APPIA-GULP-PRODE, Seite 575-588. (1999)Strips-like Planning in the DALI Logic Programmming Language., und . WOA, Seite 115-120. Pitagora Editrice Bologna, (2003)Expressing Preferences Declaratively in Logic-based Agent Languages., , und . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, Seite 41-46. AAAI, (2007)SLD - Resolution with Reflection., , , und . ILPS, Seite 554-568. MIT Press, (1994)About Declarative Semantics of Logic-Based Agent Languages., und . DALT, Volume 3904 von Lecture Notes in Computer Science, Seite 106-123. Springer, (2005)Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents., , und . RuleML Europe, Volume 6826 von Lecture Notes in Computer Science, Seite 250-265. Springer, (2011)Cooperating with Trusted Parties Would Make Life Easier., , , und . AI*IA, Volume 9336 von Lecture Notes in Computer Science, Seite 128-135. Springer, (2015)Meta-reasoning: A Survey.. Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 253-288. Springer, (2002)Answer Set Modules for Logical Agents.. Datalog, Volume 6702 von Lecture Notes in Computer Science, Seite 37-58. Springer, (2010)Memory Management in Resource-Bounded Agents., und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 46-58. Springer, (2019)