In the “Events” category, you will find information about activities in the “Logic and Rational Interaction” area.
BNC@ECAI(First Call For Papers): Belief Change, Nonmonotonic Reasoning, Conflict Resolution, Montpellier (France), August 2012
Belief change, Non-monotonic reasoning and Conflict resolution
First Call For Papers
Aims and Scope
Belief change, non-monotonic reasoning and conflict resolution are well established research areas in Artificial Intelligence. In recent years these topics have become important for designing robots and infobots with convincing reasoning and adaptation capabilities. The main aim of this workshop is to bring together active researchers on these topics, including work on belief revision, belief merging, reasoning about action, logic programming, inconsistency management, judgment aggregation, negotiation, and other related topics. Papers on emerging research in this area are
Numerous recent papers use techniques from belief change to define conflict resolution methods. In particular, several negotiation and judgment aggregation methods are closely related to work in belief revision or belief merging. Combining ideas from these research topics is one of the aims of this workshop. Hence we especially encourage submission of survey papers or position papers on these questions.
A further important trend is the study of the applicability of well known belief change operators and techniques for particular languages that are largely used in applications, such as Horn logics, description logics, or argumentation frameworks. New developments towards such applicative contexts are also highly welcome.
Topics of interest include, but are not limited to:
- Belief change
- Belief revision and update
- Belief merging
- Conflict resolution
- Inconsistency management
- Judgment aggregation
- Logic Programming
- Non-monotonic reasoning
- Reasoning about action and change
Papers submitted to BNC'12 must be no longer than 7 pages in the ECAI format
and the pdf file should be submitted on EasyChair:
Submission deadline : 25 May 2012
Notification: 22 June 2012
Final version deadline: 6 July 2012