1![On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP On the Positive Calculus of Relations with Transitive Closure Damien Pous Univ. Lyon, CNRS, ENS de Lyon, UCB Lyon 1, LIP](https://www.pdfsearch.io/img/2e63053d9c5f026a6765a14e3fec7c08.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2018-02-20 09:04:32
|
---|
2![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 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](https://www.pdfsearch.io/img/bd11f1c00a71c4790eda9c2bdfc34ac0.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2010-04-20 14:40:19
|
---|
3![Size-Estimation Framework with Applications to Transitive Closure and Reachability∗ Edith Cohen AT&T Bell Laboratories Murray Hill, NJ 07974 Size-Estimation Framework with Applications to Transitive Closure and Reachability∗ Edith Cohen AT&T Bell Laboratories Murray Hill, NJ 07974](https://www.pdfsearch.io/img/95b4d85d0766caa4aba031e8b2f46ed0.jpg) | Add to Reading ListSource URL: cohenwang.com- Date: 2013-09-17 19:00:40
|
---|
4![An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson](https://www.pdfsearch.io/img/654fadf2652ccba4715faf66f86bf05e.jpg) | Add to Reading ListSource URL: www.cse.chalmers.se- Date: 2016-08-31 03:04:28
|
---|
5![Microsoft PowerPoint - IEEEBigData2013V5.ppt [Compatibility Mode] Microsoft PowerPoint - IEEEBigData2013V5.ppt [Compatibility Mode]](https://www.pdfsearch.io/img/8ef8476f5706dbf187276523db1eb06a.jpg) | Add to Reading ListSource URL: www.ischool.drexel.eduLanguage: English - Date: 2014-02-06 12:28:58
|
---|
6![Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics](https://www.pdfsearch.io/img/17f3a0321c8696a594c6549a2f8678f5.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.comLanguage: English - Date: 2012-02-03 12:06:02
|
---|
7![Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK](https://www.pdfsearch.io/img/044ba7f67b83cb208cc1c41a96dc5f47.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2005-09-09 08:46:00
|
---|
8![Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and](https://www.pdfsearch.io/img/b640b4d69e732f8e78d7530a64e6ff5e.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:10
|
---|
9![Mathematical logic / Binary relation / Grok Knowledge Base / Transitive closure / Function / Equality / FO / Cartesian product / Finitary relation / Closure Mathematical logic / Binary relation / Grok Knowledge Base / Transitive closure / Function / Equality / FO / Cartesian product / Finitary relation / Closure](/pdf-icon.png) | Add to Reading ListSource URL: plg.uwaterloo.caLanguage: English - Date: 2002-05-16 17:36:40
|
---|
10![Definitions and Motivations The Basic Algorithm A Piecewise Extension Conclusions Approximating the Transitive Closure of a Definitions and Motivations The Basic Algorithm A Piecewise Extension Conclusions Approximating the Transitive Closure of a](https://www.pdfsearch.io/img/37d463ff5fe88599f1b999c76fcf2a14.jpg) | Add to Reading ListSource URL: impact.gforge.inria.frLanguage: English - Date: 2015-06-05 05:18:37
|
---|