{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:42:55Z","timestamp":1725532975294},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642015328"},{"type":"electronic","value":"9783642015335"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01533-5_4","type":"book-chapter","created":{"date-parts":[[2009,5,26]],"date-time":"2009-05-26T11:37:51Z","timestamp":1243337871000},"page":"75-108","source":"Crossref","is-referenced-by-count":0,"title":["Paraconsistent Annotated Logic Program Before-after EVALPSN and Its Application"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Nakamatsu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Towards a General Theory of Action and Time. Artificial Intelligence\u00a023, 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J.F. Allen","year":"1994","unstructured":"Allen, J.F., Ferguson, G.: Actions and Events in Interval Temporal Logic. J. Logic and Computation\u00a04, 531\u2013579 (1994)","journal-title":"J. Logic and Computation"},{"key":"4_CR3","first-page":"89","volume-title":"Foundation of Deductive Database and Logic Programs","author":"K.R. Apt","year":"1989","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Foundation of Deductive Database and Logic Programs, pp. 89\u2013148. Morgan Kaufmann, San Francisco (1989)"},{"key":"4_CR4","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four valued logic. In: Dunn, M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8\u201337. D.Reidel Publishing, Netherlands (1977)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D. Billington","year":"1993","unstructured":"Billington, D.: Defeasible logic is stable. J. Logic and Computation\u00a03, 379\u2013400 (1993)","journal-title":"J. Logic and Computation"},{"key":"4_CR6","first-page":"1","volume-title":"Proc. 2nd Australian Workshop Commonsense Reasoning","author":"D. Billington","year":"1997","unstructured":"Billington, D.: Conflicting literals and defeasible logic. In: Nayak, A., Pagnucco, M. (eds.) Proc. 2nd Australian Workshop Commonsense Reasoning, December 1, pp. 1\u201315. Australian Artificial Intelligence Institute, Australia (1997)"},{"key":"4_CR7","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., Subrahmanian, V.S.: Paraconsistent logic programming. Theoretical Computer Science\u00a068, 135\u2013154 (1989)","journal-title":"Theoretical Computer Science"},{"key":"4_CR8","doi-asserted-by":"publisher","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., Vago, C.: The paraconsistent logics P ${\\cal T}$ . Zeitschrift f\u00fcr Mathematische Logic und Grundlangen der Mathematik\u00a037, 139\u2013148 (1989)","journal-title":"Zeitschrift f\u00fcr Mathematische Logic und Grundlangen der Mathematik"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","first-page":"143","volume-title":"Non-Monotonic Reasoning","author":"O. Dressler","year":"1988","unstructured":"Dressler, O.: An extended basic ATMS. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E., et al. (eds.) Non-Monotonic Reasoning 1988. LNCS, vol.\u00a0346, pp. 143\u2013163. Springer, Heidelberg (1988)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattice and the semantics of logic programming. J. Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"J. Logic Programming"},{"key":"4_CR11","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM\u00a038, 620\u2013650 (1991)","journal-title":"J. ACM"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF02134311","volume":"24","author":"S. Jaskowski","year":"1948","unstructured":"Jaskowski, S.: Propositional calculus for contradictory deductive system (English translation of the original Polish paper). Studia Logica\u00a024, 143\u2013157 (1948)","journal-title":"Studia Logica"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. Logic Programming\u00a012, 335\u2013368 (1992)","journal-title":"J. Logic Programming"},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987)","edition":"2"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R.: Semantical considerations on non-monotonic logic. Artificial Intelligence\u00a025, 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"key":"4_CR16","unstructured":"Morley, J. M.: Safety Assurance in Interlocking Design. Ph.D Thesis, School of Informatics, University of Edinburgh (1996)"},{"key":"4_CR17","first-page":"180","volume-title":"Proc. 3rd Pacific Rim Intl. Conf. Artificial Intelligence(PRICAI 1994)","author":"K. Nakamatsu","year":"1994","unstructured":"Nakamatsu, K., Suzuki, A.: Annotated semantics for default reasoning. In: Dai, R. (ed.) Proc. 3rd Pacific Rim Intl. Conf. Artificial Intelligence(PRICAI 1994), Beijin, China, August 15\u201318, pp. 180\u2013186. International Academic Publishers, China (1994)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BFb0055021","volume-title":"Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications","author":"K. Nakamatsu","year":"1998","unstructured":"Nakamatsu, K., Suzuki, A.: A nonmonotonic ATMS based on annotated logic programs. In: Wobcke, W., Pagnucco, M., Zhang, C., et al. (eds.) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. LNCS (LNAI), vol.\u00a01441, pp. 79\u201393. Springer, Heidelberg (1998)"},{"key":"4_CR19","series-title":"Concurrent Systems Engineering Series","first-page":"396","volume-title":"Computational Intelligence for Modelling, Control & Automation (CIMCA 1999)","author":"K. Nakamatsu","year":"1999","unstructured":"Nakamatsu, K., Abe, J.M.: Reasonings based on vector annotated logic programs. In: Mohammadian, M. (ed.) Computational Intelligence for Modelling, Control & Automation (CIMCA 1999). Concurrent Systems Engineering Series, vol.\u00a055, pp. 396\u2013403. IOS Press, Netherlands (1999)"},{"key":"4_CR20","first-page":"20","volume-title":"Proc. AAAI Workshop Agents\u2019 Conflicts","author":"K. Nakamatsu","year":"1999","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible reasoning between conflicting agents based on VALPSN. In: Tessier, C., Chaudron, L. (eds.) Proc. AAAI Workshop Agents\u2019 Conflicts, Orland, FL, July 18, pp. 20\u201327. AAAI Press, Menlo Park (1999)"},{"key":"4_CR21","first-page":"114","volume-title":"Proc. The Third Australian Commonsense Reasoning Workshop","author":"K. Nakamatsu","year":"1999","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible reasoning based on VALPSN and its application. In: Nayak, A., Pagnucco, M. (eds.) Proc. The Third Australian Commonsense Reasoning Workshop, Sydney, Australia, December 7, pp. 114\u2013130. University of Newcastle, Sydney (1999)"},{"key":"4_CR22","doi-asserted-by":"crossref","first-page":"181","DOI":"10.12775\/LLP.2000.010","volume":"8","author":"K. Nakamatsu","year":"2000","unstructured":"Nakamatsu, K.: On the relation between vector annotated logic programs and defeasible theories. Logic and Logical Philosophy\u00a08, 181\u2013205 (2000)","journal-title":"Logic and Logical Philosophy"},{"key":"4_CR23","series-title":"AIP Conference Proceedings","first-page":"609","volume-title":"Proc. 4th Intl. Conf. Computing Anticipatory Systems(CASYS 2000)","author":"K. Nakamatsu","year":"2000","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: A defeasible deontic reasoning system based on annotated logic programming. In: Dubois, D.M. (ed.) Proc. 4th Intl. Conf. Computing Anticipatory Systems(CASYS 2000), Liege, Belgium, August 7\u201312. AIP Conference Proceedings, vol.\u00a0573, pp. 609\u2013620. American Institute of Physics, New York (2000)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/3-540-45554-X_58","volume-title":"Rough Sets and Current Trends in Computing","author":"K. Nakamatsu","year":"2001","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Annotated semantics for defeasible deontic reasoning. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol.\u00a02005, pp. 432\u2013440. Springer, Heidelberg (2001)"},{"key":"4_CR25","series-title":"Advances in Soft Computing Series","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1007\/978-3-7908-1782-9_48","volume-title":"Hybrid Information Systems","author":"K. Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Extended vector annotated logic program and its application to robot action control and safety verification. In: Abraham, A., et al. (eds.) Hybrid Information Systems. Advances in Soft Computing Series, pp. 665\u2013680. Physica-Verlag, Heidelberg (2002)"},{"key":"4_CR26","volume-title":"Proc. IEEE Intl. Conf. System, Man and Cybernetics 2002 (SMC 2002)","author":"K. Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Suito, H., Abe, J.M., Suzuki, A.: Paraconsistent logic program based safety verification for air traffic control. In: El Kamel, A., et al. (eds.) Proc. IEEE Intl. Conf. System, Man and Cybernetics 2002 (SMC 2002), Hammamet, Tunisia, October 6\u20139, IEEE SMC, Los Alamitos (2002)"},{"key":"4_CR27","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"775","volume-title":"Soft Computing Systems(HIS 2002)","author":"K. Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: A railway interlocking safety verification system based on abductive paraconsistent logic programming. In: Abraham, A., et al. (eds.) Soft Computing Systems(HIS 2002). Frontiers in Artificial Intelligence and Applications, vol.\u00a087, pp. 775\u2013784. IOS Press, Netherlands (2002)"},{"key":"4_CR28","series-title":"AIP Conference Proceedings","first-page":"490","volume-title":"Proc. 5th Intl. Conf. Computing Anticipatory Systems(CASYS 2001)","author":"K. Nakamatsu","year":"2002","unstructured":"Nakamatsu, K., Abe, J.M., Suzuki, A.: Defeasible deontic robot control based on extended vector annotated logic programming. In: Dubois, D.M. (ed.) Proc. 5th Intl. Conf. Computing Anticipatory Systems(CASYS 2001), Liege, Belgium, August 13\u201318. AIP Conference Proceedings, vol.\u00a0627, pp. 490\u2013500. American Institute of Physics, New York (2002)"},{"key":"4_CR29","volume-title":"Proc. Intl. Conf. Computational Intelligence for Modelling Control and Automation 2003 (CIMCA 2003)","author":"K. Nakamatsu","year":"2003","unstructured":"Nakamatsu, K., Mita, Y., Shibata, T.: Defeasible deontic action control based on paraconsistent logic program and its hardware application. In: Mohammadian, M. (ed.) Proc. Intl. Conf. Computational Intelligence for Modelling Control and Automation 2003 (CIMCA 2003), February 12\u201314, IOS Press, Netherlands (2003)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/3-540-39205-X_124","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"K. Nakamatsu","year":"2003","unstructured":"Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A.: Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN. In: Wang, G., Liu, Q., Yao, Y., Skowron, A., et al. (eds.) RSFDGrC 2003. LNCS (LNAI), vol.\u00a02639, pp. 719\u2013723. Springer, Heidelberg (2003)"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-540-25929-9_36","volume-title":"Rough Sets and Current Trends in Computing","author":"K. Nakamatsu","year":"2004","unstructured":"Nakamatsu, K., Komaba, H., Suzuki, A.: Defeasible deontic control for discrete events based on EVALPSN. In: Tsumoto, S., S\u0142owi\u0144ski, R., Komorowski, J., Grzyma\u0142a-Busse, J.W., et al. (eds.) RSCTC 2004. LNCS (LNAI), vol.\u00a03066, pp. 310\u2013315. Springer, Heidelberg (2004)"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"954","DOI":"10.1007\/978-3-540-30133-2_126","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"K. Nakamatsu","year":"2004","unstructured":"Nakamatsu, K., Ishikawa, R., Suzuki, A.: A paraconsistent based control for a discrete event cat and mouse. In: Negoita, M.G., Howlett, R.J., Jain, L.C., et al. (eds.) KES 2004. LNCS (LNAI), vol.\u00a03214, pp. 954\u2013960. Springer, Heidelberg (2004)"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1007\/11548669_69","volume-title":"Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing","author":"K. Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Chung, S.-L., Komaba, H., Suzuki, A.: A discrete event control based on EVALPSN stable model. In: \u015ale\u0327zak, D., Wang, G., Szczuka, M.S., D\u00fcntsch, I., Yao, Y., et al. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.\u00a03641, pp. 671\u2013681. Springer, Heidelberg (2005)"},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"708","DOI":"10.1007\/11552451_97","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"K. Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Abe, J.M., Akama, S.: An intelligent safety verification based on a paraconsistent logic program. In: Khosla, R., Howlett, R.J., Jain, L.C., et al. (eds.) KES 2005. LNCS (LNAI), vol.\u00a03682, pp. 708\u2013715. Springer, Heidelberg (2005)"},{"key":"4_CR35","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"63","volume-title":"Advances in Logic Based Intelligent Systems","author":"K. Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Kawasumi, K., Suzuki, A.: Intelligent verification for pipeline based on EVALPSN. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems. Frontiers in Artificial Intelligence and Applications, vol.\u00a0132, pp. 63\u201370. IOS Press, Netherlands (2005)"},{"key":"4_CR36","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"177","volume-title":"Advances in Logic Based Intelligent Systems","author":"K. Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Suzuki, A.: Autoepistemic theory and paraconsistent logic program. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems. Frontiers in Artificial Intelligence and Applications, vol.\u00a0132, pp. 177\u2013184. IOS Press, Netherlands (2005)"},{"key":"4_CR37","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"185","volume-title":"Advances in Logic Based Intelligent Systems","author":"K. Nakamatsu","year":"2005","unstructured":"Nakamatsu, K., Suzuki, A.: Annotated semantics for non-monotonic reasonings in artificial intelligence \u2013 I, II, III, IV. In: Nakamatsu, K., Abe, J.M. (eds.) Advances in Logic Based Intelligent Systems. Frontiers in Artificial Intelligence and Applications, vol.\u00a0132, pp. 185\u2013215. IOS Press, Netherlands (2005)"},{"key":"4_CR38","doi-asserted-by":"crossref","first-page":"647","DOI":"10.20965\/jaciii.2006.p0647","volume":"10","author":"K. Nakamatsu","year":"2006","unstructured":"Nakamatsu, K.: Pipeline valve control based on EVALPSN safety verification. J. Advanced Computational Intelligence and Intelligent Informatics\u00a010, 647\u2013656 (2006)","journal-title":"J. Advanced Computational Intelligence and Intelligent Informatics"},{"key":"4_CR39","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1080\/10798587.2007.10642965","volume":"13","author":"K. Nakamatsu","year":"2007","unstructured":"Nakamatsu, K., Mita, Y., Shibata, T.: An intelligent action control system based on extended vector annotated logic program and its hardware implementation. J. Intelligent Automation and Soft Computing\u00a013, 289\u2013304 (2007)","journal-title":"J. Intelligent Automation and Soft Computing"},{"key":"4_CR40","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-78293-3_6","volume-title":"Computational Intelligence: A Compendium","author":"K. Nakamatsu","year":"2008","unstructured":"Nakamatsu, K.: Paraconsistent Annotated Logic Program EVALPSN and its Application. In: Fulcher, J., Jain, C.L. (eds.) Computational Intelligence: A Compendium. Studies in Computational Intelligence, vol.\u00a0115, pp. 233\u2013306. Springer, Germany (2008)"},{"key":"4_CR41","first-page":"470","volume-title":"Proc. 20th Hawaii Intl. Conf. System Science (HICSS 1987)","author":"D. Nute","year":"1987","unstructured":"Nute, D.: Defeasible reasoning. In: Stohr, E.A., et al. (eds.) Proc. 20th Hawaii Intl. Conf. System Science (HICSS 1987), Kailua-Kona, Hawaii, January 6\u20139, pp. 470\u2013477. University of Hawaii, Hawaii (1987)"},{"key":"4_CR42","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1093\/oso\/9780198537755.003.0005","volume-title":"Intensional Logics for Programming","author":"D. Nute","year":"1992","unstructured":"Nute, D.: Basic defeasible logics. In: del Cerro, L.F., Penttonen, M. (eds.) Intensional Logics for Programming, pp. 125\u2013154. Oxford University Press, Oxford (1992)"},{"key":"4_CR43","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1093\/oso\/9780198537472.003.0007","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible logic. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 353\u2013396. Oxford University Press, Oxford (1994)"},{"key":"4_CR44","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-015-8851-5_12","volume-title":"Defeasible Deontic Logic","author":"D. Nute","year":"1997","unstructured":"Nute, D.: Apparent obligatory. In: Nute, D. (ed.) Defeasible Deontic Logic. Synthese Library, vol.\u00a0263, pp. 287\u2013316. Kluwer Academic Publisher, Netherlands (1997)"},{"key":"4_CR45","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundation of Deductive Database and Logic Programs","author":"T.C. Przymusinski","year":"1988","unstructured":"Przymusinski, T.C.: On the declarative semantics of deductive databases and logic programs. In: Minker, J. (ed.) Foundation of Deductive Database and Logic Programs, pp. 193\u2013216. Morgan Kaufmann, New York (1988)"},{"key":"4_CR46","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.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013123 (1980)","journal-title":"Artificial Intelligence"},{"key":"4_CR47","first-page":"356","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"J.C. Shepherdson","year":"1998","unstructured":"Shepherdson, J.C.: Negation as failure, completion and stratification. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 356\u2013419. Oxford University Press, Oxford (1998)"},{"key":"4_CR48","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/176567.176571","volume":"19","author":"V.S. Subrahmanian","year":"1994","unstructured":"Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Trans. Database Systems\u00a019, 291\u2013331 (1994)","journal-title":"ACM Trans. Database Systems"},{"key":"4_CR49","first-page":"173","volume-title":"Proc. the 1987 Symp. Logic Programming (SLP 1987)","author":"V.S. Subrahmanian","year":"1987","unstructured":"Subrahmanian, V.S.: On the semantics of qualitative logic programs. In: Proc. the 1987 Symp. Logic Programming (SLP 1987), August 31\u2013September 4, pp. 173\u2013182. IEEE Computer Society Press, San Francisco (1987)"},{"key":"4_CR50","first-page":"99","volume":"13","author":"A. Visser","year":"1987","unstructured":"Visser, A.: Four valued semantics and the liar. J. Philosophical Logic\u00a013, 99\u2013112 (1987)","journal-title":"J. Philosophical Logic"}],"container-title":["Studies in Computational Intelligence","Foundations of Computational Intelligence Volume 2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01533-5_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T21:30:56Z","timestamp":1710365456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01533-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015328","9783642015335"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01533-5_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}