posted by organizer: safran || 25459 views || tracked by 6 users: [display]

KRR@SAC 2020 : Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)


When Mar 30, 2020 - Apr 3, 2020
Where Brno, Czech Republic
Submission Deadline Sep 29, 2019
Notification Due Nov 24, 2019
Final Version Due Dec 9, 2019
Categories    knowledge representation   artificial intelligence   logic

Call For Papers

The 35th ACM SIGAPP Symposium On Applied Computing
Brno, Czech Republic
March 30-April 3, 2020

Track on Knowledge Representation and Reasoning (KRR)

SUBMISSION DEADLINE: September 29, 2019


September 15, 2019: Submission of regular papers and SRC abstracts.
November 10, 2019: Notification of papers and posters and SRC acceptance/rejection.
November 25, 2019: Camera-ready copies of accepted papers.
March 30-April 3, 2020: Conference

The review process is double-blind, so authors need to completely anonymise their submissions.

Size of submissions is -strictly- limited to 8 pages in SAC Latex style (please refer to to download the author kit).
Two additional pages may be included for an additional fee, only after acceptance.

Submission system:

The topic of the track covers an important field of research in Artificial Intelligence: Knowledge Representation and Reasoning (KRR) is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Some examples of automated reasoning engines include inference engines, theorem provers, and classifiers. The KRR track will be a venue for all the researchers and practitioners working on the fundaments and applications of reasoning, and cross-fertilisation among different areas.
ACM SAC is ranked CORE:B, MAS:A-, SHINE:A. The acceptance rate for each track is below 25% as established by conference guidelines.

Knowledge-representation is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include:

• Argumentation.
• Belief revision and update, belief merging.
• Commonsense reasoning.
• Contextual reasoning.
• Description logics.
• Diagnosis, abduction, explanation.
• 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.
• Logic programming, answer set programming, constraint (logic) programming.
• Non-monotonic logics, default logics, conditional logics.
• Preferences: modeling and representation, preference-based reasoning.
• Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics.
• Reasoning systems and solvers, knowledge compilation.
• Spatial reasoning and temporal reasoning, qualitative reasoning.
• Uncertainty, representations of vagueness, many-valued and fuzzy logics.

Submissions fall into the following categories:
• Original and unpublished research work.
• Reports of innovative computing applications in the arts, sciences, engineering, and business areas.
• Reports of successful technology transfer to new problem domains.
• Reports of industrial experience and demos of new innovative systems.

Original papers addressing any of the listed topics of interest (or related topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2020 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus. Submissions should be properly anonymised to facilitate blind reviewing: the author(s) name(s) and address(es) must NOT appear in the body of the paper, and self-reference should be in the third person.

Size of submissions is *strictly* limited to 8 pages in SAC style; a maximum of 2 additional pages may be included for an additional fee, by extending the final version of the accepted paper.

Papers that received high reviews (that is acceptable by reviewer standards) but were not accepted due to space limitation can be invited for the poster session. The length of the poster is 3 pages (included in the registration) + 1 page (at extra charge) = 4 pages maximum.

Please check the author kit Latex style on the main SAC website (the format is usually the format used in the ACM templates). Papers failing to comply with length limitations risk immediate rejection.

Submissions will be in electronic format, via the website: (TO BE ANNOUNCED)

Graduate students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at SAC 2020 website. Submission of the same abstract to multiple tracks is not allowed. All research abstract submissions will be reviewed by researchers and practitioners with expertise in the track focus area to which they are submitted. Authors of selected abstracts (up to 18 students) will have the opportunity to give poster and oral presentations of their work and compete for three top-winning places. The SRC committee will evaluate and select First, Second, and Third place winners. The winners will receive medals and cash awards. Winners will be announced during the conference banquet. Invited students receive SRC travel support (US$500) and are eligible to apply to the SIGAPP Student Travel Award Program (STAP) for additional travel support.

Mario Alviano, University of Calabria
Franz Baader, TU Dresden
Roman Bartak, Charles University
Emmanuel Desmontils, Univesity of Nantes
Pierpaolo Dondio, Dublin Institute of Technology
Wolfgang Faber, Huddersfield School of computing
Lluis Godo, Artificial Intelligence Research Institute (IIIA)
Matti Jarvisalo, University of Helsinki
Souhila Kaci, Montpellier
Gabriele Kern-Isberner, TU Dortmund
Boris Konev, University of Liverpool
Costas Koutras, University of Peloponnese
Joao Leite, New University of Lisbon
Jean-Guy Mailly, Paris Descartes
Marco Maratea, University of Genova
Odinaldo Rodrigues, UCL London
Guillermo R. Simari, Universidad Nacional del Sur
Tran Cao Son, New Mexico State University
Paolo Torroni, University of Bologna
Serena Villata, CNRS Sophia-Antipolis
Johannes Wallner, TU Wien
Roland Yap, National University of Singapore

Stefano Bistarelli, University of Perugia, Italy
Martine Ceberio, University of Texas at El Paso, USA
Eric Monfroy, University of Nantes, France
Francesco Santini, University of Perugia, Italy

Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending ACM SAC MUST present the paper: This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library.

Related Resources

KR 2024   Principles of Knowledge Representation and Reasoning
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
TIME 2024   The 31st International Symposium on Temporal Representation and Reasoning
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
SWODCH 2024   4th International Workshop on Semantic Web and Ontology Design for Cultural Heritage
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
KoDis/CAKR 2024   Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR
AIKE 2024   7th IEEE International Conference on Artificial Intelligence and Knowledge Engineering
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
ISIT 2024 2024   2nd Conference on Intelligent Systems and Information Technologies Logic, Knowledge, and Reasoning in Intelligent Systems