[PlanetKR] CFP: special session on Action Languages in the Hellenic AI conference (SETN'14)
patkos at csd.uoc.gr
Wed Dec 4 23:33:30 EST 2013
Apologies for cross-posting.
Special Session in the Hellenic Artificial Intelligence Conference
May 15-17, 2014
Action Languages: Theory & Practice
Action languages are formalisms supporting the representation and
reasoning of actions or events and their effects. They constitute an
important field of Artificial Intelligence, having played a pivotal role
in the development of logics and languages to represent knowledge and
reason about the dynamics of systems. Examples are the Situation
Calculus, the Event Calculus and the language BC.
The aim of this special session is to bring together researchers working
in the active field of action languages. This way, researchers will be
able to exchange ideas and establish common research programmes.
We invite quality submissions focusing on various aspects of action
languages. We welcome both theoretical contributions as well as papers
describing emerging applications. For the latter, a time slot will be
devoted to software demos (authors should state their desire to
accompany the oral presentation with a live demo or video clip in their
submission). Broad topics include:
-Action language implementations.
-Benchmark problems and datasets.
-Action languages for:
+Stream processing in Big Data applications.
+Reasoning and planning in Ambient Intelligence.
+Run-time service discovery.
+Managing competitive multi-agent systems.
+Supporting health care systems.
+Complex event and activity recognition.
+Reasoning about the knowledge of other agents.
+Static and run-time reasoning about (data-aware) business processes.
-Action languages in video-games.
Submission deadline: January 13
Notification: February 17
CRC deadline: March 5
Special Session Organisers:
Alexander Artikis, NCSR Demokritos, Greece
Marco Montali, Free University of Bozen-Bolzano, Italy
Theodore Patkos, Foundation for Research and Technology (FORTH), Crete,
Stavros Vassos, Sapienza University of Rome, Italy
More information about the PlanetKR