[DL] Call for papers - KRR track at EPIA 2017

[Matthias Knorr]

----------------------------------------------------------------- 

*** Apologies for multiple copies *** 

CALL FOR PAPERS 

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 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 
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, 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 
Özgür Lütfü Özcep, University of Lübeck, Germany 

For more info on the track: 
https://web.fe.up.pt/~epia2017/thematic-tracks/krr/ 

Regarding the submission: 
https://web.fe.up.pt/~epia2017/call-for-papers/ 

For more info on EPIA itself, such as the program, invited 
speakers and registration, please refer to: 
https://web.fe.up.pt/~epia2017/ 

-----------------------------------------------------------------