CFP: special session on Action Languages in the Hellenic AI conference

[Alexander Artikis]

Special Session in the Hellenic Artificial Intelligence Conference
May 15-17, 2014

http://setn2014.cs.uoi.gr/index.php/en/special-sessions/action-languages


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:
http://setn2014.cs.uoi.gr/index.php/en/submission

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,
Greece
Stavros Vassos, Sapienza University of Rome, Italy
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20131204/3c03736f/attachment.html>