{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T09:33:50Z","timestamp":1649151230383},"reference-count":42,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1080\/11663081.1997.10510901","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:14:49Z","timestamp":1338365689000},"page":"77-116","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge assimilation in domains of actions: a possible causes approach"],"prefix":"10.1080","volume":"7","author":[{"given":"Renwei","family":"Li","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","first-page":"2","volume":"50","author":"Alchorr\u00f3n C.","journal-title":"J. of Symbolic Logic"},{"key":"CIT0002","volume-title":"SLX\u2014A top-down derivation procedure for programs with explicit negation","author":"Alferes J. J.","year":"1994"},{"key":"CIT0003","unstructured":"Apt, K. R. and Bezem, M. 1990.Acyclic programs579\u2013597. MIT Press. Proc. of ICLP 90"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Baker, A. B. 1991.Nonmonotonic reasoning in the framework of situation calculusVol. 49, 5\u201323. Artificial Intelligence","DOI":"10.1016\/0004-3702(91)90004-4"},{"key":"CIT0005","unstructured":"Baral, C. and Gelfond, M. 1993.Representing concurrent actions in extended logic programming, Proc. of 1 IJCAI'93866\u2013871."},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Borgida, A. 1985.Language features for flexible handling of exceptions in information systemsVol. 10, 563\u2013603. ACM Trans, on Database Systems","DOI":"10.1145\/4879.4995"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"Console L.","year":"1991","journal-title":"J. of Logic and Computation"},{"key":"CIT0008","volume-title":"Investigations into a theory of knowledge base revision: Preliminary report, Proc. of AAAI'88","author":"Dalai M.","year":"1988"},{"key":"CIT0009","volume-title":"REVISE Progress Report: A system description, Department of Computer Science, Universidade Nova de Lisboa, submitted to FAPR'96","year":"1996"},{"key":"CIT0010","volume-title":"REVISE: An Extended Logic Programming System for Revising Knowledge Bases, Proc. of KR'94","year":"1994"},{"key":"CIT0011","unstructured":"Denecker, M. and De Schreye, D. 1992.SLDNFA: an abductive procedure for normal abductive programsEdited by: Apt, K. R. 686\u2013700. Logic Programming: Proc. of 1992 Int'l Joint Conference and Symposium"},{"key":"CIT0012","volume-title":"Knowledge Representation and Reasoning in Incomplete Logic Programming, Ph.D. thesis, Department of Computer Science, K.U.Leuven","author":"Denecker M.","year":"1993"},{"key":"CIT0013","unstructured":"Dung, P. M. 1993.Representing actions in logic programming and its application in database updates222\u2013238. MIT Press. Proc. of ICLP'93"},{"key":"CIT0014","doi-asserted-by":"crossref","volume-title":"On the semantics of updates in databases","author":"Fagin R.","DOI":"10.1145\/588058.588100"},{"key":"CIT0015","volume-title":"Knowledge in Flux\u2014Modeling the Dynamics of of Epistemic States","author":"G\u00e4rdenfors P.","year":"1988"},{"key":"CIT0016","unstructured":"Gelfond, M. and Lifschitz, V. 1988.The stable model semantics for logic programmingEdited by: Kowalski, R. and Bowen, K. 1070\u20131080. In. Proc. of 5th Logic Programming Symposium"},{"key":"CIT0017","unstructured":"Gelfond, M. and Lifschitz, V. 1993.Representing action and change by logic programs, Journal of Logic Programming, Vol.17301\u2013322."},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(86)90066-4","volume":"30","author":"Ginsberg M.","year":"1986","journal-title":"Artificial Intelligence"},{"key":"CIT0019","doi-asserted-by":"crossref","volume-title":"Abductive logic programming","author":"Kakas A. C.","DOI":"10.1093\/logcom\/2.6.719"},{"key":"CIT0020","volume-title":"Generalized stable models: A semantics for abduction, Proc. of ECAI'90","author":"Kakas A. C.","year":"1990"},{"key":"CIT0021","volume-title":"A unified view of propositional knowledge base updates, Proc. of 11th IJCAI","author":"Katsuno H.","year":"1989"},{"key":"CIT0022","unstructured":"Katsuno, H. and Mendelzon, A. 1991.On the difference between updating a knowledge base and revising itEdited by: Allen, J., Fikes, R. and Sandewall, E. 387\u2013394. Proc. of the 2nd Internat. Conf. on Principles of Knowledge Representation and Reasoning"},{"key":"CIT0023","unstructured":"Kautz, H. A. 1986.The logic of persistence, Proc. of the AAAI86401\u2013405."},{"key":"CIT0024","doi-asserted-by":"crossref","unstructured":"Kowalski, R. A. and Sergot, M. 1986.A logic-based calculus of events, New Generation Computing, 467\u201375. p","DOI":"10.1007\/BF03037383"},{"key":"CIT0025","unstructured":"Li, R. and Pereira, L. M.What is believed is what is explained (sometimes)550\u2013555. Proc. of AAAI'96"},{"key":"CIT0026","unstructured":"Li, R. and Pereira, L. M.Temporal reasoning with abductive logic programming13\u201317. Proc. of ECAI'96, 1996"},{"key":"CIT0027","volume-title":"Representing and Reasoning about Concurrent Actions with Abductive Logic Programs, Technical Report, Department of Computer Science, Universidade Nova de Lisboa","author":"Li R.","year":"1996"},{"key":"CIT0028","volume-title":"Knowledge-Based Situated Agents among Us","author":"Li R.","year":"1996"},{"key":"CIT0029","unstructured":"Liberatore, P. and Schaerf, M.The complexity of model checking for belief revision and update556\u2013561. Proc. of AAAI'96"},{"key":"CIT0030","unstructured":"McCarthy, J. and Hayes, P. J. 1969.Some philosophical problems from the stand-point of artificial intelligenceEdited by: Meitzer, B. and Michie, D. 463\u2013502. Machine Intelligence, 4, Edinburgh, p"},{"key":"CIT0031","volume-title":"Belief revision and default reasoning: Syntax-based approaches","author":"Nebel B.","year":"1991"},{"key":"CIT0032","unstructured":"Pereira, L. M., Alferes, J. J. and Apar\u00edcio, J. N. 1991.Nonmonotonic Reasoning with Well Founded SemanticsEdited by: Furukawa, K. 475\u2013489. MIT Press. Proc. of 8th ICLP"},{"key":"CIT0033","unstructured":"Pereira, L. M. and Alferes, J. J. 1992.Well-founded semantics for logic programs with explicit negationEdited by: Neumann, B. 102\u2013106. European Conf. on Artificial Intelligence, John Wiley & Sons"},{"issue":"2","key":"CIT0034","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"Pereira L. M.","year":"1993","journal-title":"Journal of Logic Programming"},{"key":"CIT0035","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"Reiter R.","year":"1987","journal-title":"Artificial Intelligence"},{"key":"CIT0036","doi-asserted-by":"crossref","unstructured":"Reiter, R. 1989.Towards a logical reconstruction of relational database theoryEdited by: Mylopolous, J. and Brodie, M. 301\u2013326. Readings in Artificial Intelligence and Databases, Morgan Kaufmann Publishers, Inc.","DOI":"10.1016\/B978-0-934613-53-8.50025-X"},{"key":"CIT0037","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"Reiter R.","year":"1993","journal-title":"Artificial Intelligence"},{"key":"CIT0038","volume-title":"Variants of the event calculus, Proc. of the ICLP95","author":"Sadri F.","year":"1995"},{"key":"CIT0039","unstructured":"Satoh, K. 1988.Nonmonotonic reasoning by minimal belief revision, In: Proc. of the International Conf. on Fifth Generation Computer Systems455\u2013462."},{"key":"CIT0040","unstructured":"Satoh, K. and Iwayama, N. 1992.A query evaluation method for abductive logic programmingEdited by: Apt, K. R. 671\u2013685. Logic Programming: Proc. of 1992 Int'l Joint Conference and Symposium"},{"key":"CIT0041","volume-title":"Reasoning about action using a possible models approach, AAAI'88","author":"Winslett M.","year":"1988"},{"key":"CIT0042","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K. and Schlipf, J. S. 1991.The ivell-founded semantics for general logic programsVol. 38, 620\u2013650. J. ACM","DOI":"10.1145\/116825.116838"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:08:52Z","timestamp":1561792132000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1997.10510901"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":42,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["10.1080\/11663081.1997.10510901"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1997.10510901","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}