[PlanetKR] CFP: special session on Action Languages in the Hellenic AI conference (SETN'14)

Theodore Patkos 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.
     +Cognitive robotics.
     +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.

Key Dates:
Submission deadline: January 13
Notification: February 17
CRC deadline: March 5

Submission Instructions:

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 mailing list