Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
541	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
542	Activity ReportProject-Team EXMO Computer-mediated communication of structured knowledge Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:10 Semantic Web Computing Information science Ontology Knowledge representation Information Knowledge engineering Web Ontology Language Resource Description Framework Knowledge representation and reasoning Description logic Upper ontology
543	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 Add to Reading List Source URL: spatialintelligence.org Language: English - Date: 2010-05-18 14:23:26 Cognitive science Cognition Semantics Cognitive modeling Scientific modeling Guggenheim Fellows Analogy Analogical models Douglas Hofstadter Scientific modelling Keith Holyoak Conceptual metaphor
544	Journal of Economic Psychology–660 www.elsevier.com/locate/joep Reclaiming habit for institutional economics Geoﬀrey M. Hodgson Add to Reading List Source URL: www.geoffrey-hodgson.info Language: English - Date: 2011-12-09 05:41:34 Philosophy Economics Behavior Human behavior Thorstein Veblen Institutionalism Institutional economics Reasoning Habit The Theory of the Leisure Class Social actions Rational choice theory
545	C:uments and SettingsnDocumentsiclesivationivation.wpd Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2008-11-30 10:28:46 Reasoning Social philosophy Meta-ethics Human behavior Philosophy of mind Reason Rationality Motivation Irrationality Isought problem Akrasia Instrumental and value rationality
546	C:uments and SettingsnDocumentsiclesty of reasoningty of reasoning.wpd Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2008-11-30 10:35:17 Epistemology Reasoning Belief Reason Thought Rationality Practical reason Attitude Modus ponens Psychology of reasoning
547	ARTIFICIAL INTELLIGENCE: ENGINEERING, SCIENCE, OR SLOGAN? Nils J. Nilsson Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-05-14 18:27:16 Artificial intelligence Knowledge representation and reasoning Philosophy of artificial intelligence Commonsense reasoning Expert system John McCarthy Applications of artificial intelligence Artificial general intelligence AI winter
548	PASS 2009.book(12.Field.fm) Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2009-08-30 15:23:37 Philosophical logic Epistemology Non-classical logic Belief Reasoning Paraconsistent logic Rationality Modal logic Reason Contradiction Argument Logic
549	NSP3 Action, Belief and Inquiry Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:19:24 Charles Sanders Peirce Semiotics Philosophy of language Philosophical logic Philosophy of science Sign Inquiry Abductive reasoning Interpretant Topic and comment Category of being Meaning
550	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic

UPDATE