{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:12:42Z","timestamp":1725495162269},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430742"},{"type":"electronic","value":"9783540455547"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45554-x_58","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T16:30:35Z","timestamp":1195144235000},"page":"470-478","source":"Crossref","is-referenced-by-count":32,"title":["Annotated Semantics for Defeasible Deontic Reasoning"],"prefix":"10.1007","author":[{"given":"Kumi","family":"Nakamatsu","sequence":"first","affiliation":[]},{"given":"Jair Minoro","family":"Abe","sequence":"additional","affiliation":[]},{"given":"Atsuyuki","family":"Suzuki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"58_CR1","unstructured":"Billington, D.: Conicting Literals and Defeasible Logic. Proc. 2nd AustralianWorkshop on Commonsense Reasoning, (1997) 1\u201315"},{"key":"58_CR2","first-page":"139","volume":"37","author":"N.C.A. Costa Da","year":"1989","unstructured":"Da Costa, N.C.A., Subrahmanian, V.S., and Vago, C.: The Paraconsistent Logics PT. Zeitschrift f\u00fcr MLGM 37 (1989) 139\u2013148","journal-title":"Zeitschrift f\u00fcr MLGM"},{"key":"58_CR3","unstructured":"Gelfond, M. and Lifschitz, V.: The Stable Model Semantics for Logic Programming. Proc. 5th Int'l Conf. and Symp. on Logic Programming (1989) 1070\u20131080"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming(2nd edition). Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"58_CR5","unstructured":"Meyer, C.J. and Wieringa, J.R.: Deontic Logic in Computer Science. John Wiley & Sons (1993)"},{"key":"58_CR6","unstructured":"McNamara, P. and Prakken, H.(eds.): Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, Frontiers in Artificial Intelligence and Applications Vol.49IOS Press (1999)"},{"key":"58_CR7","unstructured":"Nakamatsu, K. and Suzuki, A.: Annotated Semantics for Default Reasoning. Proc. 3rd Pacific Rim International Conference on Artificial Intelligence (1994) 180\u2013186"},{"key":"58_CR8","unstructured":"Nakamatsu, K. and Suzuki, A.: A Nonmonotonic ATMS Based on Annotated Logic Programs. Agents and Multi-Agents Systems, LNAI 1441 Springer (1998) 79\u201393"},{"key":"58_CR9","unstructured":"Nakamatsu, K.and Abe, J.M.: Reasonings Based on Vector Annotated Logic Programs. Computational Intelligence for Modelling, Control & Automation, Concurrent Systems Engineering Series 55. IOS Press (1999) 396\u2013403"},{"key":"58_CR10","doi-asserted-by":"crossref","unstructured":"Nute, D.: Basic Defeasible Logics. Intensional Logics for Programming. Oxford University Press (1992) 125\u2013154","DOI":"10.1093\/oso\/9780198537755.003.0005"},{"key":"58_CR11","doi-asserted-by":"crossref","unstructured":"Nute, D.: Apparent Obligation. Defeasible Deontic Logic. Kluwer Academic Publisher (1997) 287\u2013316","DOI":"10.1007\/978-94-015-8851-5_12"},{"key":"58_CR12","doi-asserted-by":"crossref","unstructured":"Prakken, H.: Logical Tools for Modelling Legal Argument A Study of Defeasible Reasoning in Law. Law and Philosophy Library Vol.32 Kuwer Academic (1997)","DOI":"10.1007\/978-94-015-8975-8"}],"container-title":["Lecture Notes in Computer Science","Rough Sets and Current Trends in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45554-X_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T03:24:17Z","timestamp":1708313057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45554-X_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430742","9783540455547"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45554-x_58","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}