Process representation and reasoning using a logic formalism with object-oriented features

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

Volumn 4103 LNCS, Issue , 2006, Pages 153-163

  Gualtieri, Andrea ^a   Dell'Armi, Tina ^a   Leone, Nicola ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW ANALYSIS; DATA STRUCTURES; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROCESS CONTROL;

KNOWLEDGE INFERENCE; WORKFLOW ENGINES;

FORMAL LOGIC;

EID: 33749599737     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11837862_16     Document Type: Conference Paper

References (22)

1. Baral C. and Gelfond M.: Logic Programming and Knowledge Representation, JLP vol 19/20, 73-148 (1994).
2. Lobo J., Minker J. and Rajasekar A.: Foundations of Disjunctive Logic Programming, The MIT Press, Cambridge, Massachusetts (1992).
3. th IFIP World Computer Congress, Hamburg, Germany (1994).
4. Eiter T., Faber W., Gottlob G., Koch C., Leone N., Mateis C., Pfeifer G. and Scarcello F.: The DLV System, Workshop on Logic-Based Artificial Intelligence, Washington, DC (1999).
5. Gelfond M. and Lifschitz V.: Classical Negation in Logic Programs and Disjunctive Databases, NGC vol 9, 365-385 (1991).
6. Lifschitz V.: Foundations of Logic Programming, Principles of Knowledge Representation, 69-127 (1996).
7. Minker J.:Overview of Disjunctive Logic Programming, AMAI vol 12 1-24 (1994).
8. Baral C.: Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press (2002).
9. Greco S., Leone N. and Rullo P.: COMPLEX: An Object-Oriented Logic Programming System, IEEETKDE vol 4 (1992).
10. Casati F., Ceri S., Pernici B., and Pozzi G.: Conceptual Modeling of Workflows. In Proc. 14th Object-Oriented and Entity-Relationship Modelling , Gold Coast, Australia, December (1995).
11. Kappel G., Lang P., Rausch-Schott S., and RetschitzeggerW.: Workflow Management Based on Objects, Rules, and Roles. Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 18(1), pages 11-18 (1995).
12. Kradolfer M.: A Workflow Metamodel Supporting Dynamic, Reuse-Based Model Evolution, University of Zrich, Ph. D. Thesis
13. Greco G., Guzzo A., Manco G., Sacc D.: Mining and Reasoning on Workflows. IEEE Trans. Knowl. Data Eng. 17(4): 519-534 (2005)
14. Workflow Management Coalition: Terminology and Glossary, Issue 3.0. Document Number WfMC TC-1011 (1999).
15. Arkin A.: Business Process Modeling Language, BPMI.org (2002)
16. Shapiro R.: A comparison of XPDL, BPML and BPEL4WS, Cape Vision (2002).
17. van der Aalst W.M.P., The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66 (1998).
18. IBM: Business process execution language web services, version 1.0 (2002)
19. Jboss: jBPM Process Definition Language, version 3.0 (2005)
20. th International Conference on Knowledge Management, Graz Austria (2005)
21. OntoDLV system, http://www.exeura.it/ontodlv
22. Ricca F., Leone N.: Disjunctive Logic Programming with Types and Objects: The DLV+ System. Journal of Applied Logics Elsevier ISSN: 1570-8683 (to appear); KBS Research Reports INFSYS RR-1843-05-10 Institut fr Informationssysteme Technische Universitt Wien Favoritenstrasse 11 A-1040 Vienna Austria (2006)