Combined reasoning by automated cooperation

, , &
Journal of Applied Logic 6 (3):318-342 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.06.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Automatic Learning of Proof Methods in Proof Planning.Mateja Jamnik, Manfred Kerber, Martin Pollet & Christoph Benzmüller - 2003 - Logic Journal of the IGPL 11 (6):647-673.
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
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.
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.
A choice for 'me' or for 'us'? Using we-reasoning to predict cooperation and coordination in games.David J. Butler - 2012 - Theory and Decision 73 (1):53-76.
Collective Rationality and Collective Reasoning.Christopher McMahon - 2001 - Cambridge University Press.
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.
Team reasoning, framing, and cooperation.Natalie Gold - 2012 - In Samir Okasha & Ken Binmore (eds.), Evolution and Rationality: Decisions, Co-Operation and Strategic Behaviour. Cambridge University Press.
Collective rationality and collective reasoning.Christopher McMahon - 2003 - Philosophical Studies 116 (2):153-157.
On automating diagrammatic proofs of arithmetic arguments.Mateja Jamnik, Alan Bundy & Ian Green - 1999 - Journal of Logic, Language and Information 8 (3):297-321.
On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic.Xingxing He, Jun Liu, Yang Xu, Luis Martínez & Da Ruan - 2012 - Logic Journal of the IGPL 20 (3):579-588.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
Big brother and the sweatshop: Computer surveillance in the automated office.Paul Attewell - 1987 - Sociological Theory 5 (1):87-100.
On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.

Analytics

Added to PP
2016-06-30

Downloads
20 (#749,846)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

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.

Add more citations

References found in this work

Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.
General models, descriptions, and choice in type theory.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):385-394.

View all 6 references / Add more references