Consequence - PDFSEARCH.IO - Document Search Engine

Consequence
Results: 1486

#	Item
441	7 LOGICAL AGENTS In which we design agents that can form representations of the world, use a process of inference to derive new representations about the world, and use these new representations to deduce what to do. Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:11 Reasoning Logical consequence Philosophical logic Deduction Hunt the Wumpus PEAS Inference Entailment Completeness Logic Science Artificial intelligence
442	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory
443	Opinion Deductive reasoning Phil Johnson-Laird∗ This article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:18 Deduction Propositional calculus Logical consequence Logical syntax Inference Mental model Deductive reasoning Natural deduction Entailment Logic Science Reasoning
444	Proving the Security of AES Substitution-Permutation Network Thomas Baign`eres? and Serge Vaudenay EPFL http://lasecwww.epfl.ch Add to Reading List Source URL: www.baigneres.net Language: English - Date: 2013-07-24 10:25:38 Entailment Logical consequence Metalogic Curry–Howard correspondence Advanced Encryption Standard Orbifold Measure of non-compactness Logic Deduction Proof theory
445	Memory & Cognition 2000, 28 (6), [removed]How to eliminate illusions in quantified reasoning YINGRUI YANG and P. N. JOHNSON-LAIRD Princeton University, Princeton, New Jersey Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:35:02 Reasoning Logical consequence Thought Deduction Philosophical logic Mental model Inference Argument Entailment Logic Philosophy Science
446	Kybernetes[removed]). - word count: [removed]Bootstrapping knowledge representations: from entailment meshes via semantic nets to learning webs Francis HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Cybernetics Interdisciplinary fields Logical consequence Systems theory Systems scientists Gordon Pask Conversation theory Center Leo Apostel for Interdisciplinary Studies Francis Heylighen Science Logic Knowledge
447	MENTAL MODELS AND DEDUCTIVE REASONING By P.N. Johnson-Laird Final version September 14th 2005 To be published in Rips, L. and Adler. J. (Eds.): Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:39:48 Reasoning Cognitive psychology Thought Logical consequence Abstraction Mental model Logic Argument Reason Mind Science Ethology
448	Psychologica Belgica 2010, 50-3&4, [removed]Against logical form P.N. Johnson-Laird Princeton University, New Jersey, USA Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:33 Propositional calculus Logical consequence Logical syntax Inference Mental model Entailment Proposition Argument Rule of inference Logic Reasoning Deduction
449	Population Policy THE ISSUE 1. As a consequence of human impacts, Australia faces serious environmental d e g r a d a t i o n and resource constraints which continue to be exacerbated by a growing population, increased p Add to Reading List Source URL: australian-democrats.org.au Language: English - Date: 2012-06-21 08:30:08 Environmentalism Sustainability International development Sustainable development Environment Environmental social science Environmental economics
450	The trend of increasing wildfire intensity and size likely due to increasing fuel hazards is only one consequence of fire suppression. Another legacy of the fire exclusion paradigm has far-reaching implications: an organ Add to Reading List Source URL: foresthistory.org Language: English - Date: 2008-11-12 15:20:58 Forestry Wildland fire suppression Firefighting Ecological succession Fire Fire ecology Controlled burn Cerro Grande Fire Fire-adapted communities Wildfires Occupational safety and health Systems ecology

UPDATE