Clausal resolution in a logic of rational agency

Artificial Intelligence 139 (1):47-89 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.
Is The Concept Of Rational Agency Coherent?Bryony Pierce - 2006 - Philosophical Writings 33 (3).
Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
Rational Agency and the Struggle to Believe What Your Reasons Dictate.Brie Gertler - 2021 - In Cristina Borgoni, Dirk Kindermann & Andrea Onofri (eds.), The Fragmented Mind. Oxford: Oxford University Press.
Wittgenstein and the logic of deep disagreement.David Godden & William H. Brenner - 2010 - Cogency: Journal of Reasoning and Argumentation 2:41-80.
Equal Respect for Rational Agency.Michael Cholbi - 2020 - In Mark Timmons (ed.), Oxford Studies in Normative Ethics Volume 10. Oxford University Press, Usa. pp. 182-203.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,409,222)

6 months
6 (#585,724)

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

Why Combine Logics?Patrick Blackburn & Maarten de Rijke - 1997 - Studia Logica 59 (1):5 - 27.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.

Add more references