A typed resolution principle for deduction with conditional typing theory

Artificial Intelligence 75 (2):161-194 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)00027-x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Conditional logic and the Principle of Entropy.Wilhelm Rödder - 2000 - Artificial Intelligence 117 (1):83-106.
An experimental logic based on the fundamental deduction principle.Frank M. Brown - 1986 - Artificial Intelligence 30 (2):117-263.
A resolution principle for constrained logics.Hans-Jürgen Bürckert - 1994 - Artificial Intelligence 66 (2):235-271.
On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle.Angelo Gilio, David E. Over, Niki Pfeifer & Giuseppe Sanfilippo - 2024 - Artificial Intelligence 337 (C):104229.
Characterizing the principle of minimum cross-entropy within a conditional-logical framework.Gabriele Kern-Isberner - 1998 - Artificial Intelligence 98 (1-2):169-208.
Review of Stirling's Theory of Conditional Games. [REVIEW]Cory Siler - 2016 - Artificial Intelligence 237 (C):136-137.
Computational techniques for a simple theory of conditional preferences.Nic Wilson - 2011 - Artificial Intelligence 175 (7-8):1053-1091.
Nonmonotonic reasoning, conditional objects and possibility theory.Salem Benferhat, Didier Dubois & Henri Prade - 1997 - Artificial Intelligence 92 (1-2):259-276.
Deduction Systems in Artificial Intelligence.Karl Hans Bläsius & Hans-Jürgen Bürckert - 1989
A theory of conflict resolution in planning.Qiang Yang - 1992 - Artificial Intelligence 58 (1-3):361-392.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,692,869)

6 months
5 (#1,035,390)

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

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.
A semantic backward chaining proof system.Xumin Nie & David A. Plaisted - 1992 - Artificial Intelligence 55 (1):109-128.

Add more references