**************************************
CALL FOR PAPERS
**************************************
Knowledge Representation and Reasoning
23rd EPIA Conference on Artificial Intelligence – EPIA 2024
September 3-6, 2024
Viana do Castelo, Portugal
**************************************
The aim of this track is to gather and discuss novel research in the area of Knowledge Representation and Reasoning, both for theoretical results as well as implemented systems and applications.
EPIA is a well-established international conference on Artificial Intelligence. The scientific program is composed of thematic tracks. Submitted papers will be subject to a rigorous revision process and accepted papers will be published in Springer’s Lecture Notes in Artificial Intelligence (LNAI).
**************************************
Important Dates
**************************************
Paper submission deadline: Apr 30, 2024
Notification of paper acceptance: Jun 15, 2024
Camera-ready papers deadline: Jul 15, 2024
Conference dates: September 3-6, 2024
**************************************
Submission and Reviewing
**************************************
– All papers should be submitted in PDF format through the EPIA 2024 EasyChair submission page https://easychair.org/my/conference?conf=epia2024
– Prospective authors should select the KRR track. The papers should be prepared according to the Springer LNAI format, with a maximum of 12 pages.
– Submitted papers will be subject to a double-blind review process and will be peer-reviewed by at least three members of our track Program Committee. It is the responsibility of the authors to remove names and affiliations from the submitted papers, and to take reasonable care to assure anonymity during the review process.
– Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers.
**************************************
Proceedings and Presentations
**************************************
– Accepted papers will be included in the conference proceedings (as in previous editions, the publication of a volume of Springer's LNAI-Lecture Notes in Artificial Intelligence is expected), as long as at least one author is registered in EPIA 2024 by the deadline advance registration.
– EPIA 2024 proceedings are indexed in Thomson Reuters ISI Web of Science, Scopus, DBLP and Google Scholar.
– Each accepted paper must be presented by one of the authors in a track session.
**************************************
Awards
**************************************
The conference will grant the following awards:
* Best Paper Award, for the best research paper presented at the conference
* Best Application Paper, for the best application paper presented at the conference
* Best Student Paper Award, for the best research paper presented at the conference where the first author is a student (to confirm)
Important: only papers that have been submitted to a thematic track and presented at the conference will be eligible for these awards.
**************************************
Topics for KRR track
**************************************
Topics of interest for the KRR track include, but are not limited to:
• Action, change, causality and causal reasoning
• Argumentation
• Belief revision and update, belief merging
• Commonsense reasoning
• Constraint programming and KRR
• Contextual reasoning
• Description logics
• Diagnosis, abduction, explanation finding
• Inconsistency- and exception tolerant reasoning, paraconsistent logics
• KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
• KR and decision making, game theory, social choice
• KR and machine learning, inductive logic programming, knowledge discovery and acquisition
• KR and stream reasoning
• KR and the Web, Semantic Web
• Logic programming, answer set programming, constraint logic programming
• Non-monotonic logics, default logics, conditional logics
• Ontology formalisms and models
• Preferences: modeling and representation, preference-based reasoning
• Reasoners and solvers: SAT solvers, theorem provers, QBF solvers, and others
• Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics
• Spatial reasoning and temporal reasoning, qualitative reasoning
• Uncertainty, representations of vagueness, many-valued and fuzzy logics
**************************************
KRR@EPIA 2024 Committees
**************************************
Organising Committee
Pedro Cabalar, University of Corunna, Spain
Eduardo Fermé, University of Madeira, Portugal
Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal
Matthias Knorr, Universidade NOVA de Lisboa, Portugal
Rafael Peñaloza Nyssen, University of Milano-Bicocca, Italy
Program Committee
Carlos Areces, Universidad Nacional de Córdoba, Argentina
Carmine Dodaro, University of Calabria, Italy
Cristina Feier, Technical University of Cluj Napoca, Romenia
David Pearce, Universidad Politécnica de Madrid, Spain
Erman Acar, Vrije Universiteit Amsterdam, Netherlands
Fabrizio Maggi, Free University of Bozen-Bolzano, Italy
Francesca Alessandra Lisi, Universit degli Studi di Bari Aldo Moro, Italy
Gerhard Brewka, Leipzig University, Germany
Inês Lynce, University of Lisbon, Portugal
Jesse Heyninck, Open Universiteit, the Netherlands
João Leite, Universidade Nova de Lisboa, Portugal
José Júlio Alferes, Universidade Nova de Lisboa, Portugal
Mantas Simkus, Vienna University of Technology, Austria
Manuel Ojeda, Universidad de Málaga, Spain
Maria Vanina Martinez, Artificial Intelligence Research Institute (IIIA – CSIC), Spain
Marco Paulo Ferreirinha Garapa, University of Madeira, Portugal
Mario Alviano, University of Calabria, Italy
Maurício Duarte Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Gran Sasso Science Institute, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas, Brazil
Ramon Pino Perez, Université d'Artois, France
Salvador Abreu, University of Évora, Portugal