Automated Planning for Business Process Management

[1]  Fabrizio Maria Maggi,et al.  Explaining Non-compliance of Business Process Models Through Automated Planning , 2018, ICSOC.

[2]  Massimiliano de Leoni,et al.  Aligning Partially-Ordered Process-Execution Traces and Models Using Automated Planning , 2018, ICAPS.

[3]  Fabrizio Maria Maggi,et al.  Predictive Process Monitoring Methods: Which One Suits Me Best? , 2018, BPM.

[4]  Massimo Mecella,et al.  Supporting adaptiveness of cyber-physical processes through action-based formalisms , 2017, AI Commun..

[5]  Massimiliano de Leoni,et al.  Aligning Real Process Executions and Prescriptive Process Models through Automated Planning , 2017, Expert Syst. Appl..

[6]  Andrea Marrella,et al.  What Automated Planning Can Do for Business Process Management , 2017, Business Process Management Workshops.

[7]  Yves Lespérance,et al.  A planning approach to the automated synthesis of template-based process models , 2017, Service Oriented Computing and Applications.

[8]  Wil M. P. van der Aalst,et al.  Business Process Variability Modeling , 2017, ACM Comput. Surv..

[9]  Hector Geffner,et al.  Best-First Width Search: Exploration and Exploitation in Classical Planning , 2017, AAAI.

[10]  Giuseppe De Giacomo,et al.  On the Disruptive Effectiveness of Automated Planning for LTLf-Based Trace Alignment , 2017, AAAI.

[11]  Marco Aiello,et al.  Automated Planning for Ubiquitous Computing , 2016, ACM Comput. Surv..

[12]  Massimo Mecella,et al.  Intelligent Process Adaptation in the SmartPM System , 2016, ACM Trans. Intell. Syst. Technol..

[13]  Richard Hull,et al.  Rethinking BPM in a Cognitive World: Transforming How We Learn and Perform Business Processes , 2016, BPM.

[14]  Marco Aiello,et al.  Domain-independent planning for services in uncertain and dynamic environments , 2016, Artif. Intell..

[15]  Wil M. P. van der Aalst,et al.  Process Mining , 2016, Springer Berlin Heidelberg.

[16]  Giuseppe De Giacomo,et al.  Computing Trace Alignment against Declarative Process Models through Planning , 2016, ICAPS.

[17]  Alasdair Gilchrist.  Industry 4.0 , 2016, Apress.

[18]  Wil M. P. van der Aalst,et al.  Process Mining , 2016, Springer Berlin Heidelberg.

[19]  Sergio Tessaris,et al.  Completing Workflow Traces Using Action Languages , 2015, CAiSE.

[20]  Florian Niebling,et al.  Modelling complex and flexible processes for smart cyber-physical environments , 2013, J. Comput. Sci..

[21]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

[22]  Vicente Pelechano,et al.  VIVACE: A framework for the systematic evaluation of variability support in process-aware information systems , 2015, Inf. Softw. Technol..

[23]  Claudio Di Ciccio,et al.  Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches , 2015, Journal on Data Semantics.

[24]  Hector Geffner,et al.  Non-classical Planning with a Classical Planner: The Power of Transformations , 2014, JELIA.

[25]  Massimo Mecella,et al.  SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning , 2014, KR.

[26]  P. Fettke,et al.  Industry 4.0 , 2014, Bus. Inf. Syst. Eng..

[27]  Andrew Crampton,et al.  Automated Knowledge Engineering Tools in Planning: State-of-the-art and Future Challenges , 2014 .

[28]  Marie-Pierre Gervais,et al.  Planning for declarative processes , 2014, SAC.

[29]  Fabrizio Maria Maggi,et al.  Predictive Monitoring of Business Processes , 2013, CAiSE.

[30]  T. L. McCluskey,et al.  Knowledge Engineering Tools in Planning : State-ofthe-art and Future Challenges , 2014 .

[31]  Hans Wortmann,et al.  Automated runtime repair of business processes , 2014, Inf. Syst..

[32]  Giuseppe De Giacomo,et al.  Automated Service Composition Based on Behaviors: The Roman Model , 2014, Web Services Foundations.

[33]  Yves Lespérance,et al.  Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes , 2013, 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications.

[34]  Boudewijn F. van Dongen,et al.  Controlling Break-the-Glass through Alignment , 2013, 2013 International Conference on Social Computing.

[35]  Blai Bonet,et al.  A Concise Introduction to Models and Methods for Automated Planning , 2013, A Concise Introduction to Models and Methods for Automated Planning.

[36]  Hector Geffner,et al.  Computational models of planning. , 2013, Wiley interdisciplinary reviews. Cognitive science.

[37]  Sonja Meyer,et al.  Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources , 2013, CAiSE.

[38]  Yves Lespérance,et al.  Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms , 2013, BMMDS/EMMSAD.

[39]  Juan Fernández-Olivares,et al.  From business process models to hierarchical task network planning domains , 2013, The Knowledge Engineering Review.

[40]  W.M.P. van der Aalst,et al.  Business Process Management: A Comprehensive Survey , 2013 .

[41]  Manfred Reichert,et al.  Time patterns for process-aware information systems , 2014, Requirements Engineering.

[42]  Massimo Mecella,et al.  Planlets: Automatically Recovering Dynamic Processes in YAWL , 2012, OTM Conferences.

[43]  Wil M. P. van der Aalst,et al.  Aligning Event Logs and Declarative Process Models for Conformance Checking , 2012, BPM.

[44]  Manfred Reichert,et al.  Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies , 2012 .

[45]  Massimo Mecella,et al.  Improving operational support in hospital wards through vocal interfaces and process-awareness , 2012, 2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS).

[46]  Mathias Weske,et al.  Business Process Management , 2012, Springer Berlin Heidelberg.

[47]  Manfred Reichert,et al.  Enabling Flexibility in Process-Aware Information Systems , 2012, Springer Berlin Heidelberg.

[48]  Antonio Bucchiarone,et al.  Adaptation of service-based business processes by context-aware replanning , 2011, 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[49]  Massimo Mecella,et al.  Featuring automatic adaptivity through workflow enactment and planning , 2011, 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom).

[50]  Hector Geffner,et al.  Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent , 2011, IJCAI.

[51]  Massimo Mecella,et al.  Continuous Planning for Solving Business Process Adaptivity , 2011, BMMDS/EMMSAD.

[52]  Raghava Rao Mukkamala,et al.  Nested Dynamic Condition Response Graphs , 2011, FSEN.

[53]  Hector Geffner,et al.  Searching for Plans with Carefully Designed Probes , 2011, ICAPS.

[54]  Massimo Mecella,et al.  Collaboration on-the-field: Suggestions and beyond , 2011, ISCRAM.

[55]  Massimiliano de Leoni,et al.  Process-Aware Information Systems for Emergency Management , 2010, ServiceWave Workshops.

[56]  Silvia Richter,et al.  The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks , 2010, J. Artif. Intell. Res..

[57]  Jörg Hoffmann,et al.  SAP Speaks PDDL , 2010, AAAI.

[58]  L. Engelen,et al.  Definition of Health 2.0 and Medicine 2.0: A Systematic Review , 2010, Journal of medical Internet research.

[59]  Tiziana Catarci,et al.  The WORKPAD User Interface and Methodology: Developing Smart and Effective Mobile Applications for Emergency Operators , 2009, HCI.

[60]  Richard Hull,et al.  Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges , 2008, OTM Conferences.

[61]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[62]  Wil M. P. van der Aalst,et al.  Process Flexibility: A Survey of Contemporary Approaches , 2008, CIAO! / EOMAS.

[63]  Bernhard Bauer,et al.  Semantic-Based Planning of Process Models , 2008, Multikonferenz Wirtschaftsinformatik.

[64]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[65]  Subbarao Kambhampati,et al.  Evaluating Temporal Planning Domains , 2007, ICAPS.

[66]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[67]  Angelo Oddi,et al.  Integrating planning and scheduling in workflow domains , 2007, Expert Syst. Appl..

[68]  Kees Nieuwenhuis,et al.  Information Systems for Crisis Response and Management , 2007, Mobile Response.

[69]  Remco M. Dijkman,et al.  Formal Semantics and Analysis of BPMN Process Models using Petri Nets , 2007 .

[70]  Matthias Klusch,et al.  Fast Composition Planning of OWL-S Services and Application , 2006, 2006 European Conference on Web Services (ECOWS'06).

[71]  Diogo R. Ferreira,et al.  An Integrated Life Cycle for Workflow Management Based on Learning and Planning , 2006, Int. J. Cooperative Inf. Syst..

[72]  Sheila A. McIlraith,et al.  Web Service Composition Via Generic Procedures and Customizing User Preferences , 2006, SEMWEB.

[73]  Piergiorgio Bertoli,et al.  Automated Web Service Composition by On-the-Fly Belief Space Search , 2006, ICAPS.

[74]  Malte Helmert,et al.  The Fast Downward Planning System , 2006, J. Artif. Intell. Res..

[75]  Koustuv Dasgupta,et al.  Synthy: A system for end to end composition of web services , 2005, J. Web Semant..

[76]  Wil M. P. van der Aalst,et al.  Process Aware Information Systems: Bridging People and Software Through Process Technology , 2005 .

[77]  Mathias Weske,et al.  Dynamic failure recovery of generated workflows , 2005, 16th International Workshop on Database and Expert Systems Applications (DEXA'05).

[78]  Annapaola Marconi,et al.  Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

[79]  Piergiorgio Bertoli,et al.  Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..

[80]  Joachim Peer,et al.  A POP-Based Replanning Agent for Automatic Web Service Composition , 2005, ESWC.

[81]  Annapaola Marconi,et al.  Automated synthesis of executable web service compositions from BPEL4WS processes , 2005, WWW '05.

[82]  Yves Lespérance,et al.  Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning , 2004, AAAI Fall Symposium: Agents and the Semantic Web.

[83]  Ute Beyer,et al.  Process-Aware Information Systems: Bridging People and Software Through Process Technology , 2005 .

[84]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[85]  Mathias Weske,et al.  Triggering Replanning in an Integrated Workflow Planning and Enactment System , 2004, ADBIS.

[86]  Jussi Rintanen,et al.  Complexity of Planning with Partial Observability , 2004, ICAPS.

[87]  Fahiem Bacchus,et al.  Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.

[88]  Ivan Serina,et al.  Planning in PDDL2.2 Domains with LPG-td , 2004 .

[89]  Malik Ghallab,et al.  Chapter 14 – Temporal Planning , 2004 .

[90]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[91]  Ivan Serina,et al.  LPG-TD : a Fully Automated Planner for PDDL 2 . 2 Domains , 2004 .

[92]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[93]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[94]  Timothy W. Finin,et al.  A Planner for Composing Services Described in DAML-S , 2003 .

[95]  Paul W. H. Chung,et al.  Exploiting AI Technologies to Realise Adaptive Workflow Systems , 2003 .

[96]  María Dolores Rodríguez-Moreno,et al.  Integrating AI planning techniques with workflow management system , 2002, Knowl. Based Syst..

[97]  Drew McDermott,et al.  Estimated-Regression Planning for Interactions with Web Services , 2002, AIPS.

[98]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[99]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[100]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[101]  Fausto Giunchiglia,et al.  Planning as Model Checking , 1999, ECP.

[102]  Vladik Kreinovich,et al.  Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness , 1999, IJCAI.

[103]  C. Beckstein,et al.  A Meta Level Architecture for Workflow Management , 1999, Trans. SDPS.

[104]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[105]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[106]  S. Sitharama Iyengar,et al.  An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment , 1997, Artif. Intell..

[107]  T. L. McCluskey,et al.  Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency , 1997, Artif. Intell..

[108]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[109]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[110]  Leslie Pack Kaelbling,et al.  Planning With Deadlines in Stochastic Domains , 1993, AAAI.

[111]  W. Bodmer.  Principles of Scientific Management , 1993, FASEB journal : official publication of the Federation of American Societies for Experimental Biology.

[112]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[113]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[114]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[115]  Frederick Winslow Taylor,et al.  科学管理原理=The principles of scientific management , 2014 .