Abductive coordination for logic agents

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Abductive coordination for logic agents

Full text

Pdf (964 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 1999 ACM symposium on Applied computing table of contents

San Antonio, Texas, United States

Pages: 134 - 140

Year of Publication: 1999

ISBN:1-58113-086-4

Authors

Anna Ciampolini	DEIS, Università di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy
Evelina Lamma	DEIS, Università di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy
Paola Mello	DEIS, Università di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy
Cesare Stefanelli	Dipartimento di Ingegneria, Università di Ferrara, Via Saragat 1, 44100 Ferrara, Italy

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 10, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/298151.298222 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Jean-Marc Andreoli , Remo Pareschi, Linear objects: logical processes with built-in inheritance, Logic programming, MIT Press, Cambridge, MA, 1990
	2	Antonio Brogi , Evelina Lamma , Paolo Mancarella , Paola Mello, A unifying view for logic programming with non-monotonic reasoning, Theoretical Computer Science, v.184 n.1-2, p.1-59, Sept. 30 1997 [doi>10.1016/S0304-3975(97)80755-4]
	3	K.L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum Press, New York, 1978.
	4	P T Cox , T Pietrzykowski, Causes for events: their computation and applications, Proc. of the 8th international conference on Automated deduction, p.608-621, August 1986, Oxford, United Kingdom
	5	P. Codognet and V. Saraswat. Abduction in Concurrent Constraint Programming. INRIA-Roquencourt Technical Report, March 1992.
	6	J. Doyle. A T~uth Maintenance System. Journal of Artificial intelligence, 12( 1979 ):231-271.
	7	K. Eshgi and R.A. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Marteili, editors, Proc. Sixth International Conference on Logic Programming, page 234. The MIT Press, 1989.
	8	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
	9	James A. Hendler, Intelligent Agents: Where AI Meets Information Technology, IEEE Expert: Intelligent Systems and Their Applications, v.11 n.6, p.20-23, December 1996 [doi>10.1109/MEX.1996.546578]
	10	A.C. Kakas, R.A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719- 770, 1993.
	11	A.C. Kakas, and P. Mancarella. Generalized stable models: a semantics for abduction. In Prvc. ol 9th European Con. ference on Artificial Intelligence. Pitman Pub., 1990.
	12	A.C. Kakas, and P. Mancarella. On the relation between Truth Maintenance and Abduction. In P~ings PRi. CA I90, 1990.
	13	A.C. Kakas, and G.A. Papadopoulos. Parallel Abduction in Logic Programming. In Proc. lnt. Symposium on Paralle Symbolic Computation PASC094. pages 214-224, World Scientific Pub., 1994.
	14	R.A. Kowalski. Problems and promises of computational logic. In Proc. of Symposium on Computational Logic, pages 1-36. Springer-Verlag, November 1990.
	15	Robert A. Kowalski, Using meta-logic to reconcile reactive with rational agents, Meta-logics and logic programming, MIT Press, Cambridge, MA, 1995
	16	Robert A. Kowalski , Fariba Sadri, Towards a Unified Agent Architecture that Combines Rationality with Reactivity, Proceedings of the International Workshop on Logic in Databases, p.137-149, July 01-02, 1996
	17	R.A. Kowahki, and F. Toni, and G. Wetzel. Towards a declarative and efficient glass-~ clp language, in Proc. o! Logic Progrommin9 Workshop WLP94, N. Fuchs and G. Gott lob (eds.), 1994.
	18	Nicholas R. Jennings , Michael J. Wooldridge, Agent technology: foundations, applications, and markets, Springer-Verlag New York, Inc., Secaucus, NJ, 1998
	19	J. Pearl. Embracing causality in formal reasoning. Proc. National Conference on Artificial Intelligence, Seattle, WA, pages 369-373, 1987.
	20	David Poole, A logical framework for default reasoning, Artificial Intelligence, v.36 n.1, p.27-47, August 1988 [doi>10.1016/0004-3702(88)90077-X]
	21	Katia Sycara , Anandee Pannu , Mike Williamson , Dajun Zeng , Keith Decker, Distributed Intelligent Agents, IEEE Expert: Intelligent Systems and Their Applications, v.11 n.6, p.36-46, December 1996 [doi>10.1109/64.546581]
	22	M. H. Van Emden , R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language, Journal of the ACM (JACM), v.23 n.4, p.733-742, Oct. 1976 [doi>10.1145/321978.321991]