Embedding defeasible logic into logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2401 LNCS, Issue , 2002, Pages 393-404

  Antoniou, Grigoris ^a   Maher, Michael J ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b LOYOLA UNIVERSITY CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDINGS; LOGIC PROGRAMMING; PROGRAM TRANSLATORS; SEMANTICS; RECONFIGURABLE HARDWARE;

DEFEASIBLE LOGIC; DEFEASIBLE REASONING; EXTENDED LOGIC; LOGIC PROGRAMS; NON-MONOTONIC REASONING; STABLE MODEL; STABLE MODEL SEMANTICS;

COMPUTER CIRCUITS;

EID: 84888265093     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45619-8_27     Document Type: Conference Paper

References (22)

1. G. Antoniou, D. Billington and M. J. Maher. On the analysis of regulations using defeasible rules. In Proc. 32nd Hawaii International Conference on Systems Science, 1999.
2. G. Antoniou, M. J. Maher and D. Billington. Defeasible Logic versus Logic Programming without Negation as Failure, Journal of Logic Programming, 42 (2000): 47-57.
3. G. Antoniou, D. Billington, G. Governatori and M. J. Maher. A flexible framework for defeasible logics. In Proc. 17th American National Conference on Artificial Intelligence (AAAI-2000), 405-410.
4. G. Antoniou, D. Billington, G. Governatori and M. J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic 2 (2001): 255-287.
5. D. Billington. Defeasible Logic is Stable. Journal of Logic and Computation 3 (1993): 370-400.
6. G. Brewka. On the Relationship between Defeasible Logic and Well-Founded Semantics. In Proc. Logic Programming and Nonmonotonic Reasoning Conference, LNCS 2173, 2001, 121-132.
7. J. P. Delgrande, T Schaub and H. Tompits. Logic Programs with Compiled Preferences. In Proc. ECAI 2000, 464-468.
8. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. International Conference on Logic Programming, MIT Press 1988, 1070- 1080.
9. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing 9 (1991): 365-385.
10. G. Governatori, A. Hofstede and P. Oaks. Defeasible Logic for Automated Negotiation. In Proc. Fifth CollECTeR Conference on Electronic Commerce, Brisbane 2000.
11. B. N. Grosof. Prioritized conflict handling for logic programs. In Proc. International Logic Programming Symposium, MIT Press 1997, 197-211.
12. B. N. Grosof, Y. Labrou and H. Y. Chan. A Declarative Approach to Business Rules in Contracts: Courteous Logic Programs in XML. In Proc. 1st ACM Conference on Electronic Commerce (EC-99), ACM Press 1999.
13. K. Kunen. Negation in Logic Programming. Journal of Logic Programming 4 (1987): 289-308.
14. M. J. Maher. A Denotational Semantics for Defeasible Logic. In Proc. First International Conference on Computational Logic, LNAI 1861, Springer, 2000, 209-222.
15. M. J. Maher. Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming, 1 (6), 691-711, 2001.
16. M. Maher and G. Governatori. A Semantic Decomposition of Defeasible Logics. In Proc. American National Conference on Artificial Intelligence (AAAI-99), AAAI/MIT Press 1999, 299-305.
17. M. J. Maher, A. Rock, G. Antoniou, D. Billington and T. Miller. Efficient Defeasible Reasoning Systems. In Proc. 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), IEEE 2000, 384-392.
18. V. Marek and M. Truszczynski. Nonmonotonic Logic. Springer 1993.
19. L. Morgenstern. Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry. Artificial Intelligence, 103 (1998): 1-34.
20. D. Nute. Defeasible Logic. In D. M. Gabbay, C. J. Hogger and J. A. Robinson (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994, 353-395.
21. H. Prakken. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law. Kluwer Academic Publishers 1997.
22. D. M. Reeves, B. N. Grosof, M. P. Wellman, and H. Y. Chan. Towards a Declarative Language for Negotiating Executable Contracts, Proceedings of the AAAI- 99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99), AAAI Press/MIT Press, 1999.