IJCAI 2015 KR Track - CALL FOR PAPERS

[IJCAI 2015 Publicity Chairs]

[Apology for cross-postings]

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

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
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20141107/0aaaf64b/attachment.html>