{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171414},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635864"},{"type":"electronic","value":"9783540696056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023924","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:20:36Z","timestamp":1132384836000},"page":"217-228","source":"Crossref","is-referenced-by-count":4,"title":["Vivid agents arguing about distributed extended logic programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Schroeder","sequence":"first","affiliation":[]},{"given":"Iara","family":"M\u00f3ra","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Julio","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"19_CR1","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Cohn, editor, Proc. of the European Conference on Artificial Intelligence'94, pages 140\u2013144. John Wiley & Sons, August I994."},{"key":"19_CR2","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium'94, pages 424\u2013438. MIT Press, November 1994."},{"issue":"1","key":"19_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning, 14(1):93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. (LNAI 1111), Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61488-5"},{"key":"19_CR5","unstructured":"P. M. Dung. An argumentation semantics for logic programming with explicit negation. In Proc. of the 10th International Conference on Logic Programming, pages 616\u2013630. MIT Press, 1993."},{"issue":"2","key":"19_CR6","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P. M. Dung","year":"1995","unstructured":"P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321\u2013357, 1995.","journal-title":"Artificial Intelligence"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"T. Finin, J. Weber, G. Wiederhold, M. Genesereth, R. Fritzson, D. McKay, J. McGuire, R. Pelavin, S. Shapiro, and C. Beck. Specification of the KQML agent communication language. Technical report, The DARPA Knowledge Sharing Initiative, External Interfaces Working Group, Baltimore, USA, 1993.","DOI":"10.1145\/191246.191322"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Allen Van Gelder, Kenneth Ross, and John S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proceeding of the 7th ACM Symposium on Principles of Databse Systems, pages 221\u2013230. Austin, Texas, 1988.","DOI":"10.1145\/308386.308444"},{"issue":"2","key":"19_CR9","first-page":"25","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, J. N. Apar'cio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3 & 4), 25\u201355. 1993.","journal-title":"Journal of Logic Programming. Special issue on Nonmonotonic reasoning"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. V. Dam\u00e1sio, and J. J. Alferes Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 334\u2013348, Lisboa, Portugal, June 1993. MIT Press.","DOI":"10.7551\/mitpress\/4307.001.0001"},{"key":"19_CR11","unstructured":"Lu's Moniz Pereira and Jos\u00e9 J\u00falio Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed), European Conference on Artificial Intelligence, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Henry Prakken and Giovanni Sartor. Argument based extended logig prpgramming with defeasible priorities. Journal of Applied Non-Classical Logics, 1997.","DOI":"10.1080\/11663081.1997.10510900"},{"key":"19_CR13","unstructured":"Michael Schroeder, Rui Marques, Gerd Wagner, and Jos\u00e9 Cunha. CAP \u2014 Concurrent Action and Planning: Using PVM-Prolog to implement vivid agents. In Proceedings of the fifth Conference on Practical Applications of Prolog, 1997. to be published."},{"issue":"1","key":"19_CR14","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Gerd Wagner. A logical and operational model of scalable knowledge-and perception-based agents In Proceedings of MAAMAW96, LNAI 1038. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031844"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:34:57Z","timestamp":1586568897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635864","9783540696056"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0023924","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}