LAILA: A language for coordinating abductive reasoning among logic agents

Computer Languages

Volumn 27, Issue 4, 2001, Pages 137-161

  Ciampolini, Anna ^a   Lamma, Evelina ^b   Mello, Paola ^a   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

Abductive reasoning; Coordination; Logic agents

Indexed keywords

AUTONOMOUS AGENTS; FORMAL LOGIC; MULTI AGENT SYSTEMS; SEMANTICS;

ABDUCTIVE REASONING; LOGIC AGENTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0035703763     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(01)00020-0     Document Type: Article

References (18)

1. Jennings NR, Wooldridge MJ. Agent technology. Berlin: Springer, 1998.
2. Wooldridge MJ, Jennings NR. Intelligent agents: theory and practice. The Knowledge Engineering Review 1995;10(2):115-52.
3. Kowalski RA, Sadri F, Toni F. Logic-based multi-agent systems. Compulog Newsletters, December 1998. http://www.cs.ucy.ac.cy/compulog/dec98update/projects/logicbasedmulti.html.
4. Finin T, Labrou Y, Mayfield J. Software agents. Cambridge, MA: MIT Press, 1997 [Chapter 14: KQML as an agent communication language].
5. Gelernter D. Generative communication in linda. ACM Toplas 1985;7(1):80-112.
6. Gelernter D, Carriero N. Coordination languages and their significance. Communications of the ACM 1992;35(2):97-107.
7. Ciampolini A, Lamma E, Mello P, Torroni P. An implementation for abductive logic agents. In: Lamma E, Mello P, editors. Proceedings AI IA99 Sixth Congress of the Italian Association for Artificial Intelligence. Lecture notes in artificial intelligence, vol. 1792. Berlin: Springer, 2000.
8. Jennings NR, Wooldridge MJ. Applying agent technology. Applied Artificial Intelligence 1995;9:357-69.
9. van Emden MH, Kowalski RA. The semantics of predicate logic as a programming language. Journal of the ACM 1976;23(4):733-42.
10. S. I. of Computer Science, Sicstus prolog user manual, release 3.8.4, May 2000. http://www.sics.se/isl/sicstus/docs/latest/pdf/sicstus.pdf.
11. Clark KL. Negation as failure. In: Gallaire H, Minkec̀ J, editors. Logic and Databases. New York: Plenum Press, 1978. p. 293-322.
12. Cox PT, Pietrzykowski T. Causes for events: their computation and applications. Proceedings CADE-86, 1986. p. 608.
13. Eshgi K, Kowalski RA. Abduction compared with negation by failure. In: Levi G, Martelli M, editors. Proceedings of the Sixth International Conference on Logic Programming. Cambridge, MA: MIT Press, 1989. p. 234.
14. Kakas AC, Mancarella P. Generalized stable models: a semantics for abduction. Proceedings Ninth European Conference on Artificial Intelligence. London: Pitman, 1990.
15. Kowalski RA. Problems and promises of computational logic. Proceedings Symposium on Computational Logic. Berlin: Springer, November 1990. p. 1-36.
16. Poole DL. A logical framework for default reasoning. Artificial Intelligence 1988;36(1):27-47.
17. Pearl J. Embracing causality in formal reasoning. Proceedings National Conference on Artificial Intelligence, Seattle, WA, 1987. p. 369-73.
18. Kakas AC, Mancarella P. On the relation between truth maintenance and abduction. In: Fukumura T, editor. Proceedings of the First Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, Nagoya, Japan, 1990. p. 438-43.