Paola Bruscoli, Alessio Guglielmi  Home/Search
Context
Related
Links: DBLP | iccl.tudresden.de/~g...PrThFoundLP.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: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expressive logic programming languages, endowed with a rich meta theory. (Update)
Active bibliography (related documents): More All
0.1: September 2003 Invited tutorial at ICLP '03 - Atutorial On Proof (Correct)
0.0: A Language for the Logical Specification of Processes and Relations - Caires (1996) (Correct)
0.0: Towards the Automation of the Design of Logic Programming.. - Lutovac, Harland (1997) (Correct)
Similar documents based on text: More All
0.8: On Structuring Proof Search - For First Order (Correct)
0.6: Expressiveness of the logic programming language Forum in.. - Bruscoli, al. (1994) (Correct)
0.6: On Structuring Proof Search for First Order Linear Logic - Bruscoli, Guglielmi (2004) (Correct)
BibTeX entry: (Update)
@misc{ bruscoli-tutorial,
author = "Paola Bruscoli and Alessio Guglielmi",
title = "A Tutorial on Proof Theoretic Foundations of Logic Programming",
url = "citeseer.ist.psu.edu/bruscoli03tutorial.html" }
Citations (may not include all citations):340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
146 Investigations into logical deduction (context) - Gentzen - 1969
81 A multiple-conclusion meta-logic - Miller - 1994 DBLP
50 Higher-order Horn clauses - Nadathur, Miller - 1990 ACM DBLP
46 Forum: A multiple-conclusion specification logic - Miller - 1996 DBLP
26 Part I: A tutorial on proof systems and typed #-calculi (context) - Gallier - 1993
http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/docs.html
http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.pdf
Documents on the same site (http://alessio.guglielmi.name/res/sc/index.html): More
On Structuring Proof Search - For First Order (Correct)
On Structuring Proof Search for First Order Linear Logic - Bruscoli, Guglielmi (2004) (Correct)
September 2003 Invited tutorial at ICLP '03 - Atutorial On Proof (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