PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Strass, Hannes"

Author of the publication

copydeleteadd this publication to your clipboard
A general first-order solution to the ramification problem with cycles.

, and . J. Applied Logic, 11 (3): 289-308 (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

Hannes Eschmann University of Stuttgart

Hannes Mandler University of Stuttgart

Hannes Lauer University of Stuttgart

Hannes Wellmann University of Stuttgart

Hannes Grabmann University of Stuttgart

 

Other publications of authors with the same name

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