The Process Specification Language (PSL) Theory and Applications

AI Magazine

Volumn 24, Issue 3, 2003, Pages 63-74

  Grüninger, Michael ^a   Menzel, Christopher ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b TEXAS A AND M UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE; INTEROPERABILITY; PROJECT MANAGEMENT; SEMANTICS;

MATHEMATICAL TOOLS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0141882960     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (9)

1. Barwise J., and Etchemendy, J. 1987. The Liar: An Essay on Truth and Circularity. New York: Oxford University Press.
2. Dennet, D. C. 1987. The Intentional Stance. Cambridge, Mass.; MIT Press.
3. Devlin, K. 1991. Logic and Information. Cambridge, U.K.: Cambridge University Press.
4. McCarthy, J., and Hayes, P. 1969. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Machine Intelligence 4, eds. B. Meltzer and D. Michie, 463-502. Edinburgh, U.K.: Edinburgh University Press.
5. Marti-Oliet, N., and Meseguer, J. 1991. From Petri Nets to Linear Logic. Mathematical Structures in Computer Science 1(1): 69-101.
6. Menzel, C., and Gruninger, M. 2001. A Formal Foundation for Process Modeling. In Formal Ontology in Information Systems, eds. C. Welty and B. Smith, 256-269. New York: Association of Computing Machinery.
7. Pinto, J. 1994. Temporal Reasoning in the Situation Calculus, Technical Report, KRR-TR-94-1, Department of Computer Science, University of Toronto.
8. Reiter, R. 1991. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. Vladimir Lifschitz, 418-440. San Diego, Calif.: Academic.
9. Schlenoff, C.; Gruninger, M.; and Ciocoiu, M.. 1999. The Essence of the Process-Specification Language. Transactions of the Society for Computer Simulation 16(4): 204-216.