Fuzzy unification and argumentation for well-founded semantics

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

Volumn 2932, Issue , 2003, Pages 102-121

  Schweimeier, Ralf ^a   Schroeder, Michael ^a,b  

^a CITY UNIVERSITY   (United Kingdom)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; OPEN SYSTEMS; REAL TIME SYSTEMS; SEMANTICS;

AGENT COMMUNICATION LANGUAGES; ARGUMENTATION FRAMEWORKS; FUZZY UNIFICATION; LOGIC PROGRAMMING SEMANTICS; NEGOTIATING AGENTS; OPEN AGENT SYSTEMS; SOUND AND COMPLETE; WELL FOUNDED SEMANTICS;

PROBLEM SOLVING;

EID: 35048885029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (36)

1. Bondarenko, A., Dung, P., Kowalski, R., Toni, F.: An Abstract, Argumentation-Theoretic Approach to Default Reasoning. Artificial Intelligence 93 (1997) 63-101
2. Dung, P.M.: An Argumentation Semantics for Logic Programming with Explicit Negation. In: Proc. of the 10th International Conference on Logic Programming, MIT Press (1993) 616-630
3. Dung, P.M.: On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelligence 77 (1995) 321-357
4. Prakken, H., Sartor, G.: Argument-Based Extended Logic Programming with Defeasible Priorities. Journal of Applied Non-Classical Logics 7 (1997) 25-75
5. Kraus, S., Sycara, K., Evenchik, A.: Reaching Agreements through Argumentation: A Logical Model and Implementation. Artificial Intelligence 104 (1998) 1-69
6. Parsons, S., Jennings, N.: Negotiation through Argumentation-a Preliminary Report. In: Proc. Second Int. Conf. on Multi-Agent Systems, Kyoto, Japan (1996) 267-274
7. Sierra, C., Jennings, N., Noriega, P., Parsons, S.: A Framework for Argumentation-Based Negotiation. In: Proc. Fourth Int. Workshop on Agent Theories, Architectures and Languages (ATAL-97), Springer-Verlag (1997) 167-182
8. Parsons, S., Sierra, C., Jennings, N.: Agents that Reason and Negotiate by Arguing. Journal of Logic and Computation 8 (1998) 261-292
9. Sadri, F., Toni, F., Torroni, P.: Logic Agents, Dialogue, Negotiation - An Abductive Approach. In: Proceedings of the AISB Symposium on Information Agents for E-commerce (2001)
10. Torroni, P.: A Study on the Termination of Negotiation Dialogues. In: Proceedings of Autonomous Agents and Multi Agent Systems 2002, ACM Press (2002) 1223-1230
11. Schroeder, M.: An Efficient Argumentation Framework for Negotiating Autonomous Agents. In: Proceedings of Modelling Autonomous Agents in a Multi-Agent World MAAMAW99, LNAI 1647, Springer-Verlag (1999)
12. Wagner, G.: Foundations of Knowledge Systems with Applications to Databases and Agents. Kluwer Academic Publishers (1998)
13. Schroeder, M., Wagner, G.: Vivid Agents: Theory, Architecture, and Applications. Journal of Applied Artificial Intelligence 14 (2000) 64-5-676
14. Finin, T., Fritzson, R., McKay, D., e, R.M.: KQML as an Agent Communication Lanugage. In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), ACM Press (1994) 456-463
15. Chiariglione, L., et al.: Specification Version 2.0. Technical Report, Foundations of Intelligent Physical Agents (1997) http://www.fipa.org
16. Nwana, H., Ndumu, D.: A Perspective on Software Agents Research. The Knowledge Engineering Review 14 (1999) 125-142
17. Alferes, J.J., Pereira, L.M.: Reasoning with Logic Programming. (LNAI 1111), Springer-Verlag (1996)
18. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R.A., Bowen, K.A. (eds.): 5th International Conference on Logic Programming. MIT Press (1988) 1070-1080
19. Levenshtein, V.: Binary Codes Capable of Correcting Deletions, Insertions, and Reversals. Doklady Akademii nauk SSSR (in Russian) 163 (1965) 845-848
20. Also in Cybernetics and Control Theory 10 8 (1996) 707-710
21. Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Communications of the ACM 13 (1970) 377-387
22. Wagner, G.: Negation in Fuzzy and Possibilistic Logic Programs. In: Logic Programming and Soft Computing. Research Studies Press (1998)
23. Gelfond, M., Lifschitz, V.: Logic Programs with Classical Negation. In: Proc. of ICLP90, MIT Press (1990) 579-597
24. Schweimeier, R., Schroeder, M.: A Parametrised Hierarchy of Argumentation Semantics for Extended Logic Programming and Its Application to the Well-Founded Semantics. Theory and Practice of Logic Programming (2004) To appear.
25. Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press (1986)
26. van Gelder, A., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38 (1991) 620-650
27. Chesñevar, C.I., Maguitman, A.G., Loui, R.P.: Logical Models of Argument. ACM Computing Surveys 32 (2000) 337-383
28. Tarski, A.: A Lattice-Theoretical Fixpoint Theorem and Its Applications. Pacific Journal of Mathematics 5 (1955) 285-309
29. Birkhoff, G.: Lattice Theory. 3rd edn. American Mathematical Society (1967)
30. Alferes, J.J., Damásio, C.V., Pereira, L.M.: A Logic Programming System for Non-Monotonic Reasoning. Journal of Automated Reasoning 14 (1995) 93-147
31. Zadeh, L.: A Theory of Approximate Reasoning. Machine Intelligence 9 (1979) 149-194
32. Robinson, J.A.: A Machine Oriented Logic Based on the Resolution Principle. Journal of the ACM 12 (1965) 23-42
33. Fontana, F.A., Formato, F., Gerla, G.: Fuzzy Unification as a Foundation of Fuzzy Logic Programming. In: Logic Programming and Soft Computing. Research Studies Press (1998) 51-68
34. Gilbert, D., Schroeder, M.: FURY: Fuzzy Unification and Resolution Based on Edit Distance. In: Proc. 1st International Symposium on Bioinformatics and Biomedical Engineering (2000) 330-336
35. Fung, P., Brayshaw, M., du Boulay, B., Elsom-Cook, M.: Towards a Taxonomy of Misconceptions of the Prolog Interpreter. In: Brna, P., du Boulay, B., Pain, H. (eds.): Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study. Ablex (1999)
36. Vidal, E., Marzal, A., Aibar, P.: Fast Computation of Normalized Edit Distances. IEEE Transactions on Pattern Analysis and Machine Intelligence 17 (1995) 899-902