{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T05:32:56Z","timestamp":1770615176129,"version":"3.49.0"},"reference-count":94,"publisher":"Elsevier","isbn-type":[{"value":"9780444516909","type":"print"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80021-8","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"991-1029","source":"Crossref","is-referenced-by-count":10,"title":["18 Intelligent agents and common sense reasoning"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1570-2464(07)80021-8_bib1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: Partial meet con- traction functions and their associated revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80021-8_bib2","series-title":"Proc. of the 1st Int. workshop on Formal Approaches to Multi-Agent Systems (FAMAS'03)","first-page":"35","article-title":"Rational teams: Logical aspects of multi- agent systems","author":"Aldewereld","year":"2003"},{"key":"10.1016\/S1570-2464(07)80021-8_bib3","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","article-title":"A reduction of deontic logic to alethic modal logic","volume":"67","author":"Anderson","year":"1958","journal-title":"Mind"},{"key":"10.1016\/S1570-2464(07)80021-8_bib4","series-title":"Conditionals: From Philosophy to Computer Science","first-page":"103","article-title":"Commonsense entailment: A conditional logic for some generics","author":"Asher","year":"1995"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015057926707","article-title":"Combinations of modal logics","volume":"17","author":"Bennett","year":"2002","journal-title":"Artificial Intelligence Review"},{"key":"10.1016\/S1570-2464(07)80021-8_bib6","series-title":"Proceedings from Semantics and Linguistic Theory V","first-page":"19","article-title":"Normality in update semantics","author":"Blutner","year":"1995"},{"key":"10.1016\/S1570-2464(07)80021-8_bib7","series-title":"Proc. 2nd Int. Joint Conf. on Autonomous Agents and Multi Agent Systems (AAMAS'03)","first-page":"409","article-title":"Modelchecking agentspeak","author":"Bordini","year":"2003"},{"key":"10.1016\/S1570-2464(07)80021-8_bib8","series-title":"Intentions, Plans and Practical Reason","author":"Bratman","year":"1987"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.jal.2004.01.007","article-title":"Action negation and alternative reductions for dynamic deontic logics","volume":"2","author":"Broersen","year":"2004","journal-title":"J. of Applied Logic"},{"issue":"3\u20134","key":"10.1016\/S1570-2464(07)80021-8_bib10","first-page":"428","article-title":"Goal generation in the boid architecture","volume":"2","author":"Broersen","year":"2002","journal-title":"Cognitive Science Quarterly"},{"key":"10.1016\/S1570-2464(07)80021-8_bib11","series-title":"Proc. 5th Int. Conf. on Autonomous Agents (AA2001)","first-page":"9","article-title":"The boid architecture: Conflicts between beliefs, obligations, intentions and desires","author":"Broersen","year":"2001"},{"key":"10.1016\/S1570-2464(07)80021-8_bib12","series-title":"Proc. ECSQARU'01","first-page":"568","article-title":"Resolving conflicts between beliefs, obligations, intentions and desires","author":"Broersen","year":"1997"},{"issue":"2\u20133","key":"10.1016\/S1570-2464(07)80021-8_bib13","first-page":"107","article-title":"A fixed-point characterization of a deontic logic of regular action","volume":"48","author":"Broersen","year":"2001","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib14","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","article-title":"Quick completeness proofs for some logics of conditionals","volume":"22","author":"Burgess","year":"1981","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80021-8_bib15","first-page":"203","article-title":"Deontic logic and contrary-to-duties","volume":"vol. 8","author":"Carmo","year":"2003"},{"key":"10.1016\/S1570-2464(07)80021-8_bib16","series-title":"New Studies in Deontic Logic","first-page":"37","article-title":"The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop","author":"Castaneda","year":"1981"},{"key":"10.1016\/S1570-2464(07)80021-8_bib17","series-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"issue":"3","key":"10.1016\/S1570-2464(07)80021-8_bib18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","article-title":"Intention is choice with commitment","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1570-2464(07)80021-8_bib19","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2216075","article-title":"Teamwork","volume":"24","author":"Cohen","year":"1991","journal-title":"Nous"},{"key":"10.1016\/S1570-2464(07)80021-8_bib20","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1023\/A:1004295308014","article-title":"A system of dynamic modal logic","volume":"27","author":"de Rijke","year":"1998","journal-title":"J. of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80021-8_bib21","series-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 2: Reasoning with Actual and Potential Contradictions","first-page":"135","article-title":"Conditional logics for defeasible logics","author":"Delgrande","year":"1998"},{"issue":"3\u20134","key":"10.1016\/S1570-2464(07)80021-8_bib22","first-page":"407","article-title":"From desires, obligations and norms to goals","volume":"2","author":"Dignum","year":"2002","journal-title":"Cognitive Science Quarterly"},{"key":"10.1016\/S1570-2464(07)80021-8_bib23","series-title":"Proc. 2nd Int. Workshop on Deontic Logic in Computer Science (DEON'94)","first-page":"107","article-title":"Contextual permission: A solution to the free choice paradox","author":"Dignum","year":"1994"},{"key":"10.1016\/S1570-2464(07)80021-8_bib24","series-title":"Proc. ECAI'94 Workshop \u201cArtificial Normative Reasoning\u201d)","first-page":"79","article-title":"A dynamic logic for reasoning about sub-ideal states","author":"Dignum","year":"1994"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib25","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF00370675","article-title":"Free choice and contextually permitted actions","volume":"57","author":"Dignum","year":"1996","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80021-8_bib26","series-title":"Semantics for Concurrency, Leicester 1990","first-page":"61","article-title":"Negations of transactions and their use in the specification of dynamic and deontic integrity constraints","author":"Dignum","year":"1990"},{"key":"10.1016\/S1570-2464(07)80021-8_bib27","series-title":"Proc. 4th Int. Conf. on Multi-Agent Systems (ICMAS-2000)","first-page":"111","article-title":"Towards socially sophisticated bdi agents","author":"Dignum","year":"1996"},{"key":"10.1016\/S1570-2464(07)80021-8_bib28","series-title":"Intelligent Agents III: Agents Theories, Ar- chitectures, and Languages (ATAL-96)","first-page":"205","article-title":"Modelling social agents: Communication as actions","author":"Dignum","year":"1997"},{"issue":"3","key":"10.1016\/S1570-2464(07)80021-8_bib29","doi-asserted-by":"crossref","first-page":"271","DOI":"10.3233\/FUN-2002-51302","article-title":"Collective intentions","volume":"51","author":"Dunin-Kceplicz","year":"1902","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1570-2464(07)80021-8_bib30","series-title":"Intelligent Agents VIII","first-page":"348","article-title":"Formalizing a language for institutions and norms","author":"Esteva","year":"1984"},{"key":"10.1016\/S1570-2464(07)80021-8_bib31","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S1570-2464(07)80021-8_bib32","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1093\/mind\/LXXXIV.1.451","article-title":"Critical review of D. Lewis's 'Counterfactuals'","volume":"84","author":"Fine","year":"1975","journal-title":"Mind"},{"key":"10.1016\/S1570-2464(07)80021-8_bib33","series-title":"Temporal Logic \u2014 Proceedings of the First International Conference","first-page":"480","article-title":"A survey of concurrent metatem \u2014 the language and its applications","author":"Fischer","year":"1994"},{"key":"10.1016\/S1570-2464(07)80021-8_bib34","series-title":"Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems","first-page":"439","article-title":"Theoretical foundations for non-monotonic reasoning in expert systems","author":"Gabbay","year":"1994"},{"key":"10.1016\/S1570-2464(07)80021-8_bib35","series-title":"Knowledge in Flux","author":"G\u00e4rdenfors","year":"1988"},{"key":"10.1016\/S1570-2464(07)80021-8_bib36","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4","first-page":"35","article-title":"Belief revision","author":"G\u00e4rdenfors","year":"1996"},{"key":"10.1016\/S1570-2464(07)80021-8_bib37","series-title":"Mathematical Logic, Proc. of Heyting'88","first-page":"311","article-title":"A note on boolean modal logic","author":"Gargov","year":"2001"},{"key":"10.1016\/S1570-2464(07)80021-8_bib38","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","article-title":"Counterfactuals","volume":"30","author":"Ginsberg","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80021-8_bib39","series-title":"Proc. 10th Int. Conf. on AI & Law (ICAIL'05)","first-page":"1","article-title":"Modal logic investigations in the semantics of counts-as","author":"Grossi","year":"2005"},{"key":"10.1016\/S1570-2464(07)80021-8_bib40","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","article-title":"Two modellings for theory change","volume":"17","author":"Grove","year":"1988","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"10.1016\/S1570-2464(07)80021-8_bib41","first-page":"175","article-title":"First-order conditional logic for default reasoning revisited","volume":"1","author":"Halpern","year":"2000","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1570-2464(07)80021-8_bib42","series-title":"First-Order Dynamic Logic","author":"Harel","year":"1979"},{"key":"10.1016\/S1570-2464(07)80021-8_bib43","series-title":"Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic","first-page":"497","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"key":"10.1016\/S1570-2464(07)80021-8_bib44","series-title":"Proc. IEEE Symp. on Logic in Computer Science (LICS'94)","first-page":"164","article-title":"Complexity transfer for modal logic","author":"Hemaspaandra","year":"1994"},{"issue":"4","key":"10.1016\/S1570-2464(07)80021-8_bib45","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","article-title":"Agent programming in 3apl","volume":"2","author":"Hindriks","year":"1999","journal-title":"Int. J. of Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/S1570-2464(07)80021-8_bib46","series-title":"(Proc. First Goddard Workshop on) Formal Approaches to Agent-Based Systems (FAABS 2000)","first-page":"33","article-title":"Verification within the karo agent theory","author":"Hustadt","year":"2001"},{"key":"10.1016\/S1570-2464(07)80021-8_bib47","first-page":"429","article-title":"A formal characterization of\u2014institutional power","volume":"3","author":"Jones","year":"1996","journal-title":"Journal of the IGPL"},{"key":"10.1016\/S1570-2464(07)80021-8_bib48","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/BF00248849","article-title":"Partition and revision: the semantics of counterfactuals","volume":"10","author":"Kratzer","year":"1981","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib49","first-page":"3","article-title":"An investigation of the lumps of thought","volume":"87","author":"Kratzer","year":"1989","journal-title":"Linguistics and Philosophy"},{"key":"10.1016\/S1570-2464(07)80021-8_bib50","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(88)90024-2","article-title":"Knowledge, belief, and time","volume":"58","author":"Kraus","year":"1988","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib51","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"14","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80021-8_bib52","series-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"10.1016\/S1570-2464(07)80021-8_bib53","doi-asserted-by":"crossref","first-page":"455","DOI":"10.2307\/2215339","article-title":"Counterfactual dependence and time's arrow","volume":"13","author":"Lewis","year":"1979","journal-title":"No\u00fbs"},{"key":"10.1016\/S1570-2464(07)80021-8_bib54","series-title":"Handbook of Philosophical Logic (2nd edition), vol. 10","first-page":"1","article-title":"Modal epistemic and doxastic logic","author":"Ch. Meyer","year":"2003"},{"key":"10.1016\/S1570-2464(07)80021-8_bib55","series-title":"Proc. 16th Eur. Conf. on Artif. Intell. (ECAI'04))","first-page":"303","article-title":"Reasoning about emotional agents","author":"Ch. Meyer","year":"2004"},{"key":"10.1016\/S1570-2464(07)80021-8_bib56","series-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","year":"1995"},{"key":"10.1016\/S1570-2464(07)80021-8_bib57","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","article-title":"A logical approach to the dynamics of commitments","volume":"113","author":"Ch. Meyer","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80021-8_bib58","series-title":"Logics for Databases and Information Systems","first-page":"71","article-title":"The role of deontic logic in the specification of information systems","author":"Meyer","year":"1998"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib59","first-page":"109","article-title":"A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic","volume":"29","author":"Meyer","year":"1988","journal-title":"Notre Dame J. of Formal Logic"},{"key":"10.1016\/S1570-2464(07)80021-8_bib60","series-title":"Defeasible Deontic Logic","author":"Nute","year":"1997"},{"key":"10.1016\/S1570-2464(07)80021-8_bib61","series-title":"Subjunctive Reasoning","author":"Pollock","year":"1976"},{"key":"10.1016\/S1570-2464(07)80021-8_bib62","series-title":"KR'91: Principles of Knowledge Representation and Reasoning","first-page":"473","article-title":"Modeling rational agents within a BDI-architecture","author":"Rao","year":"1991"},{"key":"10.1016\/S1570-2464(07)80021-8_bib63","series-title":"Agents Breaking Away","first-page":"42","article-title":"Agentspeak(l): Bdi agents speak out in a logical computable language","author":"Rao","year":"1996"},{"issue":"3","key":"10.1016\/S1570-2464(07)80021-8_bib64","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","article-title":"Decision procedures for bdi logics","volume":"8","author":"Rao","year":"1998","journal-title":"J. of Logic and Computation"},{"issue":"1\u20132","key":"10.1016\/S1570-2464(07)80021-8_bib65","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\/S1570-2464(07)80021-8_bib66","series-title":"JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th birthday","first-page":"98","article-title":"Moody conditionals: Hamburgers, switches, and the tragic death of an american president","author":"Rott","year":"1999"},{"key":"10.1016\/S1570-2464(07)80021-8_bib67","series-title":"Handbook of Logic in Artificial Intelligence and Logic Programming Vol.4 (Epistemic and Temporal Reasoning","first-page":"439","article-title":"Nonmonotonic temporal reasoning","author":"Sandewall","year":"1994"},{"issue":"4","key":"10.1016\/S1570-2464(07)80021-8_bib68","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1093\/jigpal\/3.4.535","article-title":"Belief revision from the point of view of doxastic logic","volume":"3","author":"Segerberg","year":"1995","journal-title":"Bulletin of the IGPL"},{"key":"10.1016\/S1570-2464(07)80021-8_bib69","series-title":"Frontiers in belief revision","first-page":"57","article-title":"The basic dynamic doxastic logic of agm","author":"Segerberg","year":"2001"},{"issue":"1","key":"10.1016\/S1570-2464(07)80021-8_bib70","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","article-title":"Agent-oriented programming","volume":"60","author":"Shoham","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80021-8_bib71","series-title":"Proc. 13th Eur. Conf. on Artif. Intell. (ECAI'98))","first-page":"303","article-title":"The intentions of teams: Team structure, endodeixis, and exodeixis","author":"Singh","year":"1998"},{"key":"10.1016\/S1570-2464(07)80021-8_bib72","series-title":"Studies in Logical Theory","first-page":"98","article-title":"A theory of conditionals","author":"Stalnaker","year":"1968"},{"key":"10.1016\/S1570-2464(07)80021-8_bib73","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00411887","article-title":"A counterexample to the stalnaker-lewis analysis of counterfactuals","volume":"29","author":"Tichy","year":"1976","journal-title":"Philosophical Studies"},{"key":"10.1016\/S1570-2464(07)80021-8_bib74","series-title":"Logic Colloquium '87","first-page":"331","article-title":"Semantic parallels in natural language and computation","author":"van Benthem","year":"1989"},{"key":"10.1016\/S1570-2464(07)80021-8_bib75","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1093\/logcom\/3.2.173","article-title":"Systems for knowledge and belief","volume":"33","author":"van der Hoek","year":"1993","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80021-8_bib76","series-title":"Formalizing the Dynamics of Information","first-page":"51","article-title":"Formalizing potential of agents: The karo framework revisited","author":"van der Hoek","year":"2000"},{"key":"10.1016\/S1570-2464(07)80021-8_bib77","series-title":"Foundations of Rational Agency","first-page":"133","article-title":"An integrated modal approach to rational agents","author":"van der Hoek","year":"1998"},{"issue":"3","key":"10.1016\/S1570-2464(07)80021-8_bib78","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","article-title":"The dynamic logic of permission","volume":"6","author":"van der Meyden","year":"1996","journal-title":"J. of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80021-8_bib79","article-title":"Modal Logics for Rational agents","author":"van Linder","year":"1996"},{"key":"10.1016\/S1570-2464(07)80021-8_bib80","series-title":"Knowledge and Belief in Philosophy and Artificial Intelligence","first-page":"103","article-title":"Actions that make you change your mind: Belief revision in an agent-oriented setting","author":"van Linder","year":"1995"},{"key":"10.1016\/S1570-2464(07)80021-8_bib81","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1008242530244","article-title":"Seeing is believing (and so are hearing and jumping)","volume":"6","author":"van Linder","year":"1997","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80021-8_bib82","series-title":"Proceedings CLIMA V (5th Int. Workshop on Computaional Logic in Multi-Agent Systems)","first-page":"196","article-title":"Dynamic logic for plan revision in intel- ligent agents","author":"van Riemsdijk","year":"2001"},{"key":"10.1016\/S1570-2464(07)80021-8_bib83","series-title":"Amsterdam Papers in Formal Grammar. Proceedings of the 1st Amsterdam Colloquium","first-page":"248","article-title":"Prejudices, presuppositions, and the theory of counterfactuals","author":"Veltman","year":"1976"},{"key":"10.1016\/S1570-2464(07)80021-8_bib84","article-title":"Logics for Conditionals","author":"Veltman","year":"1985"},{"key":"10.1016\/S1570-2464(07)80021-8_bib85","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF00248150","article-title":"Defaults in update semantics","volume":"25","author":"Veltman","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"10.1016\/S1570-2464(07)80021-8_bib86","first-page":"1880","article-title":"Making counterfactual assumptions","author":"Veltman","year":"2005","journal-title":"Journal of Semantics"},{"issue":"237","key":"10.1016\/S1570-2464(07)80021-8_bib87","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","article-title":"Deontic logic","volume":"60","author":"von Wright","year":"1951","journal-title":"Mind"},{"key":"10.1016\/S1570-2464(07)80021-8_bib88","doi-asserted-by":"crossref","DOI":"10.1163\/24689300-00101017","article-title":"A new system of deontic logic","volume":"1","author":"von Wright","year":"1964","journal-title":"Danish Yearbook of Philosophy"},{"key":"10.1016\/S1570-2464(07)80021-8_bib89","series-title":"Logics in AI (Proceedings of JELIA '90)","first-page":"499","article-title":"The logic of objective knowledge and rational belief","author":"Voorbraak","year":"1991"},{"key":"10.1016\/S1570-2464(07)80021-8_bib90","article-title":"As Far as I Know: Epistemic Logic and Uncertainty","author":"Voorbraak","year":"1993"},{"issue":"2","key":"10.1016\/S1570-2464(07)80021-8_bib91","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0169-023X(89)90038-4","article-title":"Specifying dynamic and deontic constraints","volume":"4","author":"Wieringa","year":"1989","journal-title":"Data & Knowledge Engineering"},{"key":"10.1016\/S1570-2464(07)80021-8_bib92","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01556356","article-title":"Actors, actions, and initiative in normative system specification","volume":"7","author":"Wieringa","year":"1993","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1570-2464(07)80021-8_bib93","series-title":"Reasoning about Rational Agents","author":"Wooldridge","year":"2000"},{"key":"10.1016\/S1570-2464(07)80021-8_bib94","series-title":"Agent-Oriented Software Engineering","first-page":"1","article-title":"Agent-oriented software engineering: The state of the art","author":"Wooldridge","year":"2001"}],"container-title":["Studies in Logic and Practical Reasoning","Handbook of Modal Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800218?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800218?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:13:18Z","timestamp":1761606798000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":94,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80021-8","relation":{},"ISSN":["1570-2464"],"issn-type":[{"value":"1570-2464","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}