Preferred extensions as stable models

Theory and Practice of Logic Programming

Volumn 8, Issue 4, 2008, Pages 527-543

  Nieves, Juan Carlos ^a   Cortés, Ulises ^a   Osorio, Mauricio ^b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b UNIVERSIDAD DE LAS AMÉRICAS PUEBLA   (Mexico)

Author keywords

Abstract argumentation semantics; Minimal models; Preferred semantics; Stable model semantics

Indexed keywords

COMPUTER PROGRAMMING; CONFORMAL MAPPING; FUNCTION EVALUATION; FUZZY LOGIC; INFORMATION THEORY; LOGIC PROGRAMMING; SEMANTICS;

ARGUMENTATION SEMANTICS; CAMBRIDGE UNIVERSITY; LOGIC PROGRAMS; MAPPING FUNCTION (MF); MINIMAL MODELING; NON MONOTONIC REASONING; POLYNOMIAL SIZE; PROPOSITIONAL FORMULAS; STABLE MODEL SEMANTICS; STABLE MODELING;

FARM BUILDINGS;

EID: 46249126790     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068408003359     Document Type: Article

References (28)

1. ASPIC: Project. 2005. Deliverable D2.2:Formal semantics for inference and decision-making. Argumentation Service Plarform with Integrated Components.
2. ASPIC: Project. 2006. ASPIC: Argumentation engine demo. URL: http://aspic.acl.icnet.uk/.
3. Ben-Eliyahu-ZOhary, R. 2005. An incremental algorithm for generating all minimal models. Artificial Intelligence 169, 1, 1-22.
4. Bench-CApon, T. 2002. Value-based argumentation frameworks. In Proceedings of Non Monotonic Reasoning, 444-453.
5. BEsnard, P. and DOutre, S. 2004. Checking the acceptability of a set of arguments. In Tenth International Workshop on Non-Monotonic Reasoning (NMR 2004), 59-64.
6. BOndarenko, A., DUng, P. M., KOwalski, R. A. and TOni, F. 1997. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93, 63-101.
7. CAyrol, C., DOutre, S. and MEngin, J. 2003. On decision problems related to the preferred semantics for argumentation frameworks. Journal of Logic and Computation 13, 3, 377-403.
8. Cortés, U., TOlchinsky, P., NIeves, J. C., López-NAvidad, A. and CAballero, F. 2005. Arguing the discard of organs for transplantation in CARREL. In CATAI 2005, 93-105.
9. DImopoulos, Y. and TOrres, A. 1996. Graph theoretical structures in logic programs and default theories. Theoretical Computer Science 170, 1-2, 209-244.
10. DLV, S. 1996. Vienna University of Technology. URL: http://www.dbai. tuwien.ac.at/proj/dlv/.
11. DUng, P. M. 1995. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, 2, 321-358.
12. DUng, P. M., KOwalski, R. A. and TOni, F. 2006. Dialectic proof procedures for assumption-based, admissible argumentation. Artificial Intelligence 170, 2, 114-159.
13. DUng, P. M., MAncarella, P. and TOni, F. 2007. Computing ideal sceptical argumentation. Artificial Intelligence 171, 10-15, 642-674.
14. DUnne, P. E. and Bench-CApon, T. J. M. 2004. Complexity in value-based argument systems. In JELIA. Lecture Notes in Computer Science, vol. 3229. Springer, Berlin, 360-371.
15. EGly, U. and WOltran, S. 2006. Reasoning in argumentation frameworks using quantified Boolean formulas. In Proceedings of COMMA, P. E. Dunne and T. J. Bench-Capon, Eds. Frontiers in Artificial Intelligence and Applications, vol. 144. IOS Press, Amsterdam, 133-144.
16. Gaertner, D. and Toni, F. 2007. CaSAPI: A system for credulous and sceptical argumentation. In Argumentation and Non-Monotonic Reasoning (LPNMR-07 Workshop), G. Simari and P. Torroni, Eds. Arizona, USA, 80-95.
17. GEbser, M., LIu, L., Namasivayam, G., NEumann, A., SChaub, T. and TRuszczynski, M. 2007. The first answer set programming system competition. In Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-07), G. B. Chitta Baral and J. Schlipf, Eds. Lecture Notes in Artificial Intelligence, vol. 4483. Springer-Verlag, Berlin,3-17.
18. GElder, A. V., ROss, K. A. and SChlipf, J. S. 1991. The well-founded semantics for general logic programs. Journal of the ACM 38, 3, 620-650.
19. GElfond, M. and LIfschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385.
20. LEone, N., PFeifer, G., FAber, W., CAlimeri, F., Dell'Armi, T., EIter, T., GOttlob, G., IAnni, G., IElpa, G., KOch, C., PErri, S. and POlleres, A. 2002. The dlv system. In JELIA, 537-540.
21. NIeves, J. C., OSorio, M., Cortés, U., OLmos, I. and GOnzalez, J. A. 2006. Defining new argumentation-based semantics by minimal models. In Seventh Mexican International Conference on Computer Science (ENC 2006). IEEE Computer Science Press, Los Alamitos, California, 210-220.
22. NIeves, J. C., OSorio, M., and Cortés, U. 2008. Studying the Grounded Semantics by Using a Suitable Codification. Research report LSI-08-6-R, Universitat Politècnica de Catalunya, Software Department (LSI), Barcelona, Spain.
23. OSorio, M., NAvarro, J. A. and ARrazola, J. 2004. Applications of intuitionistic logic in answer set programming. Theory and Practice of Logic Programming (TPLP) 4, 3, 225-354.
24. POllock, J. L. 1995. Cognitive Carpentry: A Blueprint for How to Build a Person. MIT Press, Cambridge, MA.
25. PRakken, H. and VReeswijk, G. A. W. 2002. Logics for defeasible argumentation. In Handbook of Philosophical Logic, 2nd ed., Vol. 4, D. Gabbay and F. Günthner, Eds. Kluwer Academic Publishers, Dordrecht-Boston-London, 219-318.
26. RIcca, F. 2003. The dlv java wrapper. In 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, 3-5 September 2003, 263-274.
27. TOlchinsky, P., Cortés, U., NIeves, J. C., López-NAvidad, A. and CAballero, F. 2005. Using arguing agents to increase the human organ pool for transplantation. In Proceedings of the Third Workshop on Agents Applied in Health Care (IJCAI 2005).
28. van Dalen, D. 1994. Logic and Structure, 3rd augmented ed. Springer-Verlag, Berlin.