Sfoglia per Autore
Universal Quantification by Case Analysis
1990-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
1990-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Hypothetical Reasoning in Logic Programming: A Semantic Approach.
1990-01-01 Brogi, Antonio; E., Lamma; P., Mello
Theory Construction in Computational Logic
1991-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F.
The Concurrent Language Shared Prolog.
1991-01-01 Brogi, Antonio; P., Ciancarini
META FOR MODULARIZING LOGIC PROGRAMMING
1992-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Compositional model-theoretic semantics for logic programs.
1992-01-01 Brogi, Antonio; E., Lamma; P., Mello
The implementation of a distributed model for logic programming based on multiple-headed clauses.
1992-01-01 Brogi, Antonio; A., Ciampolini; E., Lamma; P., Mello
Distributed Logic Programming
1993-01-01 Brogi, Antonio; R., Gorrieri
Composing Open Logic Programs.
1993-01-01 Brogi, Antonio; E., Lamma; P., Mello
MODULAR LOGIC PROGRAMMING
1994-01-01 Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Implementations of Program Composition Operations
1994-01-01 Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F.
Fully Abstract Compositional Semantics for an Algebra of Logic Programs
1995-01-01 Brogi, Antonio; Turini, Franco
A unifying view for logic programming with non-monotonic reasoning
1997-01-01 Brogi, Antonio; E., Lamma; P., Mello; Mancarella, PAOLO MARIA
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach.
1997-01-01 Brogi, Antonio; V. S., Subrahmanian; C., Zaniolo
Composing General Logic Programs
1997-01-01 Brogi, Antonio; Contiero, S; Turini, Franco
A Program Specialiser for Meta-level Compositions of Logic Programs.
1998-01-01 Brogi, Antonio; Contiero, Simone
The Use of Renaming in Composing General Programs
1998-01-01 Brogi, Antonio; Contiero, S; Turini, Franco
Programming by composing general logic programs
1999-01-01 Brogi, Antonio; Contiero, Simone; Turini, Franco
Dynamic Composition of Parameterized Logic Modules
1999-01-01 Brogi, Antonio; Renso, C.; Turini, Franco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Universal Quantification by Case Analysis | 1-gen-1990 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK | 1-gen-1990 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
Hypothetical Reasoning in Logic Programming: A Semantic Approach. | 1-gen-1990 | Brogi, Antonio; E., Lamma; P., Mello | |
Theory Construction in Computational Logic | 1-gen-1991 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F. | |
The Concurrent Language Shared Prolog. | 1-gen-1991 | Brogi, Antonio; P., Ciancarini | |
META FOR MODULARIZING LOGIC PROGRAMMING | 1-gen-1992 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
Compositional model-theoretic semantics for logic programs. | 1-gen-1992 | Brogi, Antonio; E., Lamma; P., Mello | |
The implementation of a distributed model for logic programming based on multiple-headed clauses. | 1-gen-1992 | Brogi, Antonio; A., Ciampolini; E., Lamma; P., Mello | |
Distributed Logic Programming | 1-gen-1993 | Brogi, Antonio; R., Gorrieri | |
Composing Open Logic Programs. | 1-gen-1993 | Brogi, Antonio; E., Lamma; P., Mello | |
MODULAR LOGIC PROGRAMMING | 1-gen-1994 | Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
Implementations of Program Composition Operations | 1-gen-1994 | Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F. | |
Fully Abstract Compositional Semantics for an Algebra of Logic Programs | 1-gen-1995 | Brogi, Antonio; Turini, Franco | |
A unifying view for logic programming with non-monotonic reasoning | 1-gen-1997 | Brogi, Antonio; E., Lamma; P., Mello; Mancarella, PAOLO MARIA | |
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. | 1-gen-1997 | Brogi, Antonio; V. S., Subrahmanian; C., Zaniolo | |
Composing General Logic Programs | 1-gen-1997 | Brogi, Antonio; Contiero, S; Turini, Franco | |
A Program Specialiser for Meta-level Compositions of Logic Programs. | 1-gen-1998 | Brogi, Antonio; Contiero, Simone | |
The Use of Renaming in Composing General Programs | 1-gen-1998 | Brogi, Antonio; Contiero, S; Turini, Franco | |
Programming by composing general logic programs | 1-gen-1999 | Brogi, Antonio; Contiero, Simone; Turini, Franco | |
Dynamic Composition of Parameterized Logic Modules | 1-gen-1999 | Brogi, Antonio; Renso, C.; Turini, Franco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile