<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">*** Apologies for multiple copies ***<br class=""><br class="">CALL FOR PAPERS<br class=""><br class="">Knowledge Representation and Reasoning<br class=""><br class="">20th EPIA Conference on Artificial Intelligence<br class=""><br class="">Lisbon, Portugal<br class="">September, 7-9, 2020<br class=""><br class="">Submission Deadline: April 15, 2020.<br class=""><br class="">The aim of this track is to gather and discuss novel research in the<br class="">area of Knowledge Representation and Reasoning, both for theoretical<br class="">results as well as implemented systems and applications.<br class=""><br class="">EPIA is a well-established international conference on Artificial<br class="">Intelligence, this year to be held in the beautiful city of Lisbon. The<br class="">scientific program is composed of thematic tracks. Submitted papers<br class="">will be subject to a rigorous revision process and accepted papers will<br class="">be published in Springer's Lecture Notes in Artificial Intelligence (LNAI).<br class="">A best paper award will be granted.<br class="">We welcome submissions of full papers (max. 12 pages) and short papers (max. 6 pages). <br class=""><br class="">Topics of interest for the KRR track include, but are not limited to:<br class=""><br class="">• Action, change, causality and causal reasoning<br class="">• Argumentation<br class="">• Belief revision and update, belief merging<br class="">• Commonsense reasoning<br class="">• Constraint programming and KRR<br class="">• Contextual reasoning<br class="">• Description logics<br class="">• Diagnosis, abduction, explanation finding<br class="">• Inconsistency- and exception tolerant reasoning, paraconsistent logics<br class="">• KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems<br class="">• KR and decision making, game theory, social choice<br class="">• KR and machine learning, inductive logic programming, knowledge discovery and acquisition<br class="">• KR and stream reasoning<br class="">• KR and the Web, Semantic Web<br class="">• Logic programming, answer set programming, constraint logic programming<br class="">• Non-monotonic logics, default logics, conditional logics<br class="">• Ontology formalisms and models<br class="">• Preferences: modeling and representation, preference-based reasoning<br class="">• Reasoners and solvers: SAT solvers, theorem provers, QBF solvers, and others<br class="">• Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics<br class="">• Spatial reasoning and temporal reasoning, qualitative reasoning<br class="">• Uncertainty, representations of vagueness, many-valued and fuzzy logics<br class=""><br class="">Organising Committee<br class="">Pedro Cabalar, Corunna University, Spain<br class="">Eduardo Fermé, University of Madeira, Portugal<br class="">Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal<br class="">Matthias Knorr, Universidade NOVA de Lisboa, Portugal<br class="">Rafael Peñaloza Nyssen, University of Milano-Bicocca, Italy<br class=""><br class="">Program Committee<br class="">Adila A. Krisnadhi, Universitas Indonesia, Indonesia<br class="">Alejandro Garcia, Universidad Nacional del Sur, Argentina<br class="">Bart Bogaerts, Vrije Universiteit Brussel, Belgium<br class="">Carlos Areces, Universidad Nacional de Córdoba, Argentina<br class="">Carmine Dodaro, University of Calabria, Italy<br class="">Cristina Feier, University of Bremen, Germany<br class="">David Pearce, Universidad Politécnica de Madrid, Spain<br class="">David Rajaratnam, University of New South Wales, Australia<br class="">Emmanuele Dietz Saldanha, Technische Universität Dresden, Germany<br class="">Erman Acar, Vrije Universiteit Amsterdam, Netherlands<br class="">Fabrizio Maggi, University of Tartu, Estonia<br class="">Francesca Alessandra Lisi, Universit degli Studi di Bari Aldo Moro, Italy<br class="">Gerhard Brewka, Leipzig University, Germany<br class="">Guohui Xiao, Free University of Bozen-Bolzano, Italy<br class="">Isidoros Perikos, University of Patras, Greece<br class="">Inês Lynce, University of Lisbon, Portugal<br class="">Ivan Varzinczak, Université d’Artois, France<br class="">Jesse Heyninck, University of Dortmund, Germany<br class="">João Leite, Universidade Nova de Lisboa, Portugal<br class="">João Marques-Silva, University of Toulouse, France<br class="">José Júlio Alferes, Universidade Nova de Lisboa, Portugal<br class="">Jorge Fandinno, University of Potsdam, Germany<br class="">Loizos Michael, Open University of Cyprus, Cyprus<br class="">Mantas Simkus, Vienna University of Technology, Austria<br class="">Manuel Ojeda, Universidad de Málaga, Spain<br class="">Maria Vanina Martinez, Universidad Nacional del Sur, Argentina<br class="">Marco Paulo Ferreirinha Garapa, University of Madeira, Portugal<br class="">Mario Alviano, University of Calabria, Italy<br class="">Matthias Thimm, Universität Koblenz-Landau, Germany<br class="">Maurício Duarte Luís Reis, University of Madeira, Portugal<br class="">Nicolas Troquard, Free University of Bozen-Bolzano, Italy<br class="">Orkunt Sabuncu, TED University Ankara, Turkey<br class="">Rafael Testa, University of Campinas, Brazil<br class="">Ramon Pino Perez, Yachay Tech University, Ecuador<br class="">Salvador Abreu, University of Évora, Portugal<br class="">Stefan Woltran, Vienna University of Technology, Austria<br class=""><br class="">For more info on the track:<br class=""><a href="https://epia2020.inesc-id.pt/?page_id=98" class="">https://epia2020.inesc-id.pt/?page_id=98</a><br class=""><br class="">Regarding the submission:<br class=""><a href="https://epia2020.inesc-id.pt/?page_id=8" class="">https://epia2020.inesc-id.pt/?page_id=8</a><br class=""><br class="">For more info on EPIA itself, such as the program, invited<br class="">speakers and registration, please refer to:<br class=""><a href="https://epia2020.inesc-id.pt" class="">https://epia2020.inesc-id.pt</a></body></html>