5-8 Sep 2017
Porto, Portugal
CALL FOR PAPERS (extended deadline!) Knowledge Representation and Reasoning 18th EPIA Conference on Artificial Intelligence Porto, Portugal September, 5-8, 2017 New Submission Deadline: ** May 1, 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/ -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam