{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:26:40Z","timestamp":1768555600093,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540305538","type":"print"},{"value":"9783540316503","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591191_43","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T09:44:25Z","timestamp":1132652665000},"page":"621-636","source":"Crossref","is-referenced-by-count":15,"title":["Programming Cognitive Agents in Defeasible Logic"],"prefix":"10.1007","author":[{"given":"Mehdi","family":"Dastani","sequence":"first","affiliation":[]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: A flexible framework for defeasible logics. In: Proc. AAAI-2000. AAAI\/MIT Press (2000)"},{"key":"43_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-30122-6_10","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"N. Bassiliades","year":"2004","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.: DR-DEVICE: A defeasible logic system for the Semantic Web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol.\u00a03208, pp. 134\u2013148. Springer, Heidelberg (2004)"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Bratman, M., Israel, D., Pollack, M.: Plans and resource-bounded practical reasoning. Computational Intelligence (1988)","DOI":"10.1111\/j.1467-8640.1988.tb00284.x"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Brazier, F.M.T., Dunin Keplicz, B., Jennings, N., Treur, J.: Desire: Modelling multi-agent systems in a compositional formal framework. Int. J. Coop. Inf. Syst. (1997)","DOI":"10.1142\/S0218843097000069"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. In: Cog. Sc. Quart. (2002)","DOI":"10.1145\/375735.375766"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F., Dignum, F., Meyer, J.-J.: Programming agent deliberation. In: Proc. AAMAS 2003 (2003)","DOI":"10.1145\/860575.860592"},{"key":"43_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/11589990_72","volume-title":"AI 2005: Advances in Artificial Intelligence","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., Governatori, G., Rotolo, A., van der Torre, L.: Preferences of agents in defeasible logic. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol.\u00a03809, pp. 695\u2013704. Springer, Heidelberg (2005)"},{"key":"43_CR8","volume-title":"Proc. AAMAS 2004","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van der Torre, L.W.N.: Programming BOID-plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In: AAMAS 2004. ACM, New York (2004)"},{"key":"43_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-25936-7_6","volume-title":"Programming Multi-Agent Systems","author":"M. Dastani","year":"2004","unstructured":"Dastani, M., van Riemsdijk, B., Dignum, F., Meyer, J.-J.: A programming language for cognitive agents: Goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 111\u2013130. Springer, Heidelberg (2004)"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. (2005)","DOI":"10.1142\/S0218843005001092"},{"key":"43_CR11","volume-title":"Proc. \u0394eon 2002","author":"G. Governatori","year":"2002","unstructured":"Governatori, G., Rotolo, A.: A Gentzen system for reasoning with contrary-to-duty obligations. In: Proc. \u0394eon 2002. Imperial College, London (2002)"},{"key":"43_CR12","volume-title":"Proc. \u0394eon 2004","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Proc. \u0394eon 2004. Springer, Heidelberg (2004)"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence (1990)","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"Maher, M.J., Rock, A., Antoniou, G., Billignton, D., Miller, T.: Efficient defeasible reasoning systems. Int. J. Art. Int. Tools (2001)","DOI":"10.1142\/S0218213001000623"},{"key":"43_CR15","volume-title":"Open Agent Societies","year":"2004","unstructured":"Pitt, J. (ed.): Open Agent Societies. Wiley, Chichester (2004)"},{"key":"43_CR16","volume-title":"KR 1991","author":"A. Rao","year":"1991","unstructured":"Rao, A., Georgeff, M.: Modelling rational agents within a BDI-architecture. In: KR 1991. Morgan Kaufmann, San Francisco (1991)"},{"key":"43_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916. Springer, Heidelberg (2000)"}],"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\/11591191_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T03:00:49Z","timestamp":1586574049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591191_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305538","9783540316503"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11591191_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}