KR Track

CALL FOR PAPERS 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Knowledge Representation and Reasoning Track

Buenos Aires, Argentina

25 July-1 August 2015

http://ijcai-15.org/

CALL FOR PAPERS

Knowledge Representation and Reasoning (KRR) is an exciting, central, and well-established area of Artificial Intelligence. In KRR, a fundamental assumption is that an agent’s knowledge is explicitly represented, and is amenable for processing by domain-independent reasoning engines.

The notion of “knowledge” in KRR is broadly taken and includes not just an agent’s beliefs, but also its preferences, intentions, assumptions, goals, and any other phenomena that allows a declarative representation.

As well, the notion of “reasoning” in KRR is similarly broadly taken and includes not just classical deductive inference, but also nonmonotonic, plausible, qualitative, probabilistic, and other forms of principled
reasoning.

The assumption that much of the information that an agent deals with is knowledge-based is common in many modern intelligent systems. Consequently, KRR has contributed to the foundations of various areas in AI, such as automated planning, natural language understanding, among others, as well as to fields beyond AI, including databases, verification, and software engineering.

More recently KRR techniques and approaches have been applied in fields such as the semantic web, computational biology, software agents, question answering and video understanding.

We invite authors to submit papers presenting original and unpublished research on Knowledge Representation and Reasoning. We solicit papers that contribute to the formal foundations of relevant areas or that show the applicability of results to implemented or implementable systems.

KRR papers in IJCAI 2015 will be organized under a special KRR track with an aim to particularly welcome KRR papers that address AI as a whole as well as KRR papers that arise from other areas of AI, in addition to the traditional KRR papers. In addition, papers that raise novel KRR questions, rather than only providing solutions to existing KRR questions, will be especially welcome.

Topics of interest include, but are not limited to:

– Action, change, causality and causal reasoning
– Argumentation
– Belief change: revision and update, belief merging, information fusion
– Contextual reasoning
– Deployed KR systems
– Description logics
– Diagnosis, abduction, explanation finding
– Inconsistency and exception tolerant reasoning, paraconsistent logics
– KR and data management, ontology-based data access, queries and updates over incomplete data
– KR and decision making, game theory, economic models
– KR and the web
– KR and general game playing
– KR in video games, virtual environments
– KR in image and video understanding
– KR in machine learning, inductive logic programming, knowledge discovery and acquisition
– KR in natural language understanding and question answering
– KR in software engineering
– Logic programming, answer set programming, constraint logic programming
– Multi-agent systems, autonomous agents, cognitive robotics, logical models of agency
– Nonmonotonic logics, default logics, conditional logics
– Ontology languages and modeling
– Philosophical foundations of KR
– Preference modeling and representation, reasoning about preferences, preference-based reasoning
– Qualitative reasoning, reasoning about physical systems
– Reasoning about knowledge and belief, epistemic and doxastic logics
– Reasoning about norms and organizations, social knowledge and behavior
– Reasoners and solvers: theorem provers, SAT solvers, QBF solvers, and others.
– Spatial reasoning and temporal reasoning
– Uncertainty, representations of vagueness, many-valued and fuzzy logics, relational probability models

SUBMISSION DETAILS

All papers submitted to the Machine Learning track are regarded as regular submissions to IJCAI 2015. Please consult the main IJCAI 2015 Call For Papers at http://ijcai-15.org/index.php/call-for-papers for important dates, detailed submission instructions, (including formatting guidelines and electronic templates), review process, and important policies (on multiple submissions, confidentiality and conflict of interest).