ATutorial on Proof Theoretic Foundations of Logic Programming Paola Bruscoli...  Home/Search
Context
Related
| cs.bath.ac.uk/ag/p/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: A Tutorial on Proof Theoretic Foundations of Logic Programming - Bruscoli, Guglielmi (2003) (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:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ proof-september,
author = "Atutorial On Proof",
title = "September 2003 Invited tutorial at ICLP '03",
url = "citeseer.ist.psu.edu/742560.html" }
Citations (may not include all citations):340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991 ACM DBLP
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
46 Forum: A multiple-conclusion specification logic - Miller - 1996
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
A Tutorial on Proof Theoretic Foundations of Logic Programming - Bruscoli, Guglielmi (2003) (Correct)
On Structuring Proof Search - For First Order (Correct)
On Structuring Proof Search for First Order Linear Logic - Bruscoli, Guglielmi (2004) (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