A Logical Characterization of Forward and Backward Chaining in the Inverse Method-Reference-Cited by-同舟云学术

A Logical Characterization of Forward and Backward Chaining in the Inverse Method

Published:2006 Issue: Volume: Page:97-111
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Chaudhuri Kaustuv,Pfenning Frank,Price Greg

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11814771_9

Reference17 articles.

1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. Journal of Logic and Computation 2(3), 297–347 (1992)

2. Andreoli, J.-M.: Focussing and proof construction. Annals of Pure and Applied Logic 107, 131–163 (2001)

3. Cervesato, I., Pfenning, F., Walker, D., Watkins, K.: A concurrent logical framework I & II. Technical Report CMU-CS-02-101 and 102, Department of Computer Science, Carnegie Mellon University, 2002. Revised (May 2003)

4. Lecture Notes in Artificial Intelligence;K. Chaudhuri,2005

5. Lecture Notes in Computer Science;K. Chaudhuri,2005

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proof Search and Certificates for Evidential Transactions;Automated Deduction – CADE 28;2021

2. A Forward Unprovability Calculus for Intuitionistic Propositional Logic;Lecture Notes in Computer Science;2017

3. A Logical Characterization of Forward and Backward Chaining in the Inverse Method;Journal of Automated Reasoning;2008-01-24

4. Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic;Logic for Programming, Artificial Intelligence, and Reasoning;2008

5. Linear Logical Algorithms;Automata, Languages and Programming