Sfoglia per Autore
Symbolic Semantics and Program Reduction
1985-01-01 Ambriola, Vincenzo; Giannotti, F; Pedreschi, Dino; Turini, F.
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES
1987-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Symbolic Evaluation with Structural Recursive Symbolic Constants
1987-01-01 Giannotti, Fosca; Matteucci, A; Pedreschi, Dino; Turini, Franco
A Progress Report on the LML Project
1988-01-01 Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F.
An Algebra of Logic Programs
1988-01-01 Mancarella, PAOLO MARIA; Pedreschi, D.
COMPLETE LOGIC PROGRAMS WITH DOMAIN-CLOSURE AXIOM
1988-01-01 Mancarella, PAOLO MARIA; Martini, S; Pedreschi, Dino
Universal Quantification by Case Analysis
1990-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Algebraic Properties of a Class of Logic Programs
1990-01-01 Mancarella, PAOLO MARIA; Pedreschi, D; Rondinelli, M.; Tagliatti, M.
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK
1990-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING
1990-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Theory Construction in Computational Logic
1991-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F.
META FOR MODULARIZING LOGIC PROGRAMMING
1992-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
Reasoning about Termination of Pure Prolog Programs
1993-01-01 Krzysztof R., Apt; Pedreschi, Dino
Declarative Semantics for Pruning Operators in Logic Programming
1994-01-01 Giannotti, Fosca; Pedreschi, Dino; Zaniolo, C.
Implementations of Program Composition Operations
1994-01-01 Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F.
MODULAR LOGIC PROGRAMMING
1994-01-01 Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
Logic in databases. International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings.
1996-01-01 Pedreschi, Dino; Zaniolo, C.
A closer look at declarative interpretations
1996-01-01 Apt, K. R.; Gabbrielli, M.; Pedreschi, Dino
Datalog: a basis for Active Object-Oriented Databases
1997-01-01 Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino
Non-determinism in Deductive Databases - Preface.
1997-01-01 Pedreschi, Dino; Subrahmanian, V. S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Symbolic Semantics and Program Reduction | 1-gen-1985 | Ambriola, Vincenzo; Giannotti, F; Pedreschi, Dino; Turini, F. | |
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES | 1-gen-1987 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
Symbolic Evaluation with Structural Recursive Symbolic Constants | 1-gen-1987 | Giannotti, Fosca; Matteucci, A; Pedreschi, Dino; Turini, Franco | |
A Progress Report on the LML Project | 1-gen-1988 | Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F. | |
An Algebra of Logic Programs | 1-gen-1988 | Mancarella, PAOLO MARIA; Pedreschi, D. | |
COMPLETE LOGIC PROGRAMS WITH DOMAIN-CLOSURE AXIOM | 1-gen-1988 | Mancarella, PAOLO MARIA; Martini, S; Pedreschi, Dino | |
Universal Quantification by Case Analysis | 1-gen-1990 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
Algebraic Properties of a Class of Logic Programs | 1-gen-1990 | Mancarella, PAOLO MARIA; Pedreschi, D; Rondinelli, M.; Tagliatti, M. | |
LOGIC PROGRAMMING WITHIN A FUNCTIONAL FRAMEWORK | 1-gen-1990 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING | 1-gen-1990 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
Theory Construction in Computational Logic | 1-gen-1991 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F. | |
META FOR MODULARIZING LOGIC PROGRAMMING | 1-gen-1992 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. | |
Reasoning about Termination of Pure Prolog Programs | 1-gen-1993 | Krzysztof R., Apt; Pedreschi, Dino | |
Declarative Semantics for Pruning Operators in Logic Programming | 1-gen-1994 | Giannotti, Fosca; Pedreschi, Dino; Zaniolo, C. | |
Implementations of Program Composition Operations | 1-gen-1994 | Brogi, A; Chiarelli, A; Mancarella, PAOLO MARIA; Mazzotta, V.; Pedreschi, D.; Renso, C.; Turini, F. | |
MODULAR LOGIC PROGRAMMING | 1-gen-1994 | Brogi, Antonio; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
Logic in databases. International Workshop LID'96, San Miniato, Italy, July 1-2, 1996, Proceedings. | 1-gen-1996 | Pedreschi, Dino; Zaniolo, C. | |
A closer look at declarative interpretations | 1-gen-1996 | Apt, K. R.; Gabbrielli, M.; Pedreschi, Dino | |
Datalog: a basis for Active Object-Oriented Databases | 1-gen-1997 | Giannotti, Fosca; Nanni, Mirco; G., Manco; Pedreschi, Dino | |
Non-determinism in Deductive Databases - Preface. | 1-gen-1997 | Pedreschi, Dino; Subrahmanian, V. S. |
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