PSL: A semantic domain for flow models
暂无分享,去创建一个
[1] Mark S. Fox,et al. The TOVE Project Towards a Common-Sense Model of the Enterprise , 1992, IEA/AIE.
[2] Michael Grüninger,et al. Ontologies for Integrating Engineering Applications , 2001, J. Comput. Inf. Sci. Eng..
[3] Craig Schlenoff,et al. Requirements for Modeling Manufacturing Process: A New Perspective , 1997 .
[4] Patrick J. Hayes,et al. A Semantics for the Knowledge Interchange Format , 2001 .
[5] Daniel G. Bobrow,et al. Book review: The Art of the MetaObject Protocol By Gregor Kiczales, Jim des Rivieres, Daniel G. and Bobrow(MIT Press, 1991) , 1991, SGAR.
[6] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[7] Kevin Crowston,et al. Organizing Business Knowledge: The MIT Process Handbook , 2003 .
[8] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[9] Michael R. Genesereth,et al. Knowledge Interchange Format , 1991, KR.
[10] Narciso Martí-Oliet,et al. From Petri nets to linear logic , 1989, Mathematical Structures in Computer Science.
[11] Monique Snoeck,et al. Enterprise Modelling , 1998, ECOOP Workshops.
[12] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[13] Jintae Lee,et al. Applying specialization to process models , 2018, COCS '95.
[14] Craig Schlenoff,et al. The essence of the process specification language , 1999 .
[15] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[16] Conrad Bock,et al. UML 2 Activity and Action Models, Part 5: Partitions , 2004, J. Object Technol..
[17] Michael Grüninger,et al. A formal foundation for process modeling , 2001, FOIS.
[18] Craig A. Knoblock,et al. PDDL-the planning domain definition language , 1998 .
[19] John Arnold Kalman. Automated Reasoning With Otter , 2001 .
[20] Michael Gruninger. Ontology of the Process Specification Language , 2004 .
[21] James L. Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[22] Michael Grüninger,et al. The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..
[23] George M. Wyner. Defining Specialization for Process Models , 2001 .
[24] R. Karp,et al. Properties of a model for parallel computations: determinacy , 1966 .