Sfoglia per Autore
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.
The Acceptability Semantics for Logic Programs
1994-01-01 Kakas, A. C.; Mancarella, PAOLO MARIA; Dung, Pm
An abductive framework for extended logic programming
1995-01-01 Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P.
Production Systems Need Negation as Failure
1996-01-01 Dung, Pm; Mancarella, PAOLO MARIA
A Multiple-Valued Logical Semantics for Prolog
1996-01-01 Barbuti, Roberto; Mancarella, PAOLO MARIA
A unifying view for logic programming with non-monotonic reasoning
1997-01-01 Brogi, Antonio; E., Lamma; P., Mello; Mancarella, PAOLO MARIA
Time in a Multi-theory Logical Framework
1997-01-01 Mancarella, PAOLO MARIA; Raffaeta', A.; Turini, Franco
Towards a Logical Semantics fo Prolog
1998-01-01 Barbuti, Roberto; DE FRANCESCO, Nicoletta; Mancarella, PAOLO MARIA; Santone, Antonella
Knowledge Representation with Multiple Logical Theories and Time
1999-01-01 Mancarella, PAOLO MARIA; Raffaeta, A; Turini, Franco
Temporal Annotated Constraint Logic Programming with Multiple Theories
1999-01-01 Mancarella, PAOLO MARIA; Raffaeta', A; Turini, Franco
MuTACLP: A language for declarative GIS analysis
2000-01-01 Mancarella, PAOLO MARIA; Nerbini, G; Raffaeta', A; Turini, Franco
Negation as Failure through Abduction: Reasoning about Termination
2002-01-01 Mancarella, PAOLO MARIA; Pedreschi, Dino; Ruggieri, Salvatore
Production systems with negation as failure
2002-01-01 Dung, Pm; Mancarella, PAOLO MARIA
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning
2002-01-01 Dung, Pm; Mancarella, PAOLO MARIA; Toni, F.
MuTACLP: A language for temporal reasoning with multiple theories
2002-01-01 Baldan, P; Mancarella, PAOLO MARIA; Raffaeta, A; Turini, F.
MuTACLP: a Language for Temporal Reasoning with Miltiple Theories
2002-01-01 P., Baldan; Mancarella, PAOLO MARIA; A., Raffaeta; Turini, Franco
An abductive proof procedure handling active rules
2003-01-01 Mancarella, PAOLO MARIA; Terreni, G.
Abduction in Classification Tasks
2003-01-01 Atzori, M; Mancarella, PAOLO MARIA; Turini, Franco
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
2004-01-01 U., Endriss; Mancarella, PAOLO MARIA; F., Sadri; G., Terreni; F., Toni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
The Acceptability Semantics for Logic Programs | 1-gen-1994 | Kakas, A. C.; Mancarella, PAOLO MARIA; Dung, Pm | |
An abductive framework for extended logic programming | 1-gen-1995 | Brogi, A; Lamma, E; Mancarella, PAOLO MARIA; Mello, P. | |
Production Systems Need Negation as Failure | 1-gen-1996 | Dung, Pm; Mancarella, PAOLO MARIA | |
A Multiple-Valued Logical Semantics for Prolog | 1-gen-1996 | Barbuti, Roberto; Mancarella, PAOLO MARIA | |
A unifying view for logic programming with non-monotonic reasoning | 1-gen-1997 | Brogi, Antonio; E., Lamma; P., Mello; Mancarella, PAOLO MARIA | |
Time in a Multi-theory Logical Framework | 1-gen-1997 | Mancarella, PAOLO MARIA; Raffaeta', A.; Turini, Franco | |
Towards a Logical Semantics fo Prolog | 1-gen-1998 | Barbuti, Roberto; DE FRANCESCO, Nicoletta; Mancarella, PAOLO MARIA; Santone, Antonella | |
Knowledge Representation with Multiple Logical Theories and Time | 1-gen-1999 | Mancarella, PAOLO MARIA; Raffaeta, A; Turini, Franco | |
Temporal Annotated Constraint Logic Programming with Multiple Theories | 1-gen-1999 | Mancarella, PAOLO MARIA; Raffaeta', A; Turini, Franco | |
MuTACLP: A language for declarative GIS analysis | 1-gen-2000 | Mancarella, PAOLO MARIA; Nerbini, G; Raffaeta', A; Turini, Franco | |
Negation as Failure through Abduction: Reasoning about Termination | 1-gen-2002 | Mancarella, PAOLO MARIA; Pedreschi, Dino; Ruggieri, Salvatore | |
Production systems with negation as failure | 1-gen-2002 | Dung, Pm; Mancarella, PAOLO MARIA | |
Argumentation-based proof procedures for credulous and sceptical non-monotonic reasoning | 1-gen-2002 | Dung, Pm; Mancarella, PAOLO MARIA; Toni, F. | |
MuTACLP: A language for temporal reasoning with multiple theories | 1-gen-2002 | Baldan, P; Mancarella, PAOLO MARIA; Raffaeta, A; Turini, F. | |
MuTACLP: a Language for Temporal Reasoning with Miltiple Theories | 1-gen-2002 | P., Baldan; Mancarella, PAOLO MARIA; A., Raffaeta; Turini, Franco | |
An abductive proof procedure handling active rules | 1-gen-2003 | Mancarella, PAOLO MARIA; Terreni, G. | |
Abduction in Classification Tasks | 1-gen-2003 | Atzori, M; Mancarella, PAOLO MARIA; Turini, Franco | |
The CIFF Proof Procedure for Abductive Logic Programming with Constraints | 1-gen-2004 | U., Endriss; Mancarella, PAOLO MARIA; F., Sadri; G., Terreni; F., Toni |
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