Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 237
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
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
A system for measuring function points 1998 Lamma, Evelina; Mello, P.; 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 in a three-valued setting 1998 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. file con accesso da definire
Learning Multiple Predicates 1998 Kakas, A. C.; Lamma, Evelina; Riguzzi, Fabrizio file con accesso da definire
Extending Constraint Logic Programming for Temporal Reasoning 1998 Lamma, Evelina; Mello, P.; Milano, 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
Integrating induction and abduction in logic programming 1999 Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio file con accesso da definire
Constraint Propagation and Value Acquisition: Why we should do it Interactively 1999 Cucchiara, R.; Gavanelli, Marco; Lamma, Evelina; Mello, M.; Milano, M.; Piccardi, M. file con accesso da definire
An Implementation for Abductive LogIc Agents 1999 A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare; P., Torroni file con accesso da definire
Mostrati risultati da 1 a 20 di 237
Legenda icone

  •  file ad accesso aperto
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile