[PlanetKR] CFP: 1st Workshop on Action Languages, Process Modeling, and Policy Reasoning (ALPP 2015), an LPNMR workshop

Joohyung Lee joolee at asu.edu
Wed May 13 09:19:50 EST 2015

[apologies for cross-posting]


1st Workshop on Action Languages, Process Modeling, and Policy Reasoning
(ALPP 2015),
September, 27, 2015, Lexington, KY, USA.

Workshop collocated with LPNMR 2015

URL: http://sites.google.com/site/alpp2015


- Paper submission: July 15, 2015
- Notification of acceptance: August 17, 2015
- Camera ready submission:  September 7, 2015
- Workshop: September 27, 2015


Action languages are formal models for describing transition systems,
developed in the Artificial Intelligence community. Examples of actions
languages are STRIPS, ADL, the situation calculus, the event calculus, the
fluent calculus, temporal action logics, PDDL, and A-family languages, such
as A, B, C, C+, and AL. Encoding action domains in ASP is closely related
to representing them in action languages. Such languages enable formal
reasoning about actions and their effects, and several effective
implementations are available.

On the other hand, there are also various semi-formal languages developed
in software engineering and security areas for modeling processes or
specifying policies. Such languages are mainly developed for representing
various specific requirements for practical applications, and many of them
are industry standards. Typically their semantics are described in English
statements and diagrams, and formal description is often lacking. Examples
of these languages are UML, BPMN, BPEL4WS, WSDL, and XACML.

Both kinds of languages share some common aims with complementary
perspectives. There are various formal reasoning tasks developed in action
languages that may benefit process modeling and policy analysis. Various
needs arisen from specific applications may identify shortcomings of the
current progress in action languages. For instance, we are interested in
any aspects that force one to use low level logics, such as answer set
programming languages, for expressing high level concepts required in
processes and policies.

The aim of ALPP 2015 is to bring together people from different communities
(such as the Artificial Intelligence and Software Engineering), including
theorists and practitioners, and to provide a unique opportunity to share
their perspectives with others interested in the various aspects.

Topics of interests include, but are not limited to:
- action languages and process/workflow modeling
- answer set programming and process/workflow modeling
- action languages and policy representation & reasoning
- answer set programming and policy representation & reasoning
- formal analysis of process and policies
- relating action languages to process modeling languages
- relating action languages to policy languages


Submissions must be written in English and formatted according to the
Springer LNCS/LNAI author instructions.


Papers must present original research and not exceed 15 pages including
title page, references and figures. Paper submission and peer review is
electronic and managed through the following easychair webpage.

Paper submission is electronic and managed through easychair:



Chitta Baral, Arizona State University
Marcello Balduccini, Drexel University
Alfredo Gabaldon, GE Global Research
Michael Gelfond, Texas Tech University
Hongxin Hu, Clemson University
Daniela Inclezan, Miami University
Vladimir Lifschitz, University of Texas
Jorge Lobo, ICREA and Universitat Pompeu Fabra
Yunsong Meng, Samsung Research America
Alessandro Provetti, University of Messina
Alessandra Russo, Imperial College London
Son Tran, New Mexico State University


Gail-Joon Ahn, Arizona State University
Joohyung Lee, Arizona State University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20150512/87fe3c48/attachment.html 

More information about the PlanetKR mailing list