An Algorithm for the Appraisal of Assurance Indicators for Complex Business Processes∗ Fabio Massacci Artsiom Yautsiukhin†

First Page		Document Content
Date: 2010-06-18 12:28:44 Search algorithms Network theory Knowledge representation Tree Combinatorial optimization Routing algorithms Shortest path problem Static single assignment form Graph Mathematics Graph theory Theoretical computer science		An Algorithm for the Appraisal of Assurance Indicators for Complex Business Processes∗ Fabio Massacci Artsiom Yautsiukhin† Add to Reading List Source URL: wwwold.iit.cnr.it Download Document from Source Website File Size: 150,10 KB Share Document on Facebook

	arXiv:1102.1889v2 [cs.LO] 7 AugOLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION DAVID I. SPIVAK AND ROBERT E. KENT Abstract. In this paper we introduce the olog, or ontology log, a categorytheoretic mod DocID: 1veb1 - View Document
	Knowledge Representation and Reasoning for Mixed-Initiative Planning by George Montague Ferguson Submitted in Partial Fulfillment DocID: 1v9Am - View Document
	SELF-KNOWLEDGE AND SELF-REPRESENTATION John Perry Department of Philosophy and CSLI, Stanford ABSTRACT In t h i s paper I introduce a contrast DocID: 1uTzR - View Document
	Efficient Multi-AUV Cooperation using Semantic Knowledge Representation for Underwater Archaeology Missions Nikolaos Tsiogkas∗ , Georgios Papadimitriou∗ , Zeyn Saigol∗ , David Lane∗ ∗ Ocean DocID: 1uEwE - View Document
	WebQR: Building a Knowledge Representation Application on the Semantic Web Wouter Beek1 , Sander Latour2 , and Stefan Schlobach1 1 VU University Amsterdam DocID: 1uoVZ - View Document