Knowledge Representation and Reasoning (KRR)

Knowledge Representation and Reasoning (KRR) is a well-established research area of Artificial Intelligence. 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. The scope of this track includes contributions 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.

We welcome submissions of full papers (max. 12 pages) and short papers (max. 6 pages).

Topics of Interest

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. Topics of interest 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

Organizing Committee

  • Pedro Cabalar, Corunna University, 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 

  • Adila A. Krisnadhi, Universitas Indonesia, Indonesia
  • Alejandro Garcia, Universidad Nacional del Sur, Argentina
  • Bart Bogaerts, Vrije Universiteit Brussel, Belgium
  • Carlos Areces, Universidad Nacional de Córdoba, Argentina
  • Carmine Dodaro, University of Calabria, Italy
  • Cristina Feier, University of Bremen, Germany
  • David Pearce, Universidad Politécnica de Madrid, Spain
  • David Rajaratnam, University of New South Wales, Australia
  • Emmanuele Dietz Saldanha, Technische Universität Dresden, Germany
  • Erman Acar, Vrije Universiteit Amsterdam, Netherlands
  • Fabrizio Maggi, University of Tartu, Estonia
  • Francesca Alessandra Lisi, Universit degli Studi di Bari Aldo Moro, Italy
  • Gerhard Brewka, Leipzig University, Germany
  • Guohui Xiao, Free University of Bozen-Bolzano, Italy
  • Isidoros Perikos, University of Patras, Greece
  • Inês Lynce, University of Lisbon, Portugal
  • Ivan Varzinczak, Université d’Artois, France
  • Jesse Heyninck, University of Dortmund, Germany
  • João Leite, Universidade Nova de Lisboa, Portugal
  • João Marques-Silva, University of Toulouse, France
  • José Júlio Alferes, Universidade Nova de Lisboa, Portugal
  • Jorge Fandinno, University of Potsdam, Germany
  • Loizos Michael, Open University of Cyprus, Cyprus
  • Mantas Simkus, Vienna University of Technology, Austria
  • Manuel Ojeda, Universidad de Málaga, Spain
  • Maria Vanina Martinez, Universidad Nacional del Sur, Argentina
  • Marco Paulo Ferreirinha Garapa, University of Madeira, Portugal
  • Mario Alviano, University of Calabria, Italy
  • Matthias Thimm, Universität Koblenz-Landau, Germany
  • Maurício Duarte Luís Reis, University of Madeira, Portugal
  • Nicolas Troquard, Free University of Bozen-Bolzano, Italy
  • Orkunt Sabuncu, TED University Ankara, Turkey
  • Rafael Testa, University of Campinas, Brazil
  • Ramon Pino Perez, Yachay Tech University, Ecuador
  • Salvador Abreu, University of Évora, Portugal
  • Stefan Woltran, Vienna University of Technology, Austria