{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:28:10Z","timestamp":1726406890700},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540384441"},{"type":"electronic","value":"9783540384458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11837862_16","type":"book-chapter","created":{"date-parts":[[2006,9,19]],"date-time":"2006-09-19T10:22:52Z","timestamp":1158661372000},"page":"153-163","source":"Crossref","is-referenced-by-count":0,"title":["Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Gualtieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tina","family":"Dell\u2019Armi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. JLP\u00a019\/20, 73\u2013148 (1994)","journal-title":"JLP"},{"key":"16_CR2","volume-title":"Foundations of Disjunctive Logic Programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)"},{"key":"16_CR3","unstructured":"Disjunctive Logic Programming and Disjunctive Databases. In: 13th IFIP World Computer Congress, Hamburg, Germany (1994)"},{"key":"16_CR4","unstructured":"Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The DLV System. In: Workshop on Logic-Based Artificial Intelligence, Washington, DC (1999)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC\u00a09, 365\u2013385 (1991)","journal-title":"NGC"},{"key":"16_CR6","unstructured":"Lifschitz, V.: Foundations of Logic Programming. Principles of Knowledge Representation, 69\u2013127 (1996)"},{"key":"16_CR7","first-page":"1","volume":"12","author":"J. Minker","year":"1994","unstructured":"Minker, J.: Overview of Disjunctive Logic Programming. AMAI\u00a012, 1\u201324 (1994)","journal-title":"AMAI"},{"key":"16_CR8","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2002","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2002)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Greco, S., Leone, N., Rullo, P.: COMPLEX: An Object-Oriented Logic Programming System. IEEETKDE\u00a04 (1992)","DOI":"10.1109\/69.149930"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Conceptual Modeling of Workflows. In: Proc. 14th Object-Oriented and Entity-Relationship Modelling, Gold Coast, Australia (December 1995)","DOI":"10.1007\/BFb0020545"},{"issue":"1","key":"16_CR11","first-page":"11","volume":"18","author":"G. Kappel","year":"1995","unstructured":"Kappel, G., Lang, P., Rausch-Schott, S., Retschitzegger, W.: Workflow Management Based on Objects, Rules, and Roles. Bulletin of the Technical Committee on Data Engineering\u00a018(1), 11\u201318 (1995)","journal-title":"Bulletin of the Technical Committee on Data Engineering"},{"key":"16_CR12","unstructured":"Kradolfer, M.: A Workflow Metamodel Supporting Dynamic, Reuse-Based Model Evolution, University of Z\u00fcrich, Ph. D. Thesis"},{"issue":"4","key":"16_CR13","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1109\/TKDE.2005.63","volume":"17","author":"G. Greco","year":"2005","unstructured":"Greco, G., Guzzo, A., Manco, G., Sacc\u00e1, D.: Mining and Reasoning on Workflows. IEEE Trans. Knowl. Data Eng.\u00a017(4), 519\u2013534 (2005)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"16_CR14","unstructured":"Workflow Management Coalition: Terminology and Glossary, Issue 3.0. Document Number WfMC TC-1011 (1999)"},{"key":"16_CR15","unstructured":"Arkin, A.: Business Process Modeling Language, BPMI.org (2002)"},{"key":"16_CR16","unstructured":"Shapiro, R.: A comparison of XPDL, BPML and BPEL4WS, Cape Vision (2002)"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"16_CR18","unstructured":"IBM: Business process execution language web services, version 1.0 (2002)"},{"key":"16_CR19","unstructured":"Jboss: jBPM Process Definition Language, version 3.0 (2005)"},{"key":"16_CR20","unstructured":"Gualtieri, A., Ruffolo, M.: An Ontology-Based Framework for Representing Organizational Knowledge. In: Proceeding of I-Know 2005 - 5th International Conference on Knowledge Management, Graz Austria (2005)"},{"key":"16_CR21","unstructured":"OntoDLV system, http:\/\/www.exeura.it\/ontodlv"},{"key":"16_CR22","unstructured":"Ricca, F., Leone, N.: Disjunctive Logic Programming with Types and Objects: The DLV+ System. Journal of Applied Logics Elsevier ISSN: 1570-8683; KBS Research Reports INFSYS RR-1843-05-10 Institut fr Informationssysteme Technische Universitt Wien Favoritenstrasse 11 A-1040, Vienna, Austria (2006) (to appear)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11837862_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:19:54Z","timestamp":1605644394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11837862_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540384441","9783540384458"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11837862_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}