POLITICS: Automated ideological reasoning

Cognitive Science 2 (1):27-51 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0364-0213(78)80060-3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

POLITICS: Automated Ideological Reasoning.Jaime G. Carbonell - 1978 - Cognitive Science 2 (1):27-51.
Towards the use of automated reasoning in discourse disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
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. Academic Press.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - unknown
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
An intuitionistic basis for non-monotonic reasoning.M. R. B. Clarke & Dov M. Gabbay - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
Constitution of post ideological politics: Bismarck, Churchill, de Gaulle.Neven Cveticanin - 2010 - Filozofija I Društvo 21 (1):89-110.
Distributivity in Lℵ0 and Other Sentential Logics.Kenneth Harris & Branden Fitelson - unknown
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Metamathematics, machines, and Gödel's proof.N. Shankar - 1994 - New York: Cambridge University Press.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 105--136.

Analytics

Added to PP
2014-01-15

Downloads
5 (#1,546,433)

6 months
2 (#1,206,545)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references