{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:11:15Z","timestamp":1725455475060},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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\/bfb0013598","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:22:38Z","timestamp":1131866558000},"page":"375-389","source":"Crossref","is-referenced-by-count":2,"title":["Knowledge-based situated agents among us a preliminary report"],"prefix":"10.1007","author":[{"given":"Renwei","family":"Li","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"2","key":"30_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchorr\u00f3n","year":"1985","unstructured":"Alchorr\u00f3n, C., G\u00e4rdenfors, P. and Makinson, D., On the logic of theory change: Partial meet contraction and revision functions, J. of Symbolic Logic, 50:2, 1985, 510\u2013530","journal-title":"J. of Symbolic Logic"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"Alferes, J. J. and Pereira, L. M., Reasoning with Logic Programming, LNAI 1111, Springer-Verlag, 1996","DOI":"10.1007\/3-540-61488-5"},{"key":"30_CR3","unstructured":"Arkin, R. C., Towards the unification of navigational planning and reactive control, AAAI Spring Symposium on Robot Navigational Working Notes, 1989, 1\u20135"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V., Pereira, L.M., and Nejdl, W., REVISE: An Extended Logic Programming System for Revising Knowledge Bases, Proc. of KR'94, 1994","DOI":"10.1016\/B978-1-4832-1452-8.50151-2"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Fisher, M., A survery of Concurrent METATEM \u2014 the language and its applications, Proc. of 1st Internat. Conf. on Temporal Logic, LNAI 827, Springer-Verlag, 1994, pp. 480\u2013505","DOI":"10.1007\/BFb0014005"},{"issue":"1","key":"30_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M. Ginsberg","year":"1986","unstructured":"Ginsberg, M., Counterfactuals, Artificial Intelligence, 30:1, 1986, 35\u201379","journal-title":"Artificial Intelligence"},{"key":"30_CR7","unstructured":"Ingrand, F. F., and Georgeff, M. P., Managing deliberation and reasoning in real-time AI systems, Proc. of the 1990 DARPA Workshop on Innovative Approaches to Planning Scheduling and Control, 1990, 284\u2013291"},{"key":"30_CR8","unstructured":"Li, R. and Pereira, L. M., Knowledge Assimilation in Domains of Actions: A Possible Causes Approach, Journal of Applied Non-Classical Logic, Special issue on Inconsistency Handling in Knowledge Systems, 1996 (in press)"},{"issue":"5","key":"30_CR9","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1093\/jigpal\/3.5.765","volume":"3","author":"R. Li","year":"1995","unstructured":"Li, R. and Carmo, J., On completeness of a positional interval logic with equality, overlap and subinterval relations, Journal of the IGPL, 3:5, 1995, 765\u2013790","journal-title":"Journal of the IGPL"},{"key":"30_CR10","unstructured":"Li, R. and Pereira, L. M., Temporal reasoning with abductive logic programming, in: W. Wahlster (ed.), Proc. of ECAI'96, European Conf. on Artificial Intelligence, John Wiley & Sons, 1996, pp. 13\u201317"},{"key":"30_CR11","unstructured":"Li, R. and Pereira, L. M., What is believed is what is explained (sometimes), Proc. of AAAI'96, American National Conference on Artificial Intelligence, 1996, pp. 550\u2013555"},{"key":"30_CR12","unstructured":"Li, R. and Pereira, L. M., Updating temporal knowledge bases with the possible causes approach, in: A. M. Ramsay (ed.), Artificial Intelligence: Methodology, Systems, Applications, IOS Press, 1996, pp. 148\u2013157"},{"key":"30_CR13","unstructured":"Nebel, B., Belief revision and default reasoning: Syntax-based approaches, Proc. of KR'91, 1991"},{"key":"30_CR14","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"N. J. Nilsson","year":"1994","unstructured":"Nilsson, N. J., Teleo-reactive programs for agent control, J. of Artificial Intelligence Research, 1,1994,139\u2013158","journal-title":"J. of Artificial Intelligence Research"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Payton, D., Internalized plans: A representation for action resources, in: P. Maes (ed.), Designing Autonomous Agents, MIT Press, 1991, 89\u2013103","DOI":"10.1016\/S0921-8890(05)80030-2"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Przymusinski, T., On the declarative semantics of stratified deductive databases and logic programs, In J. Minker, editor, Foundations of Deductive Databases and logic Programming, Morgan Kaufmann, 1987, 193\u2013216","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"30_CR17","unstructured":"Rao, A. S., and M. P. Georgeff, Modelling rational agents within a BDI arcitecture, Proc. of KR '91, 1991, 473\u2013484"},{"issue":"1","key":"30_CR18","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R., A theory of diagnosis from first principles, Artificial Intelligence, 32:1, 1987, 57\u201396","journal-title":"Artificial Intelligence"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"N. Rescher and A. Urquhart, Temporal Logic, Springer-Verlag, 1971","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Schroeder, M., Mora, I. and Pereira, L. M., A Deliberative and Reactive Diagnosis Agent based on Logic Programming, Proc. of ATAL'96, this volume, Springer-Verlag, 1997","DOI":"10.1007\/BFb0013593"},{"key":"30_CR21","unstructured":"Winslett, M., Reasoning about action using a possible models approach, Proc. of AAAI'88, American National Conference on Artificial Intelligence, 89\u201393"},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., A knowledge-theoretical semantics for concurrent Metatem, Proc. of ATAL'96, this volume, Springer-Verlag, 1996","DOI":"10.1007\/BFb0013597"}],"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\/BFb0013598","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:59:43Z","timestamp":1683284383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625070","9783540680574"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0013598","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}