{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:20Z","timestamp":1725467600144},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647690"},{"type":"electronic","value":"9783540687221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055022","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:11:15Z","timestamp":1153991475000},"page":"94-108","source":"Crossref","is-referenced-by-count":1,"title":["Switching between reasoning and search"],"prefix":"10.1007","author":[{"given":"Greg","family":"Gibbon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janet","family":"Aisbett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,24]]},"reference":[{"key":"7_CR1","unstructured":"J. E. Aisbett and G. G. Gibbon, \u201cAn Information Architecture for Problem Solving\u201d Proc 8th Aust. Joint Conf. on AI, World Scientific, (1995), pp 427\u2013434."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0743-1066(95)00097-6","volume":"26","author":"T. Axling","year":"1996","unstructured":"T. Axling and S. Haridi, \u201cA tool for developing interactive configuration applications\u201d J. Logic Programming, 26, (1996) pp 147\u2013168.","journal-title":"J. Logic Programming"},{"key":"7_CR3","unstructured":"J. Bachant and J. McDermott, R1 revisited: four years in the trenches. The Artificial Intelligence Magazine, 5 (3), Fall 1984."},{"key":"7_CR4","unstructured":"A. Bundy, A science of reasoning. In Computational logic: Essays in Honour of Alan Robinson, ed. J-L Lassez and G. Plotkin. MIT Press, (1991) 178\u2013197."},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0004-3702(97)00040-4","volume":"95","author":"N. Friedman","year":"1997","unstructured":"N. Friedman and J.Y. Halpern, Modeling belief in dynamic systems, Part I: Foundations, Artificial Intelligence, 95, (1997) 257\u2013316.","journal-title":"Artificial Intelligence"},{"key":"7_CR6","unstructured":"P. G\u00e4rdenfors, Knowledge in flux: Modeling the dynamics of epistemic states, MIT Press (1988)."},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF01088630","volume":"6","author":"A. Garvey","year":"1994","unstructured":"A. Garvey and V. Lesser, A Survey of Research in Deliberative Real-Time Artificial Intelligence. J. of Real-Time Systems, 6(3) (1994) 317\u2013347.","journal-title":"J. of Real-Time Systems"},{"key":"7_CR8","unstructured":"G. G. Gibbon and N. Y. Foo,\u201cPredicate Invention in a Model Identification Framework\u201d Proc 6th Aust. Joint Conf. on AI, World Scientific, (1993), pp 65\u201370."},{"key":"7_CR9","unstructured":"J. Grass and S. Zilberstein. Value-Driven Information Gathering. AAAI Workshop on Building Resource-Bounded Reasoning Systems, Providence, Rhode Island, (1997)."},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. V. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence., 33, (1987) 379\u2013412.","journal-title":"Artificial Intelligence"},{"key":"7_CR11","unstructured":"Bill Havens, School of Computing Science, Simon Fraser University, Canada, IRIS Project IC-6: Intelligent Scheduling http:\/\/www.cs.ualberta.ca\/~ai\/IC-6\/IC-6.html"},{"key":"7_CR12","unstructured":"K. Konolige, Circumscriptive ignorance. Proc. AAAI (1982) 202\u2013204."},{"key":"7_CR13","first-page":"33","volume":"Fall","author":"R. Guha","year":"1990","unstructured":"R. Guha and D. B. Lenat, \u201cCYC: a midterm report\u201d AI Magazine, Fall (1990) 33\u201359.","journal-title":"AI Magazine"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy, Applications of circumscription to formalizing common sense knowledge, Artificial Intelligence, 28, (1986) 89\u2013116.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"R. Moore, Semantical considerations on nonmonotonic logic, Art. Int., 25, 1 (1985) 75\u201394.","journal-title":"Art. Int."},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/360018.360022","volume":"19","author":"A. Newell","year":"1976","unstructured":"A. Newell and H. Simon, Computer science as empirical inquiry: symbols and search. Comm ACM 19, 3 (1976) 113\u2013126.","journal-title":"Comm ACM"},{"key":"7_CR17","volume-title":"Heuristics: Intelligent strategies for computer problem solving","author":"J. Pearl","year":"1984","unstructured":"J. Pearl, Heuristics: Intelligent strategies for computer problem solving. Reading Massachusetts Addison-Wesley. (1984)."},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence., 13, 1, (1980) 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"7_CR19","volume-title":"TR 192","author":"E. Y. Shapiro","year":"1981","unstructured":"E. Y. Shapiro, Inductive Inference of theories from facts. TR 192. Dept. Comp. Sc, Yale University, Connecticut, 1981."},{"key":"7_CR20","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham, Reasoning about Change, MIT Press, Cambridge, Massachusetts (1988)."},{"key":"7_CR21","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. F. Sowa","year":"1984","unstructured":"J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984."},{"key":"7_CR22","volume-title":"A guide to Expert Systems","author":"D. A. Waterman","year":"1986","unstructured":"D. A. Waterman, A guide to Expert Systems, Addison-Wesley, Reading, MA. (1986)."}],"container-title":["Lecture Notes in Computer Science","Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T15:28:15Z","timestamp":1549898895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647690","9783540687221"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0055022","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}