Princeton University Department of Chemistry Appoints Stephen F. DeAngelis as Visiting Professional Executive in Cognitive Reasoning Platforms Princeton, NJ and Newtown, PA, March 8, 2016--Massive Dynamics, LLC and Enter

Source URL: www.enterrasolutions.com

Microsoft Word - BlankPage

Source URL: www.cs.miami.edu

• Logic
• Abstraction
• Philosophy
• Automated theorem proving
• Reasoning
• Formal methods
• Predicate logic
• Datalog
• First-order logic
• Axiom
• Satisfiability modulo theories
• Mereology

The Collection of Physical Knowledge and its Application in Intelligent Systems Benjamin Johnston Smarter Living Studio, School of Software Faculty of Engineering and Information Technology University of Technology, Sydn

Source URL: www.benjaminjohnston.com.au

• Artificial intelligence
• Cognitive science
• Cognition
• Reasoning
• Cognitive architecture
• 3D imaging
• Voxel
• 3D modeling
• Commonsense reasoning
• Open Mind Common Sense
• Commonsense knowledge
• Analogy

Table of Contents Refereed Papers: Database Architecture for Multi-scale GIS Christopher B. Jones 1

Source URL: mapcontext.com

• Data
• Geographic data and information
• Cartography
• Academia
• Geography
• Geographic information system
• Spatial analysis
• Andrew U. Frank
• Spatialtemporal reasoning

A Natural Language Interface for Querying General and Individual Knowledge (Full Version) Yael Amsterdamer, Anna Kukliansky, and Tova Milo Tel Aviv University

Source URL: www.cs.tau.ac.il

• Computing
• Information science
• Semantic Web
• Query languages
• Resource Description Framework
• Knowledge representation
• Computational linguistics
• SPARQL
• RDF query language
• Knowledge representation and reasoning
• Ontology
• Web Ontology Language

Practical reasoning John Broome University of Oxford For: Reason and Nature: Essays in the Theory of Rationality, edited by José Bermùdez and Alan Millar, Oxford University Press. This paper was written while I was a v

Source URL: users.ox.ac.uk

• Philosophy
• Logic
• Reasoning
• Abstraction
• Reason
• Inference
• Practical reason
• Normative
• Argument
• David Hume
• Isought problem
• Defeasible reasoning

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: www.dcs.bbk.ac.uk

• Theoretical computer science
• Computing
• Software engineering
• Logic in computer science
• Automated theorem proving
• Static program analysis
• Termination analysis
• Rewriting
• KeY
• Automated reasoning
• Bytecode
• Christoph Walther

A COGNITIVE FRAMEWORK FOR REASONING WITH SCIENTIFIC MODELS Duncan F. Sibley1 ABSTRACT Humans reason by analogy (Lakoff and Johnson, 1980; Gentner, 1983; 2003; Hofstadter, 2001, 2006; Pinker, Some have further argu

Source URL: silccenter.org

• Cognitive science
• Cognition
• Academia
• Semantics
• Cognitive modeling
• Scientific modeling
• Guggenheim Fellows
• Analogy
• Analogical models
• Scientific modelling
• Douglas Hofstadter
• Keith Holyoak

PDF Document

Source URL: www.nordprag.org

• Philosophy
• Academia
• Knowledge
• Philosophy of science
• Epistemology
• Charles Sanders Peirce
• Thought
• Critical thinking
• Scientific method
• Abductive reasoning
• Inquiry
• Hypothesis

Microsoft Word - klippel_etal2012similarities

Source URL: cognitivegiscience.psu.edu

• Cognition
• Knowledge representation
• Reasoning
• Cognitive science
• Computational topology
• Constraint programming
• Region connection calculus
• G factor
• Academia
• Spatial relation
• Cluster analysis
• Similarity