{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:22Z","timestamp":1725488842479},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427162"},{"type":"electronic","value":"9783540454847"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45484-5_5","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T06:45:25Z","timestamp":1186901125000},"page":"63-77","source":"Crossref","is-referenced-by-count":5,"title":["Modeling and Programming Devices and Web Agents"],"prefix":"10.1007","author":[{"given":"Sheila A.","family":"McIlraith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"W. Burgard, A.B. Cremers, D. Fox, D. Haehnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. The interactive museum tour-guide robot. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pages 11\u201318, 1998.","DOI":"10.21236\/ADA352295"},{"issue":"2\u20133","key":"5_CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"J. de Kleer, A.K. Mackworth, and R. Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2\u20133):197\u2013222, 1992.","journal-title":"Artificial Intelligence"},{"key":"5_CR3","first-page":"183","volume-title":"Machine Intelligence","author":"C. C. Green","year":"1969","unstructured":"C. C. Green. Theorem proving by resolution as a basis for question-answering systems. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 183\u2013205. American Elsevier, New York, 1969."},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. Levesque","year":"1997","unstructured":"H. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin, and R. Scherl. GOLOG:A logic programming language for dynamic domains. The Journal of Logic Programming, 31:59\u201384, 1997.","journal-title":"The Journal of Logic Programming"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00247434","volume":"3","author":"Z. Manna","year":"1987","unstructured":"Z. Manna and R. Waldinger. How to Clear a Block:A Theory of Plans. Journal of Automated Reasoning, 3:343\u2013377, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR6","unstructured":"J. McCarthy. Programs with common sense. In Marvin Minsky, editor, Semantic Information Processing, chapter 7, pages 403\u2013418. The MIT Press, 1968."},{"key":"5_CR7","unstructured":"S. McIlraith. Representing actions and state constraints in model-based diagnosis. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pages 43\u201349, 1997."},{"key":"5_CR8","series-title":"PhD thesis","volume-title":"Towards a Formal Account of Diagnostic Problem Solving","author":"S. McIlraith","year":"1997","unstructured":"S. McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1997."},{"key":"5_CR9","unstructured":"S. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201998), pages 167\u2013177, 1998."},{"issue":"1\u20132","key":"5_CR10","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0004-3702(99)00087-9","volume":"116","author":"S. McIlraith","year":"2000","unstructured":"S. McIlraith. A closed-form solution to the ramification problem (sometimes). Artificial Intelligence, 116(1\u20132):87\u2013121, 2000.","journal-title":"Artificial Intelligence"},{"key":"5_CR11","unstructured":"K. Myers. Abductive completion of plan sketches. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI-97), pages 687\u2013693, 1997."},{"key":"5_CR12","series-title":"PhD thesis","volume-title":"Temporal Reasoning in the Situation Calculus","author":"J. Pinto","year":"1994","unstructured":"J. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1994."},{"key":"5_CR13","unstructured":"C. Price, M. Wilson, J. Timmis, and C. Cain. Generating fault trees from fmea. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, pages 183\u2013190, 1996."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"R. Reiter. Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. 2000. In preparation. Draft available at http:\/\/www.cs.toronto.edu\/~cogrobo\/ .","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"5_CR15","unstructured":"D. Smith and C. Green. Towards Practical Application of Software Synthesis. In Proceedings of FMSP\u201996, the First Workshop on Formal Methods in Software Practice, pages 31\u201339, San Diego, CA, January 1996."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. In Proceedings of the 12th Conference on Automated Deduction, 1994.","DOI":"10.1007\/3-540-58156-1_24"},{"key":"5_CR17","first-page":"94","volume-title":"Machine Intelligence","author":"R. Waldinger","year":"1977","unstructured":"R. Waldinger. Achieving several goals simultaneously. In E. Elcock and D. Michie, editors, Machine Intelligence 8, pages 94\u2013136. Ellis Horwood, Edinburgh, Scotland, 1977."},{"key":"5_CR18","unstructured":"B. Williams and P. Nayak. Immobile robotics: AI in the new millenium. AI Magazine, pages 16\u201335, 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45484-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:53:54Z","timestamp":1556754834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45484-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427162","9783540454847"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45484-5_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}