Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent’s knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KRR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the Semantic Web, computational biology, and the development of software agents.

We welcome papers that contribute to the formal foundations of KRR or that show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show the use of, or contributions to, the principles or practice of KRR.

All papers should be submitted through the EPIA 2017 submission Website, by selecting the Knowledge Representation and Reasoning track, following the general instructions for EPIA 2017. Submissions must be original and can be of two types: full papers should not exceed twelve (12) pages in length, whereas short papers should not exceed six (6) pages.

Topics of Interest

Topics of interest include, but are not limited to:

• Action, change, causality and causal reasoning
• Argumentation
• Belief revision and update, belief merging, etc.
• 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

Organizing Committee

Ricardo Gonçalves, NOVA LINCS, Lisbon, Portugal
Minh Dao-Tran, KBS, Vienna University of Technology, Austria
Matthias Knorr, NOVA LINCS, Lisbon, Portugal
Jörg Pührer, ISG-CSI, Leipzig University, Germany

Program Committee

Slim Abdennadher, German University in Cairo, Egypt
Salvador Abreu, University of Evora, Portugal
José Júlio Alferes, Universidade Nova de Lisboa, Portugal
Mario Alviano, University of Calabria, Italy
Gerhard Brewka, Leipzig University, Germany
Pedro Cabalar, Corunna University, Spain
Esra Erdem, Sabanci University, Turkey
Cristina Feier, University of Bremen, Germany
Johannes Klaus Fichte, Vienna University of Technology, Austria
Sarah Alice Gaggl, Technische Universität Dresden, Germany
Amelia Harrison, University of Texas, Austin, USA
Martin Homola, Comenius University, Slovakia
Daniela Inclezan, Miami University, USA
Adila A. Krisnadhi, Wright State University & Universitas Indonesia, USA/Indonesia
Joao Leite, Universidade Nova de Lisboa, Portugal
Francesca Alessandra Lisi, Università degli Studi di Bari “Aldo Moro”, Italy
Ines Lynce, University of Lisbon, Portugal
Joao Marques-Silva, University of Lisbon, Portugal
Loizos Michael, Open University of Cyprus, Cyprus
David Rajaratnam, University of New South Wales, Australia
Orkunt Sabuncu, TED University Ankara, Turkey
Peter Schüller, Marmara University, Turkey
Mantas Simkus, Vienna University of Technology, Austria
Daria Stepanova, Max Planck Institute for Informatics, Germany
Hannes Strass, Leipzig University, Germany
Matthias Thimm, Universität Koblenz-Landau, Germany
Ivan Varzinczak, Université d’Artois, France
Carlos Viegas Damásio, Universidade Nova de Lisboa, Portugal
Antonius Weinzierl, Vienna University of Technology, Austria
Stefan Woltran, Vienna University of Technology, Austria
Guohui Xiao, Free University of Bozen-Bolzano, Italy
Edjard de Souza Mota, Federal University of Amazonas, Brazil
Özgür Lütfü Özcep, University of Lübeck, Germany