{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:48:10Z","timestamp":1725857290989},"publisher-location":"Cham","reference-count":49,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319321660"},{"type":"electronic","value":"9783319321684"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32168-4_10","type":"book-chapter","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T07:46:09Z","timestamp":1464853569000},"page":"301-335","source":"Crossref","is-referenced-by-count":1,"title":["Annotated Logics and Intelligent Control"],"prefix":"10.1007","author":[{"given":"Seiki","family":"Akama","sequence":"first","affiliation":[]},{"given":"Jair Minoro","family":"Abe","sequence":"additional","affiliation":[]},{"given":"Kazumi","family":"Nakamatsu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,3]]},"reference":[{"key":"10_CR1","unstructured":"Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of S\u00e3o Paulo, Brazil (1992)"},{"key":"10_CR2","first-page":"553","volume":"40","author":"JM Abe","year":"1994","unstructured":"Abe, J.M.: On annotated modal logics. Mathematica Japonica 40, 553\u2013556 (1994)","journal-title":"Mathematica Japonica"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Abe, J.M.: Curry algebra P\u03c4. Logique et Analyse 161\u2013162-163 (1998), 5\u201315","DOI":"10.1023\/A:1017385711748"},{"key":"10_CR4","unstructured":"Abe, J.M., Akama, S.: Annotated logics Q\u03c4 and ultraproduct. Logique et Analyse 160(1997), 335\u2013343 (published in 2000)"},{"key":"10_CR5","unstructured":"Abe, J.M., Akama, S.: On some aspects of decidability of annotated systems. In: Arabnia HR (ed.) Proceedings of the International Conference on Artificial Intelligence, vol. II, pp. 789\u2013795, CREA Press (2001)"},{"key":"10_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-17912-4","volume-title":"Introduction to Annotated Logics","author":"JM Abe","year":"2015","unstructured":"Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2015)"},{"key":"10_CR7","unstructured":"Abe, J.M., Da Silva Filho, J.I.: Manipulating conflicts and uncertainties in robotics. Multi-Valued Logic Soft Comput 9, 147\u2013169 (2003)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Abe, J.M., Torres, C.R., Torres, G.L., Nakamatsu, K., Kondo, M.: Intelligent paraconsistent logic controller and autonomous mobile robot Emmy II. In: Lecture Notes in Computer Science 4252, pp. 851\u2013857. Springer, Heidelberg (2006)","DOI":"10.1007\/11893004_108"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1504\/IJRIS.2011.042261","volume":"3","author":"S Akama","year":"2011","unstructured":"Akama, S.: Discursive reasoning in a constructive setting. Int. J. Reasoning-Based Intell. Syst. 3, 88\u201393 (2011)","journal-title":"Int. J. Reasoning-Based Intell. Syst."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of the 28th International Symposium on Multiple-Valued Logic, pp. 114\u2013119, Fukuoka (1998)","DOI":"10.1109\/ISMVL.1998.679316"},{"key":"10_CR11","unstructured":"Akama, S., Abe, J.M.: Natural deduction and general annotated logics. In: Proceedings of the 1st International Workshop on Labelled Deduction, Freiburg (1998)"},{"key":"10_CR12","unstructured":"Akama, S., Abe, J.M.: Fuzzy annotated logics. In: Proceedings of IPMU\u20192000, pp. 504\u2013508, Madrid, Spain (2000)"},{"key":"10_CR13","first-page":"395","volume":"215","author":"S Akama","year":"2011","unstructured":"Akama, S., Abe, J.M., Nakamatsu, K.: Constructive discursive logic with strong negation. Logique et Analyse 215, 395\u2013408 (2011)","journal-title":"Logique et Analyse"},{"key":"10_CR14","unstructured":"Anderson, A., Belnap, N.: Entailment: the logic of relevance and necessity I. Princeton University Press, Princeton (1976)"},{"key":"10_CR15","volume-title":"Entailment: The Logic of Relevance and Necessity II","author":"A Anderson","year":"1992","unstructured":"Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Arruda, A.I.: A survey of paraconsistent logic. In: Mathematical Logic in Latin America. North-Holland, Amsterdam (1980)","DOI":"10.1016\/S0049-237X(09)70477-X"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8\u201337. Reidel, Dordrecht (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"10_CR18","unstructured":"Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30\u201355. Oriel Press (1977)"},{"volume-title":"Handbook of Paraconsistency","year":"2007","key":"10_CR19","unstructured":"Beziau, J.-Y., Carnielli, W., Gabbay, D. (eds.): Handbook of Paraconsistency. College Publication, London (2007)"},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"HA Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theoret. Comput. Sci. 68, 135\u2013154 (1989)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR21","first-page":"561","volume":"37","author":"NCA Costa da","year":"1991","unstructured":"da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 561\u2013570 (1991)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"10_CR22","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1305\/ndjfl\/1093888132","volume":"18","author":"NCA Costa da","year":"1977","unstructured":"da Costa, N.C.A., Alves, E.H.: A semantical analysis of the calculi C n . Notre Dame J. Formal Logic 18, 621\u2013630 (1977)","journal-title":"Notre Dame J. Formal Logic"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Subrahmanian, VS.: Paraconsistent logic as a formalism for reasoning about inconsistent knowledge. Artif. Intell. Med. 1, 167\u2013174 (1989)","DOI":"10.1016\/0933-3657(89)90031-6"},{"key":"10_CR24","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1002\/malq.19910370903","volume":"37","author":"NCA Costa da","year":"1991","unstructured":"da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic PT. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 37, 139\u2013148 (1991)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A.: \u03b1-models and the system T and T*. Notre Dame J. Formal Logic, 14, 443\u2013454 (1974)","DOI":"10.1305\/ndjfl\/1093891405"},{"key":"10_CR26","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA Costa da","year":"1974","unstructured":"da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Formal Logic"},{"key":"10_CR27","series-title":"Model Theory and Computability","first-page":"37","volume-title":"Non-classical logics","author":"NCA Costa da","year":"1977","unstructured":"da Costa, N.C.A., Dubikajtis, L.: On Jas\u015bkowski\u2019s discursive logic. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-classical logics. Model Theory and Computability, pp. 37\u201356. North-Holland, Amsterdam (1977)"},{"key":"10_CR28","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01058531","volume":"54","author":"NCA Costa da","year":"1995","unstructured":"da Costa, N.C.A., Doria, F.A.: On Ja\u015bkowski\u2019s discursive logics. Stud. Logica. 54, 33\u201360 (1995)","journal-title":"Stud. Logica."},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"da Costa, N.C.A., Henschen, L.J., Lu, J.J., Subrahmanian, V.S.: Automatic theorem proving in paraconsistent logics: foundations and implementation. In: Proceedings of the 10th international conference on automated deduction, pp. 72\u201386. Springer, Berlin (1990)","DOI":"10.1007\/3-540-52885-7_80"},{"key":"10_CR30","unstructured":"Da Silva Filho, J.I.: Methodos de Aplicoes da Logica Paraconisitente Anotadade Anotacao com Dois Valores LPA2v com Construcao de Algoritmo e Implementacao de Circuitos Eletornicos (in Portugese), Ph.D. Thesis, University of S\u00e3o Paulo (1999)"},{"key":"10_CR31","unstructured":"Da Silva Filho, J.I., Abe, J.M.: Emmy: a paraconsistent autonomous mobile robot. In: Abe, J.M., Da Silva Filho (eds.) Frontiers in artificial intelligence and its applications, pp. 53\u201361. IOS Press, Amsterdam (2001)"},{"key":"10_CR32","unstructured":"Desiderato, J.M.G., De Oliveira, E.N.: Primeiro Prototipo do Dobo M\u00f3vel Aut\u00f4no Emmy III (in Portuguese). University of S\u00e3o Paulo (2006)"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117\u2013224. Reidel, Dordrecht (1986)","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"10_CR34","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/2.30720","volume":"22","author":"A Elfes","year":"1989","unstructured":"Elfes, A.: Using occupancy grids for mobile robot perception and navigation. Comput. Mag. 22, 46\u201357 (1989)","journal-title":"Comput. Mag."},{"key":"10_CR35","unstructured":"Fu, K.S.: Robotics: control, sensing, vision and intelligence. McGraw-Hill Book, New York (1987)"},{"key":"10_CR36","first-page":"55","volume":"1","author":"S Ja\u015bkowski","year":"1948","unstructured":"Ja\u015bkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55\u201377 (1948)","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"key":"10_CR37","first-page":"171","volume":"8","author":"S Ja\u015bkowski","year":"1949","unstructured":"Ja\u015bkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171\u2013172 (1949)","journal-title":"Studia Societatis Scientiarun Torunesis, Sectio A"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Kifer, M., Lozinskii, E.L.: RI: a logic for reasoning with inconsistency. In: Proceedings of LICS4, pp. 253\u2013262 (1989)","DOI":"10.1109\/LICS.1989.39180"},{"key":"10_CR39","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M Kifer","year":"1992","unstructured":"Kifer, M., Lozinskii, E.L.: A logic for reasoning with inconsistency. J. Autom. Reasoning 9, 179\u2013215 (1992)","journal-title":"J. Autom. Reasoning"},{"key":"10_CR40","unstructured":"Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069\u20131089 (1989)"},{"key":"10_CR41","doi-asserted-by":"crossref","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. J. Logic Programming 12, 335\u2013367 (1992)","journal-title":"J. Logic Programming"},{"key":"10_CR42","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02120494","volume":"33","author":"J Kotas","year":"1974","unstructured":"Kotas, J.: The axiomatization of S. Ja\u015bkowski\u2019s discursive logic, Studia Logica 33, 195\u2013200 (1974)","journal-title":"Ja\u015bkowski\u2019s discursive logic, Studia Logica"},{"volume-title":"Paraconsistent logic: essays on the inconsistent","year":"1989","key":"10_CR43","unstructured":"Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent logic: essays on the inconsistent. Philosopia Verlag, M\u00fcnchen (1989)"},{"key":"10_CR44","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: Logic of paradox. J. Philosophical Logic 8, 219\u2013241 (1979)","journal-title":"J. Philosophical Logic"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn. pp. 287\u2013393. Kluwer, Dordrecht (2002)","DOI":"10.1007\/978-94-017-0460-1_4"},{"key":"10_CR46","doi-asserted-by":"crossref","unstructured":"Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006)","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"key":"10_CR47","unstructured":"Routley, R., Plumwood, V., Meyer, R.K., Brady, R: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982)"},{"key":"10_CR48","unstructured":"Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173\u2013182 (1987)"},{"key":"10_CR49","doi-asserted-by":"crossref","unstructured":"Torres, C.R., Reis, R.: The new hardware structure of the Emmy II robot. In: Abe, J.M. (ed.) Paraconsistent Intelligent-Based Systems. Springer, Heidelberg (2015)","DOI":"10.1007\/978-3-319-19722-7_4"}],"container-title":["Intelligent Systems Reference Library","New Approaches in Intelligent Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32168-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,18]],"date-time":"2023-08-18T14:39:31Z","timestamp":1692369571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32168-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319321660","9783319321684"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32168-4_10","relation":{},"ISSN":["1868-4394","1868-4408"],"issn-type":[{"type":"print","value":"1868-4394"},{"type":"electronic","value":"1868-4408"}],"subject":[],"published":{"date-parts":[[2016]]}}}