{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T08:14:21Z","timestamp":1758874461768},"reference-count":50,"publisher":"Elsevier BV","issue":"8-9","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":1939,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1016\/j.artint.2007.11.005","type":"journal-article","created":{"date-parts":[[2007,11,27]],"date-time":"2007-11-27T20:39:15Z","timestamp":1196195955000},"page":"1045-1063","source":"Crossref","is-referenced-by-count":4,"title":["Active logic semantics for a single agent in a static world"],"prefix":"10.1016","volume":"172","author":[{"given":"Michael L.","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gomaa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Grant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Don","family":"Perlis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.artint.2007.11.005_bib001","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a general theory of action and time","volume":"23","author":"Allen","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib002","unstructured":"M.L. Anderson, W. Gomaa, J. Grant, D. Perlis, On the reasoning of real-word agents: Toward a semantics for active logic, in: Proceedings of the 7th Annual Symposium on the Logical Formalization of Commonsense Reasoning, Dresden University Technical Report (ISSN 1430-211X), 2005"},{"key":"10.1016\/j.artint.2007.11.005_bib003","first-page":"123","article-title":"Reasoning with limited resources: Active logics expressed as labeled deductive systems","author":"Asker","year":"2005","journal-title":"Bulletin of the Polish Academy of Sciences"},{"key":"10.1016\/j.artint.2007.11.005_bib004","unstructured":"F. Bacchus, A. Grove, J. Halpern, D. Koller, Statistical foundations for default reasoning, in: IJCAI, 1993"},{"key":"10.1016\/j.artint.2007.11.005_bib005","series-title":"Frontiers of Paraconsistent Logic","author":"Batens","year":"2000"},{"key":"10.1016\/j.artint.2007.11.005_bib006","unstructured":"D. Batens, J. Meheus, Recent results by the inconsistency-adaptive labourers, Technical report, Universiteit Gent, 2005"},{"key":"10.1016\/j.artint.2007.11.005_bib007","series-title":"Modern Uses of Multiple-Valued Logics","first-page":"8","article-title":"A useful four-valued logic","author":"Belnap","year":"1977"},{"key":"10.1016\/j.artint.2007.11.005_bib008","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1023\/A:1004987830832","article-title":"Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study, part 1: The flat case","volume":"58","author":"Benferhat","year":"1997","journal-title":"Studia Logica"},{"key":"10.1016\/j.artint.2007.11.005_bib009","doi-asserted-by":"crossref","DOI":"10.3233\/FI-1995-232342","article-title":"An approach to context-based default reasoning","author":"Besnard","year":"1995","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.1016\/j.artint.2007.11.005_bib010","first-page":"80","article-title":"I lied about the trees or, defaults and definitions in knowledge representation","volume":"6","author":"Brachman","year":"1985","journal-title":"AI Magazine"},{"key":"10.1016\/j.artint.2007.11.005_bib011","series-title":"The Frame Problem in Artificial Intelligence","year":"1987"},{"key":"10.1016\/j.artint.2007.11.005_bib012","series-title":"Paraconsistency: The Logical Way to the Inconsistent","author":"Carnielli","year":"2002"},{"issue":"2","key":"10.1016\/j.artint.2007.11.005_bib013","first-page":"111","article-title":"Paraconsistent logic in a historical perspective","volume":"150","author":"da Costa","year":"1995","journal-title":"Logique & Analyse"},{"issue":"1","key":"10.1016\/j.artint.2007.11.005_bib014","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","article-title":"An approach to default reasoning based on first-order conditional logic: Revised report","volume":"36","author":"Delgrande","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib015","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib016","unstructured":"J. Doyle, A model for deliberation action, and introspection, PhD thesis, Massachusetts Institute of Technology, 1980"},{"key":"10.1016\/j.artint.2007.11.005_bib017","unstructured":"J. Elgot-Drapkin, Step-logic: Reasoning situated in time, PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1988"},{"issue":"1","key":"10.1016\/j.artint.2007.11.005_bib018","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1080\/09528139008953715","article-title":"Reasoning situated in time I: Basic concepts","volume":"2","author":"Elgot-Drapkin","year":"1990","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib019","unstructured":"D. Etherington, A semantics for default logic, in: Proceedings of the 10th Int'l Joint Conference on Artificial Intelligence, Milan, Italy, 1987, pp. 495\u2013498"},{"key":"10.1016\/j.artint.2007.11.005_bib020","series-title":"Labelled Deductive Systems","author":"Gabbay","year":"1996"},{"key":"10.1016\/j.artint.2007.11.005_bib021","series-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","first-page":"137","article-title":"Restricted access logics for inconsistent information","author":"Gabbay","year":"1993"},{"key":"10.1016\/j.artint.2007.11.005_bib022","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","article-title":"Nonmonotonic causal theories","volume":"153","author":"Giunchiglia","year":"2004","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib023","series-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors","year":"1988"},{"key":"10.1016\/j.artint.2007.11.005_bib024","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1023\/A:1005231601157","article-title":"Applications of paraconsistency in data and knowledge bases","volume":"125","author":"Grant","year":"2000","journal-title":"Synthese"},{"key":"10.1016\/j.artint.2007.11.005_bib025","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","article-title":"Nonmonotonic logic and temporal projection","volume":"33","author":"Hanks","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib026","unstructured":"J. Hovold, On a semantics for active logic, MA Thesis, Department of Computer Science, Lund University, 2005"},{"key":"10.1016\/j.artint.2007.11.005_bib027","unstructured":"H.O. Ismail, S.C. Shapiro, Two problems with reasoning and acting in time, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference, 2000"},{"key":"10.1016\/j.artint.2007.11.005_bib028","series-title":"A Deduction Model of Belief","author":"Konolige","year":"1986"},{"key":"10.1016\/j.artint.2007.11.005_bib029","series-title":"Proceedings of the National Conference on Artificial Intelligence","first-page":"198","article-title":"A logic of implicit and explicit belief","author":"Levesque","year":"1984"},{"key":"10.1016\/j.artint.2007.11.005_bib030","series-title":"Proceedings of the Symposium on the Mechanization of Thought Processes","article-title":"Programs with common sense","author":"McCarthy","year":"1958"},{"key":"10.1016\/j.artint.2007.11.005_bib031","series-title":"Machine Intelligence","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"McCarthy","year":"1969"},{"key":"10.1016\/j.artint.2007.11.005_bib032","unstructured":"M. Miller, A view of one's past and other aspects of reasoned change in belief, PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 1993"},{"key":"10.1016\/j.artint.2007.11.005_bib033","unstructured":"M. Miller, D. Perlis, Presentations and this and that: logic in action, in: Proceedings of the 15th Annual Conference of the Cognitive Science Society, Boulder, Colorado, 1993"},{"issue":"1","key":"10.1016\/j.artint.2007.11.005_bib034","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/logcom\/7.1.109","article-title":"How to (plan to) meet a deadline between now and then","volume":"7","author":"Nirkhe","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.artint.2007.11.005_bib035","unstructured":"M. Nirkhe, D. Perlis, S. Kraus, Reasoning about change in a changing world, in: Proceedings of FLAIRS-93, 1993"},{"key":"10.1016\/j.artint.2007.11.005_bib036","first-page":"345","article-title":"Intentionality and defaults","volume":"3","author":"Perlis","year":"1990","journal-title":"Internat. J. Expert Systems"},{"key":"10.1016\/j.artint.2007.11.005_bib037","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1002\/int.4550060406","article-title":"Stop the world!\u2014I want to think!","volume":"6","author":"Perlis","year":"1991","journal-title":"Internat. J. Intelligent Systems"},{"key":"10.1016\/j.artint.2007.11.005_bib038","doi-asserted-by":"crossref","unstructured":"A. Pnueli, The temporal logic of programs, in: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977, pp. 46\u201367","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.1016\/j.artint.2007.11.005_bib039","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","article-title":"A logical framework for default reasoning","volume":"36","author":"Poole","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib040","series-title":"Handbook of Philosophical Logic","first-page":"287","article-title":"Paraconsistent logic","author":"Priest","year":"2002"},{"key":"10.1016\/j.artint.2007.11.005_bib041","series-title":"Paraconsistent Logic: Essays on the Inconsistent","author":"Priest","year":"1989"},{"key":"10.1016\/j.artint.2007.11.005_bib042","unstructured":"G. Priest, K. Tanaka, Paraconsistent logic, in: E.N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy, Summer 2004"},{"key":"10.1016\/j.artint.2007.11.005_bib043","series-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"10.1016\/j.artint.2007.11.005_bib044","series-title":"Papers on Time and Tense","author":"Prior","year":"1968"},{"key":"10.1016\/j.artint.2007.11.005_bib045","series-title":"Time and Modality","author":"Prior","year":"1957"},{"key":"10.1016\/j.artint.2007.11.005_bib046","unstructured":"K. Purang, Systems that detect and repair their own mistakes, PhD thesis, Department of Computer Science, University of Maryland, College Park, Maryland, 2001"},{"issue":"1, 2","key":"10.1016\/j.artint.2007.11.005_bib047","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.artint.2007.11.005_bib048","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","article-title":"On inference from inconsistent premises","volume":"1","author":"Rescher","year":"1970","journal-title":"Theory and Decision"},{"key":"10.1016\/j.artint.2007.11.005_bib049","series-title":"Cognitive Robotics: Papers from the 1998 AAAI Fall Symposium","first-page":"136","article-title":"Embodied cassie","author":"Shapiro","year":"1998"},{"key":"10.1016\/j.artint.2007.11.005_bib050","series-title":"Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language","first-page":"175","article-title":"Sneps: A logic for natural language understanding and commonsense reasoning","author":"Shapiro","year":"2000"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0004370207001993?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0004370207001993?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T22:00:17Z","timestamp":1588111217000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370207001993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":50,"journal-issue":{"issue":"8-9","published-print":{"date-parts":[[2008,5]]}},"alternative-id":["S0004370207001993"],"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1016\/j.artint.2007.11.005","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}