Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1

First Page		Document Content
Date: 2015-02-05 09:51:05 Information science Semantic Web Knowledge representation Technical communication Artificial intelligence Ontology Web Ontology Language Model theory Module Structure Theory Description logic		Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 337,31 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