Kaustuv Chaudhuri, Frank Pfenning  Home/Search
Context Related
| cmu.edu/~kaustuv/pa...CMUCS05106.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~kaustuv/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Focusing is traditionally seen as a means of reducing inessential non-determinism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In this paper we construct a form of focused derivations for propositional linear logic that is appropriate for forward reasoning in the inverse method. We show that the focused inverse method conservatively generalizes the classical hyperresolution strategy for Horn-theories, and demonstrate through a practical implementation that... (Update)
Cited by: More
A Focusing Inverse Method Theorem Prover for First-Order.. - Chaudhuri, Pfenning (2005) (Correct)
A Logical Characterization of Forward and Backward.. - Chaudhuri, Pfenning.. (2006) (Correct)
Focusing the Inverse Method for Linear Logic - Chaudhuri, Pfenning (2005) (Correct)
Active bibliography (related documents): More All
0.7: The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
0.5: Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
0.3: Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
5: Annals of Pure and Applied Logic (context) - Andreoli, proof - 2001
5: Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992
4: Resource distribution via boolean constraints - Harland, Pym - 1997
BibTeX entry: (Update)
Chaudhuri, K., Pfenning, F.: Focusing the inverse method for linear logic. Technical Report CMU-CS-05-106, Carnegie Mellon University (2005) http://citeseer.ist.psu.edu/article/chaudhuri05focusing.html More
@misc{ chaudhuri05focusing,
author = "K. Chaudhuri and F. Pfenning",
title = "Focusing the inverse method for linear logic",
text = "Chaudhuri, K., Pfenning, F.: Focusing the inverse method for linear logic.
Technical Report CMU-CS-05-106, Carnegie Mellon University (2005)",
year = "2005",
url = "citeseer.ist.psu.edu/article/chaudhuri05focusing.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
309 Symbolic logic and mechanical theorem proving (context) - Chang, Lee - 1973
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992
77 Dual Intuitionistic Linear Logic (context) - Barber - 1996
57 Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992
46 Resource-distribution via boolean constraints - Harland, Pym - 1997
25 cient resource management for linear logic proof search (context) - Cervesato, Hodas et al. - 2000
24 A concurrent logical framework I: Judgments and properties - Watkins, Cervesato et al. - 2002
22 Contraction-free sequent calculi for intuitionistic logic (context) - Dyckho - 1992
19 Resolution calculus for the first order linear logic (context) - Mints - 1993
19 A concurrent logical framework II: Examples and applications - Cervesato, Pfenning et al. - 2002
18 Annals of Pure and Applied Logic (context) - Andreoli, proof - 2001
18 Proof Search Issues in Some Non-Classical Logics - Howe - 1998
13 Locus solum: from the rules of logic to the logic of rules (context) - Girard - 2001
9 A judgmental analysis of linear logic - Chang, Chaudhuri et al. - 2003
9 A concurrent logical framework: The propositional fragment - Watkins, Cervesato et al. - 2003
7 inverse method and the sequent calculus (context) - Tammet - 1997
5 Focusing the inverse method for linear logic - Chaudhuri, Pfenning - 2005
4 A concurrent logical framework I & II (context) - Cervesato, Pfenning et al. - 2002
4 A focusing inverse method theorem prover for first-order lin.. - Chaudhuri, Pfenning - 2005
3 Model checking linear logic specifications - Bozzano, Delzanno et al. - 2004
3 Handbook of Automated Reasoning (context) - Degtyarev, Voronkov - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~kaustuv/research.html): More
A Focusing Inverse Method Theorem Prover for First-Order.. - Chaudhuri, Pfenning (2005) (Correct)
A Logical Characterization of Forward and Backward.. - Chaudhuri, Pfenning.. (2006) (Correct)
The Inverse Method for Intuitionistic Linear Logic (The.. - Chaudhuri (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC