Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
411	Counterparts in Language and Space - The S-Connection Approach Joana Hois and Oliver Kutz Formal Ontology in Information Systems 2008 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-08 12:34:34 Knowledge representation Information science Cognition Knowledge Knowledge engineering Ontology Semantic Web Technical communication Relation Spatialtemporal reasoning
412	Microsoft Word - CogSci07_Ravens_AL11.doc Add to Reading List Source URL: www.silccenter.org Language: English - Date: 2010-05-05 12:22:27 Matrix Structure mapping engine Analogy Qualitative Reasoning Group Logic Cognition Philosophical logic
413	Judgments about spatio-temporal relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University and Institute for Formal Ontology and Medical Information Science at the Univ Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Geolocation Spatiotemporal database Spacetime Formal ontology Metaphysics Meaning philosophy of language) Philosophy
414	Automated Critique of Sketched Mechanisms Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-15 15:22:12 Reasoning Cognition Philosophy Logic Classical mechanics Cognitive science Qualitative research Qualitative reasoning Qualitative Reasoning Group Spatialtemporal reasoning Ken Forbus Analogy
415	Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a Add to Reading List Source URL: users.cs.cf.ac.uk Language: English - Date: 2005-12-13 09:40:57 Cognitive science Cognition Mathematics Computing Knowledge representation Category theory Equivalence of categories Geographic information system Spatial database Object Data model Spatialtemporal reasoning
416	Microsoft Word - TOPS_1149 Add to Reading List Source URL: silccenter.org Language: English - Date: 2012-02-07 16:54:29 Reasoning Cognition Cognitive science Academia Qualitative Reasoning Group Analogy Spatialtemporal reasoning Spatial memory Scientific modelling Glyph Qualitative reasoning
417	TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-05-06 07:44:21 Software engineering Theoretical computer science Automated theorem proving Mathematics Logic in computer science Functional languages Formal methods Reasoning Satisfiability modulo theories Rippling Automated reasoning IP
418	HiEve: A Corpus for Extracting Event Hierarchies from News Stories 1 ˇ Goran Glavaˇs1 , Jan Snajder , Parisa Kordjamshidi2 , and Marie-Francine Moens2 1 Add to Reading List Source URL: www.lrec-conf.org Language: English - Date: 2014-05-20 12:22:54 Computing Computational linguistics Academia Metaphysics Natural language processing Semantics TimeML SemEval Event Spatialtemporal reasoning Process philosophy Temporal annotation
419	Refining the Concept of Scientific Inference When Working With Big Data: A Workshop Sponsored by the National Institutes of Health Big Data to Knowledge Initiative and the National Science Foundation June 8-9, 2016 Natio Add to Reading List Source URL: sites.nationalacademies.org Language: English Statistics Logic Knowledge Inductive reasoning Causal inference Reasoning Cosma Shalizi Carnegie Mellon University Inference
420	Modeling Cross-Cultural Performance on the Visual Oddity Task Andrew Lovett1 , Kate Lockwood1, and Kenneth Forbus1 Qualitative Reasoning Group, Northwestern University 2133 Sheridan Rd., Evanston, IL, 60201, USA {andrew- Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-05 12:24:55 Reasoning Feature detection Qualitative Reasoning Group Analogy Conceptual model Qualitative reasoning Feature Logic Cognition Critical thinking

UPDATE