Dimitris Plexousakis  Home/Search
Context Related
| toronto.edu/pub/kbms/coocs95.ps.Z toronto.edu/pub/kbms/coocs95.ps.Z usf.edu/~dimitris/coocs95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: csri.utoronto.ca/~dp/publ (more) From: usf.edu/~dimitris/publ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a novel approach to simulating and analyzing business processes using GOLOG, a high-level logic programming language suitable for defining complex behaviors and capable of simulating action execution. The language is based on an extended version of the situation calculus and incorporates a formal theory of action. Business processes can be viewed as actions (physical or perceptual) that affect the state of affairs or an agent's knowledge of this state. Using GOLOG, business ... (Update)
Similar documents based on text: More All
0.3: Towards More Realistic Logic-Based Robot Controllers in . . . - Grosskreutz, al. (2000) (Correct)
0.3: Towards more realistic logic-based robot controllers in.. - Grosskreutz, Lakemeyer (2000) (Correct)
0.3: On sensing and off-line interpreting in GOLOG (Extended Anstract) - Lakemeyer (Correct)
Related documents from co-citation: More All
7: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
7: Communications of the ACM (context) - Bill, Marc et al. - 1992
6: The ORDIT approach to organisational requirements (context) - Dobson, Blyth et al. - 1994
BibTeX entry: (Update)
D. Plexousakis. Simulation and Analysis of Business Processes Using GOLOG. In Proceedings of the Conference on Organizational Computing Systems, pages 311--322, Milpitas, CA, 1995. http://citeseer.ist.psu.edu/plexousakis95simulation.html More
@inproceedings{ plexousakisplexousakissimulation,
author = "D. Plexousakis",
title = "Simulation and Analysis of Business Processes Using {GOLOG}",
pages = "311--323",
url = "citeseer.ist.psu.edu/plexousakis95simulation.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy - 1969
388 The Frame Problem in the Situation Calculus: A Simple Soluti.. (context) - Reiter - 1991
229 Goal-Directed Requirements Acquisition - Dardenne, van Lamsweerde et al. - 1993
65 Temporal Reasoning in the Situation Calculus - Pinto - 1994
60 Communications of the ACM (context) - Curtis, Kellner et al. - 1992
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1988
46 A Logical Approach to High-Level Robot Programming - A Progr.. - Lesperance, Levesque et al. - 1994
40 A Plan-based Intelligent Assistant that Supports the Softwar.. (context) - Huff, Lesser - 1988
24 And nothing else changes: The Frame Problem (context) - Borgida, Mylopoulos et al. - 1993
13 Requirements Modeling: A Knowledge Representation Approach t.. (context) - Greenspan - 1984
8 Animating Formal Requirements Specifications of Cooperative .. (context) - Dubois, Bois et al. - 1994
5 Telos: A Language for Representing Knowledge in Information .. (context) - Mylopoulos, Borgida et al. - 1990
4 Office Streamlining (context) - Ellis - 1980
4 Agent-Oriented Requirements Engineering - a Case Study Using.. - Dubois, Bois et al. - 1994
4 AI in Business Process Reengineering (context) - Hamscher - 1994
2 Tutorial at the 2nd Int (context) - Karagiannis, Process - 1994
1 Accommodating Integrity Constrainst During Database Design (context) - Plexousakis, Mylopoulos - 1995
1 State Constraints Revisited -- Extended Abstract (context) - Lin, Reiter - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csri.utoronto.ca/~dp/publ.html): More
Building Knowledge Base Management Systems - Mylopoulos, Chaudhri.. (1995) (Correct)
Compilation and Simplification of Temporal Integrity Constraints - Plexousakis (1995) (Correct)
Building Knowledge Base Management Systems: A Progress .. - Mylopoulos, Chaudhri, .. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC