{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T14:40:16Z","timestamp":1771857616082,"version":"3.50.1"},"reference-count":33,"publisher":"Oxford University Press (OUP)","issue":"1","license":[{"start":{"date-parts":[[2020,1,18]],"date-time":"2020-01-18T00:00:00Z","timestamp":1579305600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"name":"Generalitat de Catalunya and the European Social Fund","award":["FI-2017"],"award-info":[{"award-number":["FI-2017"]}]},{"name":"YERUN Research Mobility Award"},{"name":"Beca Fundaci\u00f3n Universia para la formaci\u00f3n de Doctores con Discapacidad"},{"name":"DAAD Short-Term Grant","award":["57442045"],"award-info":[{"award-number":["57442045"]}]},{"name":"Bremen Spatial Cognition Center"},{"name":"DIVERSIS","award":["201750E064"],"award-info":[{"award-number":["201750E064"]}]},{"name":"Intelligent Data Science and Artificial Intelligence Research Center at UPC"},{"DOI":"10.13039\/501100014374","name":"UPC","doi-asserted-by":"publisher","award":["CO-2018-23-T-00454"],"award-info":[{"award-number":["CO-2018-23-T-00454"]}],"id":[{"id":"10.13039\/501100014374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,1,25]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>There is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reasoning, planning, learning, perception and cognition, among others. In this scenario, many-valued logics emerge as one of the topics in many of the solutions to some of those AI problems. This special issue presents a brief introduction to the relation between logics and AI and collects recent research works on logic-based approaches in AI.<\/jats:p>","DOI":"10.1093\/jigpal\/jzz080","type":"journal-article","created":{"date-parts":[[2019,12,3]],"date-time":"2019-12-03T20:17:42Z","timestamp":1575404262000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Special issue on logics and artificial intelligence"],"prefix":"10.1093","volume":"29","author":[{"given":"Zoe","family":"Falomir","sequence":"first","affiliation":[{"name":"Faculty of Computer Science and Mathematics, Bremen Spatial Cognition Centre, Universit\u00e4t Bremen, Enrique-Schmidt-Str. 5, Cartesium Building Office 3.54, 28359 Bremen, Germany"},{"name":"Universitat Jaume I, ES Tecnologia i Ci\u00e8ncies Experimentals, Av. Vicent Sos Baynat s\/n, E-12071, Castell\u00f3, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vicent","family":"Costa","sequence":"additional","affiliation":[{"name":"Department of Philosophy, Universitat Aut\u00f2noma de Barcelona (UAB), Campus UAB, 08193, Bellaterra, Catalonia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enric","family":"Plaza","sequence":"additional","affiliation":[{"name":"Artificial Intelligence Research Institute, Campus UAB, 08193 Bellaterra, Catalonia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karina","family":"Gibert","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya-BarcelonaTech, 08034 Barcelona, Catalonia, Spain. Subdirector of the Intelligent Data Science and Artificial Intelligence Centre, Vicedean of Big Data and Data Science and Artificial Intelligence at the Official Chamber of Informatics Engineering in Catalonia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2020,1,18]]},"reference":[{"key":"2021012207114673600_ref1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.cageo.2011.05.010","article-title":"Landslide identification and classification by object-based image analysis and fuzzy logic: an example from the Azdavay region (Kastamonu, Turkey)","volume":"38","author":"Aksoy","year":"2012","journal-title":"Computers & Geosciences"},{"key":"2021012207114673600_ref2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.3390\/info8030089","article-title":"Fuzzy color clustering for melanoma diagnosis in dermoscopy images","volume":"8","author":"Almubarak","year":"2017","journal-title":"Information"},{"key":"2021012207114673600_ref3","article-title":"Clause tableaux for maximum and minimum satisfiability","author":"Argelich","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2021012207114673600_ref4","doi-asserted-by":"crossref","first-page":"2177","DOI":"10.1007\/s00500-019-03850-6","article-title":"Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic","volume":"23","author":"Badia","year":"2019","journal-title":"Soft Computing"},{"key":"2021012207114673600_ref5","volume-title":"AI: Its Nature and Future","author":"Boden","year":"2016"},{"key":"2021012207114673600_ref6","article-title":"Relaxing non-interference requirements in parallel plans","author":"Bofill","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2021012207114673600_ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","volume-title":"Many-Valued Logics 1: Volume 1: Theoretical Foundations","author":"Bolc","year":"1992"},{"key":"2021012207114673600_ref8","volume-title":"Many-Valued Logics 2: Automated Reasoning and Practical Applications","author":"Bolc","year":"2003"},{"key":"2021012207114673600_ref9","article-title":"Solving highly cyclic distributed optimization problems without busting the bank: a decimation-based approach","volume-title":"Logic Journal of the IGPL","author":"Cerquides","year":"2019"},{"key":"2021012207114673600_ref10","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"Cignoli","year":"2013"},{"key":"2021012207114673600_ref11","volume-title":"Handbook of Mathematical Fuzzy Logic","author":"Cintula","year":"2015"},{"key":"2021012207114673600_ref12","volume-title":"Handbook of Mathematical Fuzzy Logic, vol. 1. Number 37 in Studies in Logic, Mathematical Logic and Foundations","author":"Cintula","year":"2011"},{"key":"2021012207114673600_ref13","volume-title":"Handbook of Mathematical Fuzzy Logic, vol. 2. Number 38 in Studies in Logic, Mathematical Logic and Foundations","author":"Cintula","year":"2011"},{"key":"2021012207114673600_ref14","doi-asserted-by":"crossref","first-page":"2255","DOI":"10.1007\/s00500-018-3513-2","article-title":"Connecting fuzzy logic and argumentation frames via logical attack principles","volume":"23","author":"Corsi","year":"2019","journal-title":"Soft Computing"},{"key":"2021012207114673600_ref15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jal.2016.11.002","article-title":"On the existence of free models in fuzzy universal horn classes","volume":"23","author":"Costa","year":"2017","journal-title":"Journal of Applied Logic"},{"key":"2021012207114673600_ref16","first-page":"112","article-title":"Term models of horn clauses over rational pavelka predicate logic","volume-title":"47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, May 22-24, 2017","author":"Costa","year":"2017"},{"key":"2021012207114673600_ref17","article-title":"The logical style painting classifier based on horn clauses and explanations","author":"Costa","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2021012207114673600_ref18","doi-asserted-by":"crossref","first-page":"2125","DOI":"10.1007\/s00500-019-03867-x","article-title":"Many-valued logics for reasoning: essays in honor of Llu\u00eds Godo on the occasion of his 60th birthday","volume":"23","author":"Dubois","year":"2019","journal-title":"Soft Computing"},{"key":"2021012207114673600_ref19","doi-asserted-by":"crossref","first-page":"11","DOI":"10.15439\/2016F73","article-title":"Many-valued logic in manufacturing","volume-title":"Position Papers of the 2016 Federated Conference on Computer Science and Information Systems","author":"Eklund","year":"2016"},{"key":"2021012207114673600_ref20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","article-title":"Monoidal t-norm based logic: towards a logic for left-continuous t-norms","volume":"124","author":"Esteva","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"2021012207114673600_ref21","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1142\/S0218488519400063","article-title":"Obtaining discriminative colour names according to the context: using a fuzzy colour model and probabilistic reference grounding","volume":"27","author":"Falomir","year":"2019","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"2021012207114673600_ref22","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1080\/13875868.2010.545611","article-title":"Describing images using qualitative models and description logics","volume":"11","author":"Falomir","year":"2011","journal-title":"Spatial Cognition & Computation"},{"key":"2021012207114673600_ref23","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1007\/s11225-016-9705-9","article-title":"Convex mv-algebras: many-valued logics meet decision theory","volume":"106","author":"Flaminio","year":"2018","journal-title":"Studia Logica"},{"key":"2021012207114673600_ref24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-86812-1","volume-title":"Fuzzy Sets and Fuzzy Logic: The Foundations of Application\u2014From a Mathematical Point of View","author":"Gottwald","year":"1993"},{"key":"2021012207114673600_ref25","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"H\u00e1jek","year":"1998"},{"key":"2021012207114673600_ref26","article-title":"A resolution calculus for MinSAT","author":"Li","year":"2019","journal-title":"Logic Journal of the IGPL"},{"key":"2021012207114673600_ref27","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537878.001.0001","volume-title":"Many-Valued Logics","author":"Malinowski","year":"1993"},{"key":"2021012207114673600_ref28","first-page":"756","article-title":"Programs with common sense","volume-title":"Proceedings of the Teddington Conference on the Mechanization of Thought Processes.","author":"McCarthy","year":"1959"},{"key":"2021012207114673600_ref29","volume-title":"Logic-Based Artificial Intelligence","author":"Minker","year":"2012"},{"key":"2021012207114673600_ref30","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1023\/B:AIRE.0000006610.94970.1d","article-title":"Multiple-valued logic and artificial intelligence fundamentals of fuzzy control revisited","volume":"20","author":"Moraga","year":"2003","journal-title":"Artificial Intelligence Review"},{"key":"2021012207114673600_ref31","volume-title":"Mathematical Principles of Fuzzy Logic","author":"Nov\u00e1k","year":"2012"},{"key":"2021012207114673600_ref32","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.cogsys.2018.06.002","article-title":"Logical composition of qualitative shapes applied to solve spatial reasoning tests","volume":"52","author":"Pich","year":"2018","journal-title":"Cognitive Systems Research"},{"key":"2021012207114673600_ref33","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2016"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/1\/1\/35933770\/jzz080.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/29\/1\/1\/35933770\/jzz080.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,28]],"date-time":"2024-07-28T03:01:22Z","timestamp":1722135682000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/29\/1\/1\/5709432"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,18]]},"references-count":33,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,1,18]]},"published-print":{"date-parts":[[2021,1,25]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzz080","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2021,2]]},"published":{"date-parts":[[2020,1,18]]}}}