Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
571	Science - observation and principles Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2000-11-09 10:15:03 Epistemology of science Philosophy of science Epistemology Analytic philosophy Reasoning Inductivism Logical positivism Inductive reasoning Instrumentalism Verisimilitude David Hume Scientific method
572	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-03 03:08:24 Moral psychology Ethics American psychologists Lawrence Kohlberg Character education Moral development Values education Morality Moral reasoning Autonomy Morality throughout the Life Span
573	Microsoft Word - 2_Foreword Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2010-08-05 16:18:31 Reasoning Cognitive science Artificial intelligence Thought Qualitative reasoning Spatialtemporal reasoning Reason Commonsense reasoning Cognition Qualitative Reasoning Group
574	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
575	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic
576	The Advent of Formal Diagrammatic Reasoning Systems Frithjof Dau SAP Research CEC Dresden Abstract. In knowledge representation and reasoning systems, diagrams Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:05 Diagrams Diagrammatic reasoning Existential graph Diagram Conceptual graph Euler diagram Venn diagram Logical graph Charles Sanders Peirce Resource Description Framework Logic Description logic
577	ANON SUBMISSION Discussion Paper: “There is No Moral Faculty” Abstract: Dewey’s ethical naturalism has provided an exemplary model for many contemporary naturalistic treatments of morality. However, in some recent Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:17 Meta-ethics Ethics Moral psychology Philosophy of mind American psychologists Moral sense theory Morality Moral reasoning Moral relativism Ethical intuitionism Marc Hauser Moral Minds
578	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning
579	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
580	Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems∗ Olaf Owe Department of Informatics, University of Oslo, Norway June 8, 2016 Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-06-08 08:30:38 Object-oriented programming Inheritance Method Subtyping Liskov substitution principle Is-a Class Eiffel Monad Subroutine Covariance and contravariance

UPDATE