Modeling dynamic domains with congolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1626, Issue , 1999, Pages 365-380

  Lespérance, Yves ^a   Kelley, Todd G ^b   Mylopoulos, John ^b   Yu, Eric S K ^b  

^a YORK UNIVERSITY   (Canada)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; LOGIC PROGRAMMING; SEMANTICS; SPECIFICATION LANGUAGES; SYSTEMS ENGINEERING;

BUSINESS PROCESS; COMPLETE INFORMATION; CONCURRENT PROCESS; DYNAMIC DOMAINS; LOGICAL FRAMEWORKS; PROCESS SPECIFICATION LANGUAGE; REQUIREMENTS ANALYSIS; VERIFICATION TOOLS;

COMPUTATIONAL LINGUISTICS;

EID: 84880920702     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48738-7_27     Document Type: Conference Paper

References (21)

1. D. Bjorner and C.B. Jones. The Vienna Development Method: The Metalanguage, volume 61 of LNCS. Springer-Verlag, 1978.
2. A. Borgida, J. Mylopoulos, and R. Reiter.…and nothing else changes: The frame problem in procedural specifications. In Proc. ICSE-93, 1993.
3. Giuseppe De Giacomo, Yves Lesperance, and Hector J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pages 1221-1226, Nagoya, Japan, August 1997.
4. Giuseppe De Giacomo, Yves Lesperance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus: Language and implementation. Submitted, 1999.
5. Giuseppe De Giacomo, Yves Lesperance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus: Foundations. Submitted, 1999.
6. M. Gelfond and Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17(301-327), 1993.
7. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8, 1997.
8. C. Heitmeyer, R. Jeffords, and B. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(5), July 1996.
9. Todd Kelley and Yves Lesperance. The Golog Domain Language: an abstract language for specifying domain dynamics. In preparation, 1999.
10. Hector J. Levesque, Raymond Reiter, Yves Lesperance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(59-84), 1997.
11. Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655-678, 1994.
12. Fangzhen Lin and Raymond Reiter. How to progress a database. Artificial Intelligence, 92:131-167, 1997.
13. John McCarthy and Patrick Hayes. Some philosophical problems from the stand-point of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463-502. Edinburgh University Press, Edinburgh, UK, 1979.
14. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, 1981.
15. Dimitris Plexousakis. Simulation and analysis of business processes uning GOLOG. In Proceedings of the Conference on Organizational Computing Systems, Milpitas, CA, August 1995.
16. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark, 1981.
17. Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, CA, 1991.
18. Raymond Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, 64:337-351, 1993.
19. Steven Shapiro, Yves Lesperance, and Hector J. Levesque. Specifying communicative multi-agent systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 75-82, Cambridge, MA, November 1997.
20. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989.
21. Eric K.S. Yu, John Mylopoulos, and Yves Lesperance. AI models for business process reengineering. IEEE Expert, 11:16-23, August 1996.