*** Apologies for multiple copies *** CALL FOR PAPERS
Knowledge Representation and Reasoning 21st EPIA Conference on Artificial Intelligence August 31 – September 2, 2022 Lisbon, Portugal Submission Deadline: April 15, 2022. 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 and lively city of Lisbon. 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. We welcome double-blind submissions of papers (max. 12 pages), to be submitted as a PDF through EasyChair selecting the appropriate track. 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 Pedro Cabalar, University of Corunna, Spain Eduardo Fermé, University of Madeira, Portugal Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal Matthias Knorr, Universidade NOVA de Lisboa, Portugal Rafael Peñaloza Nyssen, University of Milano-Bicocca, Italy Program Committee Alejandro Garcia, Universidad Nacional del Sur, Argentina Carlos Areces, Universidad Nacional de Córdoba, Argentina Carmine Dodaro, University of Calabria, Italy Cristina Feier, University of Bremen, Germany David Pearce, Universidad Politécnica de Madrid, Spain David Rajaratnam, University of New South Wales, Australia Emmanuele Dietz Saldanha, Technische Universität Dresden, Germany Erman Acar, Vrije Universiteit Amsterdam, Netherlands 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 Jesse Heyninck, University of Dortmund, Germany João Leite, Universidade Nova de Lisboa, Portugal José Júlio Alferes, Universidade Nova de Lisboa, Portugal Jorge Fandinno, University of Nebraska at Omaha, USA Mantas Simkus, Vienna University of Technology, Austria Manuel Ojeda, Universidad de Málaga, Spain Maria Vanina Martinez, Universidad de Buenos Aires, Argentina Marco Paulo Ferreirinha Garapa, University of Madeira, Portugal Mario Alviano, University of Calabria, Italy Maurício Duarte Luís Reis, University of Madeira, Portugal Nicolas Troquard, Free University of Bozen-Bolzano, Italy Orkunt Sabuncu, TED University Ankara, Turkey Rafael Testa, University of Campinas, Brazil Ramon Pino Perez, Université d'Artois, France Salvador Abreu, University of Évora, Portugal For more info on the track: https://epia2022.inesc-id.pt/?page_id=376 For more info on EPIA itself, such as the program, invited speakers, submission details, and registration, please refer to: https://epia2022.inesc-id.pt ++++ Rafael R. Testa https://rafaeltesta.com/ <http://www.rafaeltesta.com> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANMteUkZbWKA_4kc%2Bh3fgTN-Kx-BZherbBHO740q-nMMhaqdig%40mail.gmail.com.