Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
591	Granularity in reference to spatio-temporal location and relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Granularity Process philosophy Basic Formal Ontology
592	Teaching Statement Jeffrey Mark Siskind Thursday 31 July 2014 The candidate has redesigned the curriculum for ECE47300. The traditional AI curriculum is less relevant for today’s ECE undergraduates. AI is primarily a r Add to Reading List Source URL: engineering.purdue.edu Language: English - Date: 2015-06-19 10:59:38 Theoretical computer science Artificial intelligence Algorithm Mathematical logic Automated reasoning Pattern matching Evaluation
593	Journal of Business Ethics Education 1(1): 29-42. © 2004 NeilsonJournals Publishing. The Concept of Moral Imagination – an Inspiration for Writing and Using Case Histories in Business Ethics? Add to Reading List Source URL: www.pdcnet.org Language: English - Date: 2016-08-12 03:57:28 Ethics Social philosophy Meta-ethics Applied ethics Philosophy of life Business ethics Moral sense theory Moral reasoning Deontological ethics Utilitarianism Situational ethics Morality
594	’Cause I’m Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman Hongseok Yang Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-12-20 03:07:54 Metalogic Model theory Structure Consistency model
595	Considerations Regarding Human-Level Artificial Intelligence Nils J. Nilsson () Robotics Laboratory Department of Computer Science Stanford University Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-01-22 14:14:52 Artificial intelligence Programming paradigms Computational neuroscience Philosophy of artificial intelligence Futurology Intelligent agent Intelligence Knowledge representation and reasoning Logic programming Robotics Existential risk from artificial general intelligence Artificial general intelligence
596	ABOUT MANUSCRIPTS FOR IJ ITA Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:47:03 Irregular bones Skeletal system Vertebrate anatomy Spinal cord disorders Artificial neural networks Vertebral column Spondylolisthesis Case-based reasoning Sacrum Vertebra Spinal disc herniation CBR
597	The Foundations of Bayesian Epistemology: A Philosophical Introduction Kenny Easwaran October 5, 2015 Chapter 3: Belief aims at the truth Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Belief Epistemology Evidence Reasoning Propositional attitudes Evidentialism Doxastic logic Evidentiality The Will to Believe Theory of justification Gettier problem Proposition
598	Counterfactual Reasoning about Intent for Interactive Navigation in Dynamic Environments Alejandro Bordallo1 Fabio Previtali2 Add to Reading List Source URL: rad.inf.ed.ac.uk Language: English - Date: 2015-07-31 13:51:57 Multi-agent systems Control theory Kalman filter Robot control Robotics Agent-based model Motion planning Expectationmaximization algorithm Inference
599	ALTERNATIVE ROUTES TO A MULTIPURPOSE CADASTRE: MERGING INSTITUTIONAL AND TECHNICAL REASONING Nicholas R. Chrisman and Bernard J. Niemann, Jr. Land Information and Computer Graphics Facility Department of Landscape Archit Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 23:58:25 Surveying Real estate Geographic information systems Cadastre Land information system Geodetic control network National Research Council Survey Public Land Survey System Boundary Land survey
600	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking

UPDATE