Home

The First Workshop on Action Languages, Process Modeling, and Policy Reasoning (ALPP 2015) 

Aims and Scope

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 

Invited speakers: 

Philip W. L. Fong, University of Calgary

Michael Gelfond, Texas Tech University


ALPP 2015 is a workshop associated with LPNMR 2015