Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
431	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
432	Microsoft Word - IBSAI and DM.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:44:11 Ontology Knowledge representation Information science Technical communication Computing Semantic Web Information Upper ontology Formal ontology WordNet Knowledge representation and reasoning Web Ontology Language
433	J Geograph Syst:411–428 An integrated representation of spatial and temporal relationships between evolving regions Christophe Claramunt1, Bin Jiang2 1 Add to Reading List Source URL: fromto.hig.se Language: English - Date: 2002-03-22 04:10:48 Physics Cognitive science Cognition Mathematics Knowledge representation Educational psychology Reasoning Spatialtemporal reasoning Time Spatial relation Spacetime Geographic information system
434	MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-03-13 06:06:51 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Logic in computer science Formal methods Proof assistants Artificial intelligence Isabelle Automated reasoning IP Logic programming
435	Towards A Qualitative Descriptor for Paper Folding Reasoning˚ Zoe Falomir Bremen Spatial Cognition Centre Universit¨at Bremen, Germany Add to Reading List Source URL: ivi.fnwi.uva.nl Language: English - Date: 2016-07-07 18:36:56 Paper folding Cognitive tests Paper art Cognitive science Spatial ability Visual thinking Leisure Origami Visual arts Hole punch Cognition
436	NSP3 Action, Belief and Inquiry Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:19:23 Philosophy Academia Cognitive science Charles Sanders Peirce Philosophy of science Cognition Epistemology Philosophical movements Intuition Abductive reasoning Semiotics Pragmatism
437	Combining progressive alignment and near-misses to learn concepts from sketches Matthew D. McLure () Scott E. Friedman () Kenneth D. Forbus () Qua Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2010-08-26 18:39:02 Cognition Academia Knowledge Learning theory Learning Semantics Machine learning Reasoning Structure mapping engine Analogy Concept learning Qualitative Reasoning Group
438	I N F S Y S RESEARCH R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2003-04-22 21:23:23 Philosophy Epistemology Metaphysics Causality Philosophy of science Formal epistemology Reasoning Bayesian network Probabilistic logic Determinism Causal model Abductive reasoning
439	Microsoft Word - Rosetta Stone _ v20-Annals of the Association of American Geographers.docx Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2011-08-02 09:25:46 Cognitive science Cognition Academia Knowledge representation Reasoning Educational psychology Spatialtemporal reasoning Spatial relation Topology Region connection calculus Spatial cognition Geographic information system
440	Microsoft Word - icci2013_cameraready_web.docx Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2014-08-26 16:51:01 Cognition Cognitive science Academia Knowledge representation Reasoning Intelligence Psychology Educational psychology Spatialtemporal reasoning Spatial relation Region connection calculus Human intelligence

UPDATE