Linear resolution for consequence finding

Artificial Intelligence 56 (2-3):301-353 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90030-2

Links

PhilArchive



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

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

A note on linear resolution strategies in consequence-finding.Eliana Minicozzi & Raymond Reiter - 1972 - Artificial Intelligence 3 (C):175-180.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
Temporal abductive reasoning about biochemical reactions.Serenella Cerrito, Marta Cialdea Mayer & Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):269-291.
Group Cancellation and Resolution.Alessandra Carbone - 2006 - Studia Logica 82 (1):73-93.
Resolution over linear equations and multilinear proofs.Ran Raz & Iddo Tzameret - 2008 - Annals of Pure and Applied Logic 155 (3):194-224.
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.
Prospects for a Cognitive Norm Account of Logical Consequence.Thomas N. P. A. Brouwer - 2015 - In Pavel Arazim & Michal Dancak (eds.), The Logica Yearbook 2014. College Publications. pp. 13-32.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
Simple Consequence Relations.Arnon Avron - unknown
Language as an Instrument for Dispute Resolution in Modern Justice.Anna K. Drabarz, Tomasz Kałużny & Stephen Terrett - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):41-56.
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
Modelling Combinatorial Auctions in Linear Logic.Daniele Porello & Ulle Endriss - 2010 - In Daniele Porello & Ulle Endriss (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
The complexity of the collection of countable linear orders of the form I + I.Ferenc Beleznay - 1999 - Journal of Symbolic Logic 64 (4):1519-1526.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,556,420)

6 months
3 (#1,034,177)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.

View all 10 citations / Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.

View all 10 references / Add more references