Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
401	AAAI Proceedings Template Add to Reading List Source URL: qr15.sift.net Language: English - Date: 2015-08-11 09:14:44 Knowledge representation Reasoning Constraint programming Cognition Computational topology Region connection calculus Mathematics Cognitive science Logic
402	Biases and [Ir]rationality 2 Informatics 1 CG: Lecture 19 Chris Lucas Last time Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-03-01 08:55:09 Logic Philosophy Non-classical logic Reasoning Probability interpretations Formal sciences Inference Logical consequence Frequentist probability Probabilistic logic
403	Visualization in Mathematics: Claims and Questions towards a Research Program Walter Whiteley, Director of Applied Mathematics, Graduate Programs in Mathematics, in Computer Science and in Education, York University, Tor Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2004-09-04 20:00:29 Academia Mathematics Cognition Mathematics education Reasoning Educational psychology Elementary mathematics Epistemology Reason Philosophy of mathematics Where Mathematics Comes From Visual thinking
404	Logico-semantic Aspects of Children’s Knowledge about the Universal Quantifier: New Empirical Evidence Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:02 Logic Philosophy Logical consequence Deductive reasoning Reasoning Arguments Inference Implication Universal quantification Reason Entailment Validity
405	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Type theory Declarative programming Computer programming Functional programming Data types Polymorphism Object-oriented programming Map Parametric polymorphism Constructible universe
406	EUROPEAN JOURNAL OF PRAGMATISM AND AMERICAN PHILOSOPHY COPYRIGHT © 2009 ASSOCIAZIONE PRAGMA Sara Barrena* and Jaime Nubiola Add to Reading List Source URL: www.unav.es Language: English - Date: 2014-07-28 04:36:41** Philosophy Charles Sanders Peirce Academia Contemporary philosophy Charles Sanders Peirce bibliography Pragmatism Semiotics Karl-Otto Apel American philosophy Abductive reasoning Charles Santiago Sanders Peirce Pragmaticism
407	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3 Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2008-11-27 08:56:04 Computing Ontology Information science Information Semantic Web Knowledge representation Artificial intelligence Description logic Web Ontology Language Tbox Abox Conjunctive query
408	Extended version of paper presented at NKOS Workshop at ICADL 2015, 9 December 2015, Seoul Korea, arXiv: Repositories with Direct Representation Robert B. Allen Yonsei University Add to Reading List Source URL: boballen.info Language: English - Date: 2016-01-09 02:35:24 Knowledge representation Computing Information science Semantic Web Knowledge Knowledge engineering Ontology Upper ontology Web Ontology Language Knowledge representation and reasoning Modeling language Frame language
409	PLIS: a Probabilistic Lexical Inference System Eyal Shnarch1 , Erel Segal-haLevi1 , Jacob Goldberger2 , Ido Dagan1 1 Computer Science Department, Bar-Ilan University, Israel 2 Faculty of Engineering, Bar-Ilan University, Add to Reading List Source URL: u.cs.biu.ac.il Language: English - Date: 2013-09-16 08:01:32 Logic Linguistics Computational linguistics Natural language processing Semantics Lexical semantics Philosophy Reasoning Inference Word-sense disambiguation WordNet SemEval
410	THOMAS BITTNER CURRICULUM VITAE June 9, CONTACT INFORMATION Employment Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:40 Ontology Knowledge representation Academia Information science Metaphysics Cognitive science Semantic Web Basic Formal Ontology OBO Foundry Andrew U. Frank Spatialtemporal reasoning Cyc

UPDATE