[Apologies if you receive multiple copies. Please forward this call to interested parties.] ============================================= Call for Papers ============================================= TKR2025 The First International Workshop on Trends in Knowledge Representation and Reasoning
https://tkr2025.krportal.org Co-located with the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada August 16-18, 2025 *** Paper submission deadline: May 9, 2025 *** Description ============================================= This workshop aims at providing a forum for the general area of Knowledge Representation and Reasoning (KR), which is a well-established and active area of research within Artificial Intelligence. KR is about the declarative representation of knowledge and develops methods for automated reasoning under vagueness, uncertainty, incompleteness, and inconsistency. We welcome contributions from all areas of KR, in particular including the following topics: • Automated reasoning • Belief change • Common-sense reasoning • Computational aspects of knowledge representation • Constraint solving • Description logics • Explanation, abduction and diagnosis • Formal Argumentation • Geometric, spatial, and temporal reasoning • Inconsistency- and exception-tolerant reasoning • Logic programming, answer set programming • Modeling and reasoning about preferences • Non-monotonic logics • Reasoning about actions and change, action languages • Reasoning about knowledge, beliefs, and other mental attitudes • Reasoning in knowledge graphs • Reasoning in multi-agent systems • Satisfiability and model counting • Semantic web • Uncertainty and vagueness Important Dates ============================================= Paper submission deadline: May 9, 2025 Notification of acceptance: June 6, 2025 Camera-ready version: June 27, 2025 Workshop: Aug 16,17, or 18, 2025 Submission ============================================= We invite papers, which have to be in English and formatted according to the IJCAI 2025 style (https://www.ijcai.org/authors_kit), in the following two categories: • Full technical papers (7 pages max., excluding references) are expected to report on new research that makes a substantial technical contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC. • Extended abstracts (2 pages max., excluding references) can report on research in progress or other issues of interest to the KR community. We particularly welcome extended abstracts of full papers accepted at IJCAI 2025 (which will only be reviewed lightly). Extended abstracts will be given a full presentation slot at the workshop. Submission are handled through chairingtool (https://chairingtool.com/conferences/ijcai25-w02/main-track). All papers will be subject to single-blind peer review based on the standard criteria of relevance, significance of results, originality of ideas, soundness, and quality of the presentation. All accepted papers and extended abstracts will be informally published as a technical report, and will be presented at the workshop. At least one author of each accepted paper must register for the workshop (through the IJCAI25 website, https://2025.ijcai.org/) and present the contribution. Organizers ============================================= Matthias Thimm (University of Hagen, Germany) Johannes K. Fichte (Linköping University, Sweden) Jean Christoph Jung (TU Dortmund University, Germany) Program Committee ============================================= Ofer Arieli Franz Baader Salem Benferhat Richard Booth Giovanni Casini Federico Cerutti Giuseppe De Giacomo Wolfgang Dvořák Thomas Eiter Eduardo Fermé Andreas Herzig Jesse Heyninck Laura Giordano Gabriele Kern-Isberner Ali Khazraee Gerhard Lakemeyer João Leite Carsten Lutz Jean-Guy Mailly Maria Vanina Martinez Thomas Meyer Juan Carlos Nieves Magdalena Ortiz Rafael Peñaloza Tjitze Rienstra Sebastian Rudolph Vladislav Ryzhikov Michael Thielscher Johannes P. Wallner Renata Wassermann ******************************************************************************** Prof. Dr. Matthias Thimm Artificial Intelligence Group University of Hagen, Germany Zoom: https://e.feu.de/thimm-zoom https://www.fernuni-hagen.de/aig - http://www.mthimm.de ******************************************************************************** Prof. Dr. Matthias Thimm Artificial Intelligence Group University of Hagen, Germany Zoom: https://e.feu.de/thimm-zoom https://www.fernuni-hagen.de/aig - http://www.mthimm.de -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
