Autor der Publikation

A Language for Default Reasoning about Actions.

, und . Correct Reasoning, Volume 7265 von Lecture Notes in Computer Science, Seite 527-542. Springer, (2012)

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

RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog., , und . Inf. Sci., 181 (10): 1951-1970 (2011)State Defaults and Ramifications in the Unifying Action Calculus., , , , und . KR, AAAI Press, (2010)A Uniform Account of Realizability in Abstract Argumentation., , und . ECAI, Volume 285 von Frontiers in Artificial Intelligence and Applications, Seite 252-260. IOS Press, (2016)Weighted Abstract Dialectical Frameworks., , , und . AAAI, Seite 1779-1786. AAAI Press, (2018)DIAMOND 3.0 - A Native C++ Implementation of DIAMOND., und . COMMA, Volume 287 von Frontiers in Artificial Intelligence and Applications, Seite 471-472. IOS Press, (2016)Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory., und . KR, AAAI Press, (2014)Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory., und . Artif. Intell., (2015)Implementing Instantiation of Knowledge Bases in Argumentation Frameworks.. COMMA, Volume 266 von Frontiers in Artificial Intelligence and Applications, Seite 475-476. IOS Press, (2014)Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions., und . LPAR short papers(Yogyakarta), Volume 13 von EPiC Series in Computing, Seite 58-63. EasyChair, (2010)Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)., , und . CoRR, (2016)