Edelmira Pasarella  Home/Search
Context
Related
| lsi.upc.es/~edelmi...esisproject.ps.gz 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: lsi.upc.es/~edelmira (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this document, some basic notions and results of logic programming and a succinct presenta4 tion of intuitionistic logic. We assume the reader is familiar with first order logic. (Update)
Active bibliography (related documents): More All
0.3: Constructive Negation Without Subsidiary Trees - Pasarella, Pino, Orejas (2000) (Correct)
0.3: A Modal Extension of Logic Programming: Modularity.. - Baldoni, Giordano.. (1998) (Correct)
0.2: Intuitionistic Deductive Databases And The Polynomial Time.. - Bonner (1997) (Correct)
Similar documents based on text: More All
0.4: A Monte Carlo Approach for Animated Radiosity Environments - Besuievsky (2000) (Correct)
0.1: Reinforcement Learning for Embedded Agents Facing Complex Tasks - Muņoz (1998) (Correct)
0.1: Contributions to the Study of Resource-Bounded Measure - Camara (1994) (Correct)
BibTeX entry: (Update)
@misc{ pasarella-modularity,
author = "Edelmira Pasarella",
title = "Modularity in Logic Programming",
url = "citeseer.ist.psu.edu/411532.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
759 Negation as failure (context) - Clark - 1978
343 Introduction to Metamathematics (context) - Kleene - 1952
295 On closed world data bases (context) - Reiter - 1978
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
192 Logic programming (context) - Apt - 1990
186 Negation in logic programming (context) - Kunen - 1987
180 Logic programming and negation: A survey - Apt, Bol - 1994
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
159 Predicate logic as a programming language (context) - Kowalski - 1974
149 A logical analysis of modules in logic programming (context) - Miller - 1989
144 Contributions to the theory of logic programming (context) - Apt, van Emden - 1982
112 Constructivism in Mathematics (context) - Troelstra, van Dalen - 1988
82 Signed data dependencies in logic programs (context) - Kunen - 1989
82 PROLOG: An extension of Prolog with hypothetical implication.. (context) - Gabbay - 1985
56 Modularity in logic programming - Bugliesi, Lamma et al. - 1994
55 Clausal intuitionistic logic (context) - McCarty - 1988
34 An approach to constructive negation (context) - Drabent, failure - 1995
34 Information and Computation (context) - Stuckey, constraint - 1995
29 A completeness theorem for SLDNF resolution (context) - Cavedon, Lloyd - 1989
28 Constructive negation by pruning - Fages - 1997
26 Elements of Intuitionism (context) - Dummett - 1977
22 A new definition of SLDNF-resolution - Apt, Doets - 1994
20 A basis for deductive database systems II (context) - Lloyd - 1986
17 Intuitionistic logic (context) - van Dalen - 1986
16 Multiparadigm logic programming (context) - Meseguer - 1992
14 Adding negation-as-failure to intuitionistic logic programmi.. - Bonner, McCarty - 1990
14 Clausal intuitionistic logic II (context) - McCarty - 1988
13 A language for contextual logic programming (context) - Monteiro, Porto - 1993
7 Institutions for logic programming - Orejas, Pino et al. - 1997
7 A logical semantics for hypothetical rulebases with deletion - Bonner - 1997
4 An algebraic framework for the definition of compositional s.. - Lucio, Orejas et al. - 1999
4 Extending Horn clause logic with implication goals (context) - Giordano, Martelli et al. - 1992
1 FO oe : A complete extension of first order logic with intui.. (context) - Lucio - 1998
1 Un resumen sobre el enfoque de la l'ogica trivalorada y los .. (context) - Lucio, en et al. - 1995
1 Negation as failure II (context) - Shepherson - 1985
1 What is a deductive system (context) - Lambek - 1994
1 Negation in logic (context) - Shepherson - 1988
1 A strong logic programming view for static embedded implicat.. (context) - Arruabarrena, Lucio et al. - 1999
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