Author of the publication

Dialectical Proofs for Constrained Argumentation.

, , , and . COMMA, volume 216 of Frontiers in Artificial Intelligence and Applications, page 159-170. IOS Press, (2010)

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

Dealing Automatically with Exceptions by Introducing Specificity in ASP., , and . ECSQARU, volume 5590 of Lecture Notes in Computer Science, page 614-625. Springer, (2009)Lukaszewicz' Default Logic: A Theorem Prover Based on SLD-Resolution for Open Default Theory., and . WOCFAI, page 281-293. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)Possibilistic Stable Model Computing., and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)Description of GADEL, , and . CoRR, (2000)Genetic Algorithms for Extension Search in Default Logic, , and . CoRR, (2000)Heuristics for a Default Logic Reasoning System., , and . Int. J. Artif. Intell. Tools, 10 (4): 503-523 (2001)Possibilistic uncertainty handling for answer set programming., , , and . Ann. Math. Artif. Intell., 47 (1-2): 139-181 (2006)Optimisation par colonies de fourmis pour la programmation logique étendue., , and . JFPLC, page 57-. (2002)Using Answer Set Programming in an Inference-Based approach to Natural Language Semantics, and . CoRR, (2006)The First Version of a New ASP Solver : ASPeRiX., and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 522-527. Springer, (2009)