{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:21Z","timestamp":1749221301830},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625070"},{"type":"electronic","value":"9783540680574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0013593","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:22:38Z","timestamp":1131866558000},"page":"293-307","source":"Crossref","is-referenced-by-count":5,"title":["A deliberative and reactive diagnosis agent based on logic programming"],"prefix":"10.1007","author":[{"given":"Michael","family":"Schroeder","sequence":"first","affiliation":[]},{"given":"Iara","family":"de Almeida M\u00f3ra","sequence":"additional","affiliation":[]},{"given":"Luis Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"25_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 1994."},{"issue":"1","key":"25_CR2","doi-asserted-by":"publisher","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 non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR3","first-page":"61","volume-title":"I.C. PROLOG II: A language for implementing multi-agent systems","author":"D. Chu","year":"1993","unstructured":"D. Chu. I.C. PROLOG II: A language for implementing multi-agent systems. In S. M. Dean, editor, Proceedings of the 1992 Workshop on Cooperating Knowledge Based systems (CKBS92), pages 61\u201374. DAKE Centre, University of Keele, UK, 1993."},{"key":"25_CR4","volume-title":"5th Euromicro Workshop on Parallel and Distributed Processing","author":"J. C. Cunha","year":"1997","unstructured":"J. C. Cunha and R. F. P. Marques. Distributed algorithm development with PVM-Prolog. In 5th Euromicro Workshop on Parallel and Distributed Processing, London, UK, 1997. IEEE Computer Society Press."},{"key":"25_CR5","unstructured":"C. V. Dam\u00e1sio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis preferences and strategies representation with meta logic programming. In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 11, pages 269\u2013311. The MIT Press, 1995."},{"key":"25_CR6","first-page":"607","volume-title":"Knowledge Representation and Reasoning","author":"C. V. Dam\u00e1sio","year":"1994","unstructured":"C. V. Dam\u00e1sio, W. Nejdl, and L. Moniz Pereira. REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall, and P. Torasso, editors, Knowledge Representation and Reasoning, pages 607\u2013618, Bonn, Germany, May 1994. Morgan Kaufmann."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"P. Fr\u00f6hlich, W. Nejdl, and M. Schroeder. Design and implementation of diagnostic strategy using modal logic. In JELIA96 \u2014 European workshop on Logic in AI. (LNAI 1126), Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61630-6_7"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"A. Geist and et al. PVM: Parallel Virtual Machine. MIT Press, 1994.","DOI":"10.7551\/mitpress\/5712.001.0001"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. Ross, and J. 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"},{"key":"25_CR10","unstructured":"F. F. Ingrand and M. P. Georgeff. Managing deliberation and reasoning in real-time ai systems. In Proceedings of the 1990 DARPA Workshop on Innovative Approaches to Planning, pages 284\u2013291, San Diego, CA, 1990."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"N. R. Jennings, J. M. Corera, I. Laresgoiti, E. H. Mamdani, F. Perriollat, P. Skarek, and L. Z. Varga. Using ARCHON to develop real-world DAI applications for electricity transportation management and particle accelerator control. IEEE Expert, 1996.","DOI":"10.1109\/64.546585"},{"key":"25_CR12","unstructured":"D. Kinny, M. Georgeff, J. Bailey, D. B. Kemp, and K. Ramamohanarao. Actice databases and agent systems \u2014 a comparison. In Proceedings of RIDS95, International Workshop of Rules in Database Systems, Athens, Greece, 1995."},{"key":"25_CR13","unstructured":"R. A. Kowalski. Using meta-logic to reconcile reactive with rational agents. In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 9, pages 227\u2013242. The MIT Press, 1995."},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"L. Lamport. The Bizantine generals problems. ACM Transactions on Programming and Systems, 4(3):382\u2013401, 1982.","journal-title":"ACM Transactions on Programming and Systems"},{"key":"25_CR15","unstructured":"J. Lee, M. J. Huber, E. H. Durfee, and P. G. Kenny. UM-PRS: An implementation of the procedural reasoning system for multirobot applications. In CIRFSS94, Conference on Intelligent Robotics in Field, Factory, Service and Space, pages 842\u2013849. MIT Press, 1994."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"D.R. McCarthy and U. Dayal. The architecture of an active database management system. In Proceedings of ACM SIGMOD-89, pages 215\u2013224, 1989.","DOI":"10.1145\/67544.66946"},{"key":"25_CR17","first-page":"409","volume-title":"LNAI990","author":"I. A. M\u00f3ra","year":"1995","unstructured":"I. A. M\u00f3ra and J. J. Alferes. Diagnosis of distributed systems using logic programming. In C. Pinto-Ferreira and N.J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence EPIA95, volume LNAI990, pages 409\u2013428. Springer-Verlag, Funchal, Portugal, 1995."},{"key":"25_CR18","unstructured":"W. Nejdl, P. Fr\u00f6hlich, and M. Schroeder. A formal framework for representing diagnosis strategies in model-based diagnosis systems. In International Joint Conference on Artificial Intelligence, Montreal, August 1995."},{"key":"25_CR19","unstructured":"L. M. Pereira and J. J. 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":"25_CR20","first-page":"105","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"L. M. Pereira","year":"1991","unstructured":"L. M. Pereira, J. J. Alferes, and J. Apa\u0155cio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Nonmonotonic Reasoning, pages 105\u2013119, Washington, USA, June 1991. MIT Press."},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"A. S. Rao. Agentspeak(l): BDI agents speak out in a logical computable language. In Proceedings of MAAMAW96, LNAI 1038. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031845"},{"key":"25_CR22","unstructured":"A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, KR91, International Conference on Principlies of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, Inc., 1991."},{"key":"25_CR23","unstructured":"A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Ruzena Bajcsy, editor, IJCAI93, International joint Conference on Artificial Intelligence, volume 1, pages 318\u2013324. Morgan Kaufmann Publishers, Inc., 1993."},{"key":"25_CR24","first-page":"18","volume-title":"Revise report: An architecture for a diagnosis agent","author":"M. Schroeder","year":"1996","unstructured":"M. Schroeder, C. V. Dam\u00e1sio, and L. M. Pereira. Revise report: An architecture for a diagnosis agent. In Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, number 18\u201396, Universit\u00e4t Koblenz-Landau, Institut f\u00fcr Informatik, Rheinau 1, D-56075 Koblenz, 1996."},{"issue":"1","key":"25_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51\u201392, 1993.","journal-title":"Artificial Intelligence"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"G. 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","Intelligent Agents III Agent Theories, Architectures, and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:53:40Z","timestamp":1586552020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625070","9783540680574"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0013593","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}