Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
851	Scholarly reasoning and writing in a digital library Knuth: “literate programming” Programmed literature? You can’t make this stuff up Add to Reading List Source URL: www.digitalclassicist.org Language: English - Date: 2013-08-08 15:21:10
852	Two-Variable Logic on Data Trees and XML Reasoning∗ [Extended Abstract] Mikołaj Bojanczyk ´ Claire David Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2011-06-23 11:25:07
853	Verification: Local Resource Reasoning, Philippa Gardner Verification: Local Resource Reasoning Philippa Gardner Imperial College London Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-04 17:01:56
854	Dominance Hierarchies and the Evolution of Human Reasoning DENISE Department U.S.A. Add to Reading List Source URL: www.denisecummins.com Language: English - Date: 2012-06-30 22:22:59
855	Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2001-07-31 21:29:14
856	A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-01-22 13:03:06 Mathematical logic Term Logic programming
857	Stream Reasoning For Linked Data E. Della Valle & J.Z. Pan Heraklion Greece May 29th – June 2nd Add to Reading List Source URL: streamreasoning.org Language: English - Date: 2011-10-25 09:12:01
858	Microsoft Word - icci2013_cameraready_web.docx Add to Reading List Source URL: www.cognitivegiscience.psu.edu Language: English - Date: 2014-08-26 16:51:01 Cognition Cognitive science Knowledge representation Reasoning Intelligence Psychology Educational psychology Spatialtemporal reasoning Spatial relation Region connection calculus Human intelligence G factor
859	Cambridge University Press1 - Networks, Crowds, and Markets: Reasoning about a Highly Connected World David Easley and Jon Kleinberg Table of Contents More information Add to Reading List Source URL: assets.cambridge.org Language: English - Date: 2010-07-27 06:49:30
860	Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK {pan,horrocks}@cs.man.ac.uk The Semantic Web is a vision of the next generat Add to Reading List Source URL: iswc2002.semanticweb.org Language: English - Date: 2002-05-05 05:36:24

UPDATE