Review: Larry Wos, Automated Reasoning: 33 Basic Research Problems [Book Review]

Journal of Symbolic Logic 53 (4):1258-1259 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

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.
Axiomatic proofs through automated reasoning.Branden Fitelson & Larry Wos - 2000 - Bulletin of the Section of Logic 29 (3):125-36.
Towards the use of automated reasoning in discourse disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - 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.
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.
How factual do we want the facts? Criteria for a critical appraisal of empirical research for use in ethics.D. Strech - 2010 - Journal of Medical Ethics 36 (4):222-225.
Automated inference in active logics.Michael Miller & Donald Perlis - 1996 - Journal of Applied Non-Classical Logics 6 (1):9-27.
The Automation of Sound Reasoning and Successful Proof Finding.Larry Wos & Branden Fitelson - 2006 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Oxford, UK: Blackwell. pp. 707–723.
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
Interest driven suppositional reasoning.John Pollock - manuscript
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. San Diego: Academic Press.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,908,715)

6 months
1 (#1,501,909)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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