{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:43Z","timestamp":1725485563647},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000105"},{"type":"electronic","value":"9783540360780"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36078-6_8","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:48:36Z","timestamp":1180651716000},"page":"115-129","source":"Crossref","is-referenced-by-count":4,"title":["An Extension of BDICTL with Functional Dependencies and Components"],"prefix":"10.1007","author":[{"given":"Mehdi","family":"Dastani","sequence":"first","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"8_CR1","unstructured":"C. Alchourr\u00f3n. Philosophical foundations of deontic logic and the logic of defeasible conditionals. In J.-J. Meyer and R. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, pages 43\u201384. John Wiley & Sons, 1993."},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0169-023X(01)00058-1","volume":"41","author":"F. Brazier","year":"2002","unstructured":"F. Brazier, C. Jonker, and J. Treur. Principles of component-based design of intelligent agents. Data and Knowledge Engineering, 41:1\u201328, 2002.","journal-title":"Data and Knowledge Engineering"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"J. Broersen, M. Dastani, Z. Huang, J. Hulstijn, and L. van der Torre. The BOID architecture: Conflicts between beliefs, obligations, intentions and desires. In Proceedings of he Fifth International Conference on Autonomous Agents (AA2001), pages 9\u201316. ACM Press, 2001.","DOI":"10.1145\/375735.375766"},{"key":"8_CR4","unstructured":"J. Broersen, M. Dastani, J. Hulstijn, and L. van der Torre. Goal generation in the BOID architecture. Cognitive Science Quarterly, to appear. Special issue on Desires, goals, intentions, and values: Computational architectures."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"J. Broersen, M. Dastani, and L. van der Torre. Realistic desires. Journal of Applied Non-Classical Logics, To appear.","DOI":"10.3166\/jancl.12.287-308"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. Cohen","year":"1990","unstructured":"P. Cohen and H. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of The First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT2002)","author":"M. Dastani","year":"2002","unstructured":"M. Dastani and L. van der Torre. Specifying the merging of desires into goals in the context of beliefs. In Proceedings of The First Eurasian Conference on Advances in Information and Communication Technology (EurAsia ICT2002), LNCS. Springer, 2002."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1017588004618","volume":"11","author":"J. Engelfriet","year":"2002","unstructured":"J. Engelfriet, C.M. Jonker, and J. Treur. Compositional verification of multi-agent systems in temporal multi-epistemic logic. Journal of Logic, Language and Information, 11:195\u2013225, 2002.","journal-title":"Journal of Logic, Language and Information"},{"key":"8_CR9","unstructured":"M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677\u2013682, 1987."},{"key":"8_CR10","unstructured":"M. Georgeff and A. Rao. The semantics of intention maintenance for rational agents. In Proceedings of 14th Int. Joint Conference on Artificial Intelligence (IJCAI-95), pages 704\u2013710, 1995."},{"issue":"3","key":"8_CR11","first-page":"263","volume":"42","author":"H. Levesque","year":"1990","unstructured":"H. Levesque. All I know: a study in auto-epistemic logic. ArticialIntelligence, 42(3):263\u2013309, 1990.","journal-title":"ArticialIntelligence"},{"key":"8_CR12","unstructured":"D. Makinson. On a fundamental problem of deontic logic. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems. New Studies on Deontic Logic and Computer Science, pages 29\u201354. IOS Press, 1999."},{"key":"8_CR13","unstructured":"A. Rao and M. Georgeff. Modeling rational agents within a BDI architecture. In R. Fikes and E. Sandewall, editors, Proceedings of the Second Conference on Knowledge Representation and Reasoning, pages 473\u2013484. Morgan Kaufman, 1991."},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A. Rao","year":"1998","unstructured":"A. Rao and M. Georgeff. Decision procedures for BDI logics. Journal of Logic and Computation, 8:293\u2013342, 1998.","journal-title":"Journal of Logic and Computation"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1010076027707","volume":"3","author":"K. Schild","year":"2000","unstructured":"K. Schild. On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi agent Systems, 3:259\u2013283, 2000.","journal-title":"Autonomous Agents and Multi agent Systems"},{"key":"8_CR16","unstructured":"R. Thomason. Desires and defaults: A framework for planning with inferred goals. In Proceedings of Seventh International Conference on Knowledge Representation and Reasoning (KR\u20192000), pages 702\u2013713, 2000."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"J. Treur. Declarative functionality descriptions of interactive reasoning modules. In H. Boley and M.M. Richter, editors, Processing Declarative Knowledge, volume 567 of LNAI, pages 221\u2013236. Springer, 1991.","DOI":"10.1007\/BFb0013533"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1002\/int.10043","volume":"17","author":"J. Treur","year":"2002","unstructured":"J. Treur. Semantic formalisation of interactive reasoning functionality. International Journal of Intelligent Systems, 17:645\u2013686, 2002. Revised and extended version of [17].","journal-title":"International Journal of Intelligent Systems"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36078-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:17:59Z","timestamp":1556450279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36078-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000105","9783540360780"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-36078-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}