{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:28Z","timestamp":1725467608372},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647690"},{"type":"electronic","value":"9783540687221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055021","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:11:15Z","timestamp":1153977075000},"page":"79-93","source":"Crossref","is-referenced-by-count":3,"title":["A non-monotonic ATMS based on annotated logic programs with strong negation"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Nakamatsu","sequence":"first","affiliation":[]},{"given":"Atsuyuki","family":"Suzuki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,24]]},"reference":[{"key":"6_CR1","unstructured":"Asimov,I, I,Robot, Gnome Press, 1950."},{"key":"6_CR2","first-page":"45","volume":"5","author":"H.A. Blair","year":"1988","unstructured":"Blair,H.A. and Subrahmanian,V.S., \u201cParaconsistent Foundations for Logic Programming\u201d J. Non-Classical Logic, VOl.5, 45\u201373, 1988.","journal-title":"J. Non-Classical Logic"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair,H.A. and Subrahmanian,V.S., \u201cParaconsistent Logic Programming\u201d Theoretical Computer Science, Vol.68, 135\u2013154, 1989.","journal-title":"Theoretical Computer Science"},{"key":"6_CR4","first-page":"143","volume":"346","author":"O. Dressler","year":"1988","unstructured":"Dressler,O., \u201cAn Extended Basic ATMS\u201d Proc. 2nd Int'l Workshop on Nonmonotonic Reasoning, LNCS 346, 143\u2013154, 1988.","journal-title":"LNCS"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1002\/malq.19910370903","volume":"37","author":"N.C.A. Costa da","year":"1989","unstructured":"da Costa,N.C.A., Subrahmanian,V.S. and Vago,C, \u201cThe Paraconsistent Logic PT\u201d Zeitschrift f\u00fcr Mathematische Logik und Grundlangen der Mathematik, Vol.37, 139\u2013148, 1989.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlangen der Mathematik"},{"key":"6_CR6","unstructured":"Gelfond,M. and Lifschitz,V., \u201cThe Stable Model Semantics for Logic Programming\u201d Proc. 5th Int'l Conf. and Symp. on Logic Programming, 1070\u20131080, 1989."},{"key":"6_CR7","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":"6_CR8","unstructured":"Nakamatsu,K. and Suzuki,A., \u201cAnnotated Semantics for Default Reasoning\u201d Proc. 3rd PRICAI, 180\u2013186, 1994."},{"key":"6_CR9","first-page":"1","volume":"1","author":"K. Nakamatsu","year":"1995","unstructured":"Nakamatsu,K. and Suzuki,A., \u201cOn the Relation Between Nonmonotonic ATMS and ALPSN\u201dProc. Japanese Society for AI SIG FAI 9502 1, 1\u20138,1995.","journal-title":"Proc. Japanese Society for AI SIG FAI 9502"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter,R., \u201cA Logic for Default Reasoning\u201d Artificial Intelligence, Vol.13, 81\u2013132,1980.","journal-title":"Artificial Intelligence"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0004-3702(93)90033-8","volume":"60","author":"K. Thirunarayan","year":"1993","unstructured":"Thirunarayan,K. and Kifer,M., \u201cA Theory of Nonmonotonic Inheritance Based on Annotated Logic\u201d Artificial Intelligence, Vol.60, 23\u201350, 1993.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T06:14:36Z","timestamp":1549865676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647690","9783540687221"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055021","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}