Author of the publication

Handling Preferences in Argumentation Frameworks with Necessities.

, , and . ICAART (1), page 340-345. 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 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)Argumentation Frameworks with Necessities., and . SUM, volume 6929 of Lecture Notes in Computer Science, page 163-176. Springer, (2011)A Resilient Behavior Approach Based on Non-monotonic Logic., , , and . MICAI, volume 11835 of Lecture Notes in Computer Science, page 403-413. Springer, (2019)Tableaux-Based Theorem Proving and Non-Standard Reasoning., and . TABLEAUX, page 76-78. (1992)Bipolar Argumentation Frameworks with Specialized Supports., and . ICTAI (1), page 215-218. IEEE Computer Society, (2010)The Logic of Conditional Beliefs: Neighbourhood Semantics and Sequent Calculus., , , and . Advances in Modal Logic, page 322-341. College Publications, (2016)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)A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming., and . ICAART (1), page 237-242. SciTePress, (2012)