- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
POLITICS: Automated ideological reasoning
Cognitive Science 2 (1):27-51 (1978)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
POLITICS: Automated Ideological Reasoning.Jaime G. Carbonell - 1978 - Cognitive Science 2 (1):27-51.
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems.Autexier Serge, Benzmüller Christoph, Dietrich Dominik & Siekmann Jörg - 2010 - In Matthew W. Crocker & Jörg Siekmann (eds.), Resource-Adaptive Cognitive Processes. Springer. pp. 389-423.
Juan J. Acero.A. Dynamlc Vlew - 1996 - In J. Ezquerro A. Clark (ed.), Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning. Kluwer Academic Publishers. pp. 69--135.
Automated abduction in scientific discovery.Oliver Ray - 2007 - In L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine. Springer. pp. 103--116.
Automated reasoning in higher-order logic using the tptp thf infrastructure.Sutcliffe Geoff & Benzmüller Christoph - 2010 - Journal of Formalized Reasoning 3 (1):1-27.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press.
Short Papers Part-Automated Reasoning-Context-Aware Product Bundling Architecture in Ubiquitous Computing Environments.Hyun Jung Lee & Mye M. Sohn - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 901-906.
Automated Reasoning-The Representation of Multiplication Operation on Fuzzy Numbers and Application to Solving Fuzzy Multiple Criteria Decision Making Problems.Chien-Chang Chou - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 4099--161.
The Automation of Sound Reasoning and Successful Proof Finding.Larry Wos & Branden Fitelson - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 707–723.
Analytics
Added to PP
2014-01-15
Downloads
8 (#1,586,042)
6 months
3 (#1,481,767)
2014-01-15
Downloads
8 (#1,586,042)
6 months
3 (#1,481,767)
Historical graph of downloads
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lv8mh dc2