Author of the publication

A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming.

, and . ICAART (1), page 237-242. SciTePress, (2012)

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.

 

Other publications of authors with the same name

Tableaux-Based Characterization and Theorem Proving for default Logic., and . J. Autom. Reason., 13 (2): 223-242 (1994)A Resilient Behavior Approach Based on Non-monotonic Logic., , , and . MICAI, volume 11835 of Lecture Notes in Computer Science, page 403-413. Springer, (2019)Argumentation Frameworks with Necessities., and . SUM, volume 6929 of Lecture Notes in Computer Science, page 163-176. Springer, (2011)A Tableau-Based Characterisation for Default Logic., and . ECSQARU, volume 548 of Lecture Notes in Computer Science, page 310-317. Springer, (1991)Yet Some More Considerations On Cumulativity In Default Logics.. ECSQARU, volume 946 of Lecture Notes in Computer Science, page 364-378. Springer, (1995)Tableaux-Based Theorem Proving and Non-Standard Reasoning., and . TABLEAUX, page 76-78. (1992)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , and . Advances in Modal Logic, page 322-341. College Publications, (2016)Bipolar Argumentation Frameworks with Specialized Supports., and . ICTAI (1), page 215-218. IEEE Computer Society, (2010)Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system., and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Comparing a Pair-Wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results., , and . ECSQARU, volume 2143 of Lecture Notes in Computer Science, page 580-591. Springer, (2001)