[PlanetKR] CfP Knowledge Representation and Reasoning at EPIA 2017

Joerg Puehrer puehrer at informatik.uni-leipzig.de
Mon Mar 6 20:55:18 EST 2017

*** Apologies for multiple copies ***


Knowledge Representation and Reasoning

18th EPIA Conference on Artificial Intelligence

Porto, Portugal
September, 5-8, 2017

Submission Deadline: April 15, 2017

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, this year to be held in the beautiful city of Porto. 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).
Awards for the best paper and the best application paper will be granted.

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
• 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
Gerhard Brewka, Leipzig University, Germany
Pedro Cabalar, Corunna University, Spain
Esra Erdem, Sabanci University, Turkey
Cristina Feier, University of Bremen, Germany
Sarah Alice Gaggl, Technische Universität Dresden, Germany
Martin Homola, Comenius University, Slovakia
Daniela Inclezan, Miami University, USA
Adila A. Krisnadhi, Wright State University & Universitas 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
Özgür Lütfü Özcep, University of Lübeck, Germany

For more info on the track:

Regarding the submission:

For more info on EPIA itself, such as the program, invited
speakers and registration, please refer to:

-- Joerg Puehrer, Intelligent Systems Group, Department of Computer Science, Leipzig University, P/O 100920, D-04009 Leipzig, Germany, T: +49 (0) 341 / 97 - 32343  E: puehrer AT informatik DOT uni-leipzig DOT de

More information about the PlanetKR mailing list