Introduction to the Grok Language Ric Holt, 5 May 2002

First Page		Document Content
Date: 2002-05-16 17:36:40 Mathematical logic Binary relation Grok Knowledge Base Transitive closure Function Equality FO Cartesian product Finitary relation Closure		Introduction to the Grok Language Ric Holt, 5 May 2002 Add to Reading List Source URL: plg.uwaterloo.ca Download Document from Source Website File Size: 214,50 KB Share Document on Facebook

	On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP DocID: 1ud5Z - View Document
	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms Chan Le Duc1 and Myr DocID: 1tgOq - View Document
	Size-Estimation Framework with Applications to Transitive Closure and Reachability∗ Edith Cohen AT&T Bell Laboratories Murray Hill, NJ 07974 DocID: 1t0SI - View Document
	An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson DocID: 1sTbz - View Document
	Microsoft PowerPoint - IEEEBigData2013V5.ppt [Compatibility Mode] DocID: 1rjlX - View Document