The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications) of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision).
Back to top Back to top
Scope SCOPE
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:
Argumentation
Belief revision and update, belief merging, etc.
Commonsense reasoning
Constraint solving, programming, technologies
Contextual reasoning
Description logics
Diagnosis, abduction, explanation
Inconsistency- and exception tolerant reasoning, para-consistent 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
