An implementation for abductive logic agents

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

Volumn 1792, Issue , 2000, Pages 61-71

  Ciampolini, A ^a   Lamma, E ^a   Mello, P ^a   Stefanelli, C ^b   Torroni, P ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); RECONFIGURABLE HARDWARE;

ABDUCTIVE LOGIC AGENTS; ABDUCTIVE LOGIC PROGRAMS; DISTRIBUTED IMPLEMENTATION; GLOBAL KNOWLEDGE; HYPOTHETICAL REASONING; KNOWLEDGE BASIS; LOCAL KNOWLEDGE; TCP/IP NETWORKS;

COMPUTER CIRCUITS;

EID: 1642467575     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. Abductive LogIc Agent System. http://www.lia.deis.unibo.it/Software/ALIAS/.
2. AMZI! Amzi! Prolog + Logic Server 4.1. http://www.amzi.com.
3. A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A Unifying View for Logic Programming with Non-Monotonic Reasoning. In Theoretical Computer Science, Vol. 184, 1–49, North Holland, 1997.
4. K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, eds., Logic and Databases. Plenum Press, New York, 1978.
5. P. T. Cox and T. Pietrzykowski. Causes for events: Their computation and applications. In Proc.CADE-86, 608, 1986.
6. K. Eshgi and R. A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proc.6th International Conference on Logic Programming, 234. MIT Press, 1989.
7. D. Gelernter. Generative Communication in Linda. ACM Toplas, 7(1):80–112, 1985. V.7, N.1, 80–112, 1985.
8. A. C. Kakas, R. A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719–770, 1993.
9. A. C. Kakas, and P. Mancarella. Generalized stable models: a semantics for abduction. In Proc.9th European Conference on Artificial Intelligence. Pitman Pub., 1990.
10. A. C. Kakas, and P. Mancarella. On the relation between Truth Maintenance and Abduction. In Proc.PRICAI90, 1990.
11. R. A. Kowalski. Problems and promises of computational logic. In Proc.Symp osium on Computational Logic, 1-36. Springer-Verlag, Nov. 1990.
12. N. R. Jennings, M. J. Wooldridge, eds., Agent Technology. Springer-Verlag, 1998.
13. D. L. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27. Elsevier, 1988.
14. K. Sicara, et al. Distributed Intelligent Agents. IEEE Expert, 36–46, Dec. 1996.
15. M. H. van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733–742, 1976.