Logic List Mailing Archive

CfP special issue of AIJ on Epistemic Planning, Deadline: 1 Oct 2018

Call for papers: Special Issue of the Artificial Intelligence Journal 
(AIJ) on Epistemic Planning

Epistemic planning is the enrichment of automated planning with epistemic 
notions such as knowledge and belief. In general, single-agent epistemic 
planning considers the following problem: given an agent?s current state 
of knowledge, and a desirable state of knowledge, how does it get from one 
to the other? In multi-agent epistemic planning, the current and desirable 
states of knowledge might also refer to the states of knowledge of other 
agents, including higher-order knowledge like ensuring that agent A 
doesn?t get to know that agent B knows P. Single-agent epistemic planning 
is of central importance in settings where agents need to be able to 
reason about their own lack of knowledge and, e.g., make plans of how to 
achieve the required knowledge. Multi-agent epistemic planning is 
essential for coordination and collaboration among multiple agents, where 
success can only be expected if agents are able to reason about the 
knowledge, uncertainty and capabilities of other agents. It is a 
relatively recent area of research involving combinations of several 
sub-areas of artificial intelligence, such as automated planning, 
decision-theoretic planning, epistemic logic, strategic reasoning and 
knowledge representation & reasoning. In order to achieve formalisms and 
systems for epistemic planning that are both expressive and practically 
efficient, it is necessary to combine state of the art from several such 
sub-areas of artificial intelligence that have so far been considered 
mostly in separation. Epistemic planning has applications in game playing, 
human-robot interaction, social robotics, etc. For this special issue of 
AIJ, we invite papers on theory, applications, and implemented systems of 
epistemic planning.

-- How to submit --

Please submit your article using the Elsevier Editorial System 
(http://ees.elsevier.com/artint). To ensure that all manuscripts are 
correctly identified as submissions for the special issue, select Special 
Issue - Epistemic Planning when you reach the "Article Type" step in the 
submission process. Manuscripts can be submitted until the deadline and 
the reviewing process of each manuscript will start immediately after 
submission. Preliminary versions of the papers will be published 
continuously (as soon as accepted) on the special issue website. Submitted 
manuscripts should not have been published previously, nor be under 
consideration for publication elsewhere.

-- Important dates --
- Submission deadline: 1 October 2018
- Notification: 1 February 2019

-- Guest editors --
- Vaishak Belle, University of Edinburgh, Scotland, UK
- Thomas Bolander, Technical University of Denmark, Denmark
- Andreas Herzig, CNRS, IRIT Toulouse, France
- Bernhard Nebel, Albert-Ludwigs-Universität Freiburg, Germany
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam