Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
521	Informatics 1 CG – Tutorial 6 Chris Lucas Week 7 1. Category-based induction Single-premise inferences Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-03-04 20:45:13 Logic Owls Logical consequence Reasoning Philosophy Argument Inference
522	A Short Introduction to Probabilistic Soft Logic Angelika Kimmig1,2 , Stephen H. Bach1 , Matthias Broecheler3 , Bert Huang1 , Lise Getoor1 1 University of Maryland, 2 KU Leuven, 3 Aurelius LLC Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:51 Logic Philosophy Bayesian statistics Markov networks Model theory Reasoning Semantics Probabilistic soft logic Markov logic network Probabilistic logic Statistical relational learning Logical truth
523	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 Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Mathematics Algebraic structures Transitive closure Ring
524	Microsoft Word - oxford chapter dec 10 nsn.doc Add to Reading List Source URL: spatialintelligence.org Language: English - Date: 2010-05-13 15:35:34 Cognitive science Cognition Visual thinking Cognitive tests Vision Psychology Spatial ability Nora Newcombe Spatial visualization ability Spatialtemporal reasoning Mental rotation Spatial cognition
525	Video Examples Discussion Points Game Management Model 1 Decision: Correct decision by the referee to allow play to flow despite high risk by giving an advantage in the defensive third resulting in a goal Reasoning: Add to Reading List Source URL: www.cnra.net Language: English - Date: 2013-02-22 15:30:46 Sports Canadian football Ball games Rugby union Tackle Penalty Foul Instant replay in American and Canadian football Goalkeeper Official Rugby league gameplay Field hockey
526	Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:54:07 Formal methods Software engineering Loop invariant Theoretical computer science Invariant
527	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
528	Description of The Initiation to General Semantics Workshop that took place Paris, April 23rd, 2016 Paris American Academy 277, rue St JacquesPARIS, 5-hour workshop. Many thanks to Peter CARMAN, the President of T Add to Reading List Source URL: www.generalsemantics.org Language: English - Date: 2016-05-01 14:51:37 General semantics Philosophy Logic Human communication Abstraction Reasoning Alfred Korzybski Structural differential Mapterritory relation Inference Jumping to conclusions
529	CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2002-06-13 14:56:18 Automated theorem proving Theoretical computer science Mathematical logic Software engineering TPTP Automated reasoning SPASS Reasoning system Prolog Model elimination OMDoc System on TPTP
530	Geographic Event Conceptualization: Where Spatial and Cognitive Sciences Meet Rui Li, Alexander Klippel, Jinlong Yang {rui.li, klippel, jinlong}@psu.edu GeoVISTA Center, Department of Geography 302 Walker Building, The P Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2011-05-01 16:39:57 Topology Knowledge representation Mathematics Cognition Computational topology Constraint programming Reasoning Region connection calculus Topological space Spatial relation Framing Topological conjugacy

UPDATE