Track on Knowledge Representation and Reasoning (KRR) part of the 35^th ACM/SIGAPP Symposium On Applied Computing(KRR)

March 30 - April 3, 2020,Brno, Czech Republic

Call for Papers

Knowledge-representation and Reasoning (KRR) 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, but are not limited to:

Topics of Interest :

• Modeling and representation, preference-based reasoning
  
• Reasoning about knowledge and belief, dynamic epistemic logic
  
• Uncertainty,epistemic and doxastic logics
  
• Reasoning systems and solvers, knowledge compilation
  
• Spatial reasoning and temporal reasoning, qualitative reasoning
  
• Representations of vagueness, many-valued and fuzzy logics
  
• Argumentation
  
• Belief revision and update, belief merging, etc.
  
• Commonsense reasoning
  
• Constraint solving, programming, technologies
  
• Contextual reasoning
  
• Description logics
  
• Diagnosis, abduction, explanation
  
• KR and autonomous agents: intelligent agents, cognitive robotics
  
• KR and machine learning, inductive logic programming
  
• Logic programming, answer set programming

Paper Submission

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 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus.

Submissions will be in electronic format, via the website of AMC SAC 2020: http://www.sigapp.org/sac/sac2020

Important Dates