Sfoglia per Autore LAMMA, Evelina
Reflection mechanisms to combine Prolog databases
file con accesso da definire1991 Lamma, Evelina; Mello, P.; Natali, A.
Extensions of Logic Programming - Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992
file con accesso da definire1993 Lamma, Evelina; Mello, P.
Distributed Logic Objects: A fragment of Rewriting Logic and its Implementation
file con accesso da definire1996 A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare
Distributed Logic Objects
1996 Ciampolini, A.; Lamma, Evelina; Mello, P.; Stefanelli, Cesare
Blackboard- and Object-based systems via multi-head clauses
file con accesso da definire1997 A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare
Improving Distributed Unification through Type Analysis
file con accesso da definire1997 Lamma, Evelina; P., Mello; P., Van Hentenryck; Stefanelli, Cesare
Introducing abduction into (Extensional) inductive logic programming systems
file con accesso da definire1997 Lamma, Evelina; Mello, P.; Milano, M.; Riguzzi, Fabrizio
Strategies for Learning with Extended Logic Programs
file con accesso da definire1998 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
Learning with extended logic programs
file con accesso da definire1998 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
A System for Abductive Learning of Logic Programs
file con accesso da definire1998 Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio
Learning Multiple Predicates
file con accesso da definire1998 Kakas, A. C.; Lamma, Evelina; Riguzzi, Fabrizio
A system for measuring function points
file con accesso da definire1998 Lamma, Evelina; Mello, P.; Riguzzi, Fabrizio
Learning in a three-valued setting
file con accesso da definire1998 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
Extending Constraint Logic Programming for Temporal Reasoning
file con accesso da definire1998 Lamma, Evelina; Mello, P.; Milano, M.
Learning three-valued logic programs
file con accesso da definire1999 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
Agents learning in a three-valued logical setting
file con accesso da definire1999 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M.
Extending CLP(FD) with interactive data acquisition for 3D visual object recognition.
file con accesso da definire1999 Cucchiara, R.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.; Piccardi, M.
Constraint satisfaction problems: an interactive, agent-based approach
file con accesso da definire1999 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.
Exploiting Type Analysis for Unification in a Distributed Environment
file con accesso da definire1999 Lamma, Evelina; Mello, P.; Stefanelli, Cesare; VAN HENTENRYCK, P.
A Coordination Protocol for Abductive Logic Agents
file con accesso da definire1999 A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reflection mechanisms to combine Prolog databases | 1991 | Lamma, Evelina; Mello, P.; Natali, A. | file con accesso da definire |
Extensions of Logic Programming - Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992 | 1993 | Lamma, Evelina; Mello, P. | file con accesso da definire |
Distributed Logic Objects: A fragment of Rewriting Logic and its Implementation | 1996 | A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare | file con accesso da definire |
Distributed Logic Objects | 1996 | Ciampolini, A.; Lamma, Evelina; Mello, P.; Stefanelli, Cesare | |
Blackboard- and Object-based systems via multi-head clauses | 1997 | A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare | file con accesso da definire |
Improving Distributed Unification through Type Analysis | 1997 | Lamma, Evelina; P., Mello; P., Van Hentenryck; Stefanelli, Cesare | file con accesso da definire |
Introducing abduction into (Extensional) inductive logic programming systems | 1997 | Lamma, Evelina; Mello, P.; Milano, M.; Riguzzi, Fabrizio | file con accesso da definire |
Strategies for Learning with Extended Logic Programs | 1998 | Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. | file con accesso da definire |
Learning with extended logic programs | 1998 | Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. | file con accesso da definire |
A System for Abductive Learning of Logic Programs | 1998 | Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio | file con accesso da definire |
Learning Multiple Predicates | 1998 | Kakas, A. C.; Lamma, Evelina; Riguzzi, Fabrizio | file con accesso da definire |
A system for measuring function points | 1998 | Lamma, Evelina; Mello, P.; Riguzzi, Fabrizio | file con accesso da definire |
Learning in a three-valued setting | 1998 | Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. | file con accesso da definire |
Extending Constraint Logic Programming for Temporal Reasoning | 1998 | Lamma, Evelina; Mello, P.; Milano, M. | file con accesso da definire |
Learning three-valued logic programs | 1999 | Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. | file con accesso da definire |
Agents learning in a three-valued logical setting | 1999 | Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. | file con accesso da definire |
Extending CLP(FD) with interactive data acquisition for 3D visual object recognition. | 1999 | Cucchiara, R.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M.; Piccardi, M. | file con accesso da definire |
Constraint satisfaction problems: an interactive, agent-based approach | 1999 | Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. | file con accesso da definire |
Exploiting Type Analysis for Unification in a Distributed Environment | 1999 | Lamma, Evelina; Mello, P.; Stefanelli, Cesare; VAN HENTENRYCK, P. | file con accesso da definire |
A Coordination Protocol for Abductive Logic Agents | 1999 | A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare | file con accesso da definire |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile