Sfoglia per Autore
A High Level Analysis Tool for Concurrent Programs
1983-01-01 Mancarella, PAOLO MARIA; Turini, Franco
INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES
1987-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
An Algebra of Logic Programs
1988-01-01 Mancarella, PAOLO MARIA; Pedreschi, D.
A Progress Report on the LML Project
1988-01-01 Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F.
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.
Database Updates through Abduction
1990-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA
Abductive Logic Programming
1990-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA
Generalized Stable Models: A Semantics for Abduction
1990-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA
A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING
1990-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco
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.
Theory Construction in Computational Logic
1991-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F.
ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK
1991-01-01 Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P.
Negation as Stable Hypotheses
1991-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA
KNOWLEDGE ASSIMILATION AND ABDUCTION
1991-01-01 Kakas, Ac; Mancarella, PAOLO MARIA
Stable Theories for Logic Programs
1991-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA
Normal logic programs as open positive programs
1992-01-01 Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P.
PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS
1992-01-01 Kakas, Ac; Mancarella, PAOLO MARIA
META FOR MODULARIZING LOGIC PROGRAMMING
1992-01-01 Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A High Level Analysis Tool for Concurrent Programs | 1-gen-1983 | Mancarella, PAOLO MARIA; Turini, Franco | |
| INTENSIONAL NEGATION OF LOGIC PROGRAMS - EXAMPLES AND IMPLEMENTATION TECHNIQUES | 1-gen-1987 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
| An Algebra of Logic Programs | 1-gen-1988 | Mancarella, PAOLO MARIA; Pedreschi, D. | |
| A Progress Report on the LML Project | 1-gen-1988 | Bertolino, B.; Mancarella, PAOLO MARIA; Meo, L.; Nini, L.; Pedreschi, D.; Turini, F. | |
| 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. | |
| Database Updates through Abduction | 1-gen-1990 | Kakas, A. C.; Mancarella, PAOLO MARIA | |
| Abductive Logic Programming | 1-gen-1990 | Kakas, A. C.; Mancarella, PAOLO MARIA | |
| Generalized Stable Models: A Semantics for Abduction | 1-gen-1990 | Kakas, A. C.; Mancarella, PAOLO MARIA | |
| A TRANSFORMATIONAL APPROACH TO NEGATION IN LOGIC PROGRAMMING | 1-gen-1990 | Barbuti, Roberto; Mancarella, PAOLO MARIA; Pedreschi, Dino; Turini, Franco | |
| 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. | |
| Theory Construction in Computational Logic | 1-gen-1991 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D.; Turini, F. | |
| ABDUCTIVE REASONING IN A MULTI-THEORY FRAMEWORK | 1-gen-1991 | Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P. | |
| Negation as Stable Hypotheses | 1-gen-1991 | Kakas, A. C.; Mancarella, PAOLO MARIA | |
| KNOWLEDGE ASSIMILATION AND ABDUCTION | 1-gen-1991 | Kakas, Ac; Mancarella, PAOLO MARIA | |
| Stable Theories for Logic Programs | 1-gen-1991 | Kakas, A. C.; Mancarella, PAOLO MARIA | |
| Normal logic programs as open positive programs | 1-gen-1992 | Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P. | |
| PREFERRED EXTENSIONS ARE PARTIAL STABLE MODELS | 1-gen-1992 | Kakas, Ac; Mancarella, PAOLO MARIA | |
| META FOR MODULARIZING LOGIC PROGRAMMING | 1-gen-1992 | Brogi, A; Mancarella, PAOLO MARIA; Pedreschi, D; Turini, F. |
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