
<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">*** Apologies for multiple copies *** <br><br>CALL FOR PAPERS <br><br>Knowledge Representation and Reasoning <br><br>18th EPIA Conference on Artificial Intelligence <br><br>Porto, Portugal <br>September, 5-8, 2017 <br><br>New Submission Deadline: <b>May 1, 2017 </b><br><br>The aim of this track is to gather and discuss novel research in the <br>area of Knowledge Representation and Reasoning, both for theoretical <br>results as well as implemented systems and applications. <br><br>EPIA is a well-established international conference on Artificial <br>Intelligence, this year to be held in the beautiful city of Porto. The <br>scientific program is composed of thematic tracks. Submitted papers <br>will be subject to a rigorous revision process and accepted papers will <br>be published in Springer's Lecture Notes in Artificial Intelligence (LNAI). <br>Awards for the best paper and the best application paper will be granted. <br><br>Topics of interest for the KRR track include, but are not limited to: <br><br>• Action, change, causality and causal reasoning <br>• Argumentation <br>• Belief revision and update, belief merging <br>• Commonsense reasoning <br>• Constraint programming and KRR <br>• Contextual reasoning <br>• Description logics <br>• Diagnosis, abduction, explanation finding <br>• Inconsistency- and exception tolerant reasoning, paraconsistent logics <br>• KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems <br>• KR and decision making, game theory, social choice <br>• KR and machine learning, inductive logic programming, knowledge discovery and acquisition <br>• KR and stream reasoning <br>• KR and the Web, Semantic Web <br>• Logic programming, answer set programming, constraint logic programming <br>• Non-monotonic logics, default logics, conditional logics <br>• Ontology formalisms and models <br>• Preferences: modeling and representation, preference-based reasoning <br>• Reasoners and solvers: SAT solvers, theorem provers, QBF solvers, and others <br>• Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics <br>• Spatial reasoning and temporal reasoning, qualitative reasoning <br>• Uncertainty, representations of vagueness, many-valued and fuzzy logics <br><br>Organizing Committee <br>Ricardo Gonçalves, NOVA LINCS, Lisbon, Portugal <br>Minh Dao-Tran, KBS, Vienna University of Technology, Austria <br>Matthias Knorr, NOVA LINCS, Lisbon, Portugal <br>Jörg Pührer, ISG-CSI, Leipzig University, Germany <br><br>Program Committee <br>Slim Abdennadher, German University in Cairo, Egypt <br>Salvador Abreu, University of Evora, Portugal <br>Gerhard Brewka, Leipzig University, Germany <br>Pedro Cabalar, Corunna University, Spain <br>Esra Erdem, Sabanci University, Turkey <br>Cristina Feier, University of Bremen, Germany <br>Sarah Alice Gaggl, Technische Universität Dresden, Germany <br>Martin Homola, Comenius University, Slovakia <br>Daniela Inclezan, Miami University, USA <br>Adila A. Krisnadhi, Wright State University & Universitas Indonesia, USA/Indonesia <br>Joao Leite, Universidade Nova de Lisboa, Portugal <br>Francesca Alessandra Lisi, Università degli Studi di Bari “Aldo Moro”, Italy <br>Ines Lynce, University of Lisbon, Portugal <br>Joao Marques-Silva, University of Lisbon, Portugal <br>Loizos Michael, Open University of Cyprus, Cyprus <br>David Rajaratnam, University of New South Wales, Australia <br>Orkunt Sabuncu, TED University, Ankara, Turkey <br>Peter Schüller, Marmara University, Turkey <br>Mantas Simkus, Vienna University of Technology, Austria <br>Daria Stepanova, Max Planck Institute for Informatics, Germany <br>Hannes Strass, Leipzig University, Germany <br>Matthias Thimm, Universität Koblenz-Landau, Germany <br>Ivan Varzinczak, Université d’Artois, France <br>Carlos Viegas Damásio, Universidade Nova de Lisboa, Portugal <br>Antonius Weinzierl, Vienna University of Technology, Austria <br>Stefan Woltran, Vienna University of Technology, Austria <br>Guohui Xiao, Free University of Bozen-Bolzano, Italy <br>Özgür Lütfü Özcep, University of Lübeck, Germany <br><br>For more info on the track: <br><a href="https://web.fe.up.pt/~epia2017/thematic-tracks/krr/">https://web.fe.up.pt/~epia2017/thematic-tracks/krr/</a> <br><br>Regarding the submission: <br><a href="https://web.fe.up.pt/~epia2017/call-for-papers/">https://web.fe.up.pt/~epia2017/call-for-papers/</a> <br><br>For more info on EPIA itself, such as the program, invited <br>speakers and registration, please refer to: <br><a href="https://web.fe.up.pt/~epia2017/">https://web.fe.up.pt/~epia2017/</a></body></html>