ACM Symposium on Applied Computing

Track on Knowledge Representation and Reasoning (KRR)
part of the
34th ACM/SIGAPP Symposium On Applied Computing

Paper submission deadline extended to Sept. 24th, 2018

Overview OVERVIEW  

The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications) of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision).

Back to top Back to top

Scope SCOPE  

Knowledge-representation and Reasoning (KRR) is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. 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. Topics of interest include, but are not limited to:

Back to top Back to top

submissions SUBMISSIONS  

We would like to invite authors to submit papers on research on KRR area, with particular emphasis on assessing the current state of the art and identifying future directions.

Submissions fall into the following categories:

Submission instructions:

Accepted papers instructions:

Back to top Back to top

Important Dates IMPORTANT DATES  

The schedule of important dates for the track is as follows, note that the submission deadline is strict:

Back to top Back to top

Organisation TRACK CHAIRS  

Stefano Bistarelli (Primary Contact)
Dipartimento di Matematica e Informatica- Università di Perugia, Italy
Martine Ceberio
Department of Computer Science, University of Texas at El Paso, USA
Eric Monfroy
University of Nantes, France
Francesco Santini
Dipartimento di Matematica e Informatica- Università di Perugia, Italy
Back to top Back to top


Franz Baader, TU Dresden, Germany

Pietro Baroni, University of Brescia, Italy

Elise Bonzon, University of Paris Descartes, France

Martin Caminada, Cardiff University, UK

Claudia d'Amato, University of Bari, Italy

Emmanuel Desmontils, Univesity of Nantes, France

Pierpaolo Dondio, Dublin Institute of Technology, Ireland

Wolfgang Dvorak, TU Wien, Austria

Wolfgang Faber, University of Klagenfurt, Austria

Lluis Godo, Artificial Intelligence Research Institute (IIIA), Spain 

Matti Jarvisalo, University of Kelsinki, Finland

Gabriele Kern-Isberner, TU Dortmund, Germany

Boris Konev, University of Liverpool, UK

Costas Koutras, University of Peloponnese, Greece

Joao Leite, New University of Lisbon, Portugal

Beishui Liao, Zhejiang University, China

Jean-Guy Mailly, University of Paris Descartes, France

Loizos Michael, Open University of Cyprus, Cyprus

Aniello Murano, University of Naples Federico II, Italy 

Odinaldo Rodrigues, King’s College, UK

Guillermo R. Simari, National University of Sur, Argentina 

Tran Cao Son, New Mexico State University, USA

Paolo Torroni, University of Bologna, Italy

Nicolas Troquard, University of Bozen, Italy

Serena Villata, CNRS Sophia-Antipolis, France

Johannes Peter Wallner, TU Wien, Austria

Leon van der Torre, University of Luxembourg, Luxembourg

Back to top Back to top