Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
631	IN PARTNERSHIP WITH: CNRS Institut polytechnique de Grenoble Université Pierre Mendes-France (Grenoble) Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2014-03-19 11:20:31 Semantic Web Knowledge representation Information science Ontology Knowledge engineering Web Ontology Language Resource Description Framework Simple Knowledge Organization System Knowledge representation and reasoning Description logic Upper ontology Draft:Outline of ontologies
632	HOW TO ARGUE AND WIN EVERY TIME Add to Reading List Source URL: freedom-school.com Language: English - Date: 2015-05-02 15:02:30 Philosophy of mind Arguments Critical thinking Logical consequence Reasoning Philosophy of artificial intelligence First inauguration of Richard Nixon Treaty of Chicago
633	Hammering towards QED Jasmin C. Blanchette Inria Nancy & LORIA, France Cezary Kaliszyk University of Innsbruck, Austria Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-01 13:38:31 Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic
634	Rough Sets in Approximate Spatial Reasoning Thomas Bittner and John G. Stell Centre de recherche en geomatique, Laval University, Quebec, Canada. Department of Computer Science, Keele Unive Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Knowledge representation Reasoning Computational topology Constraint programming Region connection calculus Theoretical computer science FO Rough set Spatialtemporal reasoning
635	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
636	About Understanding and Values Bas R. Steunebrink Swiss AI lab IDSIA (postdoc) NNAISENSE (co-founder) Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-11 10:44:26 Computational neuroscience Dalle Molle Institute for Artificial Intelligence Research Artificial intelligence Knowledge representation and reasoning Requirement
637	Specifying and Reasoning about Dynamic Access-Control Policies Daniel J. Dougherty,1 Kathi Fisler,1 and Shriram Krishnamurthi 2 1 Department of Computer Science, WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2006-06-22 08:09:04 Datalog Conjunctive query
638	Reasoning About Past Events in Context-Aware Middleware Eline Philips, Christophe Scholliers,Charlotte Herzeel and Stijn Mostinckx {ephilips, cfscholl, caherzee, smostinc}@vub.ac.be Programming Technology Lab Vrije Unive Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2008-03-06 09:34:02 Context-aware pervasive systems Ubiquitous computing Temporal logic Aspect-oriented software development Framing
639	Microsoft Word - Simpath QR10-v13.doc Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2010-08-26 18:38:05 Reasoning Scientific modeling Operations research Simulation Qualitative reasoning Stochastic simulation Economic model Computer simulation Military simulation Modeling and simulation Monte Carlo method Time
640	PEER DISAGREEMENT AND THE LIMITS OF COHERENT ERROR ATTRIBUTION Nicholas TEBBEN ABSTRACT: I argue that, in an important range of cases, judging that one disagrees with an epistemic peer requires attributing, either to one Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Epistemology Arguments Reason Reasoning Theory of justification Rationality Belief Jennifer Lackey

UPDATE