(O deadline de submissão foi ontem, mas acabou de ser estendido em
duas semanas.)

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

CALL FOR PAPERS

Knowledge Representation and Reasoning

19th EPIA Conference on Artificial Intelligence

Vila Real, Portugal
September, 3-6, 2019

Submission Deadline: April 15, 2019.

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 Vila Real. 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).
A best paper award 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

Organising Committee
Eduardo Fermé, University of Madeira, Portugal
Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal
Matthias Knorr, Universidade NOVA de Lisboa, Portugal
Rafael Peñaloza, Free University of Bozen-Bolzano, Italy
Jörg Pührer, TU Wien, Austria

Program Committee
Adila A. Krisnadhi, Universitas Indonesia, Indonesia
Alejandro Garcia, Universidad Nacional del Sur, Argentina
Amelia Harrison, University of Texas, Austin, USA
Bart Bogaerts, Vrije Universiteit Brussel, Belgium
Carlos Areces, Universidad Nacional de Córdoba, Argentina
Carmine Dodaro, University of Genova, Italy
Cristina Feier, University of Bremen, Germany
David Rajaratnam, University of New South Wales, Australia
Emmanuele Dietz Saldanha, Technische Universität Dresden, Germany
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
Inês Lynce, University of Lisbon, Portugal
Ivan Varzinczak, Université d’Artois, France
João Leite, Universidade Nova de Lisboa, Portugal
João Marques-Silva, University of Lisbon, Portugal
José Júlio Alferes, Universidade Nova de Lisboa, Portugal
Jorge Fandinno, IRIT, Toulouse, France
Loizos Michael, Open University of Cyprus, Cyprus
Mantas Simkus, Vienna University of Technology, Austria
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
Marcelo Finger, University of São Paulo, Brazil
Maurício Duarte Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Free University of Bozen-Bolzano, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Pedro Cabalar, Corunna University, Spain
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

For more info on the track:
https://epia2019.utad.pt/index.php/83-thematic-tracks/107-krr

Regarding the submission:
https://epia2019.utad.pt/index.php/call-for-papers

For more info on EPIA itself, such as the program, invited
speakers and registration, please refer to:
https://epia2019.utad.pt

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgzjWuBCpLF%3DARxBh6XoOVK7K%2B6_%2BrSbevrqWA4w7n5fg%40mail.gmail.com.

Responder a