Logic List Mailing Archive

KR Track at IJCAI 2015

25 Jul - 1 Aug 2015
Buenos Aires, Argentina

*************************************************************************************************

KR Track

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 KR 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).

IJCAI 2015 KR Track Co-chairs:

James Delgrande, Simon Fraser University, Canada
Fangzhen Lin, Hong Kong University of Science and Technology, Hong Kong


Find IJCAI-15 on Facebook: http://www.facebook.com/ijcai15
Find IJCAI-15 on Weibo: http://weibo.com/5225989544
Follow IJCAI-15 on Twitter: https://twitter.com/ijcai15