(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.