Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
191	SAT I: Reasoning Saturday, Test May 2002 Add to Reading List Source URL: file.xdf.cn - Date: 2012-05-09 23:37:12
192	SAT I: Reasoning Saturday, January Test 2000 Add to Reading List Source URL: file.xdf.cn
193	Reasoning in resource-constrained environments: a matchmaking engine over relational Knowledge Bases Eufemia Tinelli1 , Francesco M. Donini2 , Michele Ruta1 , and Eugenio Di Sciascio1 1 2 Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:23:04
194	Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results Jocelyne Faddoul and Volker Haarslev Concordia Un Add to Reading List Source URL: ceur-ws.org - Date: 2010-04-20 14:40:19
195	Fixed Parameter Tractable Reasoning in DLs via Decomposition František Simanˇcík, Boris Motik, and Markus Krötzsch Department of Computer Science, University of Oxford, UK 1 Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:22:20
196	Fill and Transfer: A Simple Physics-based Approach for Containability Reasoning Lap-Fai Yu1 Noah Duncan2 Sai-Kit Yeung3 1 University of Massachusetts Boston, 2 University of California, Los Angeles, 3 Add to Reading List Source URL: www.cv-foundation.org - Date: 2015-10-24 15:05:45
197	Shared Boxes: Rely-Guarantee Reasoning in VeriFast Jan Smans Dries Vanoverberghe Dominique Devriese Bart Jacobs Add to Reading List Source URL: www.cs.kuleuven.be - Date: 2014-05-07 01:46:56
198	SAT I: Reasoning Saturday, January Test 1997 Add to Reading List Source URL: file.xdf.cn
199	Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov Oxford University Computing Laboratory 1 Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
200	When Tuesday comes before Threesday: Cross-linguistic differences in numerical transparency of time words predicts temporal reasoning strategy and performance Nian Liu () Department of Modern Languages, Li Add to Reading List Source URL: mindmodeling.org - Date: 2013-07-15 14:53:30

UPDATE