Sfoglia per Autore
Plan formation and execution in a uniform architecture of declarative metatheories
1990-01-01 Giunchiglia, Fausto; Traverso, Paolo
Reflective reasoning with and between a declarative metatheory and the implementation code
1991-01-01 Giunchiglia, Fausto; Traverso, Paolo
Automating meta-theory creation and system extension
1991-01-01 David, Basin; Giunchiglia, Fausto; Traverso, Paolo
La deduzione automatica
1991-01-01 Giunchiglia, Fausto; Traverso, Paolo; Serafini, Luciano
A Metatheory of a Mechnized Object Theory
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo
Implementing planning as tactical reasoning
1992-01-01 Luca, Spalazzi; Cimatti, Alessandro; Traverso, Paolo
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem
1992-01-01 Armando, Alessandro; Enrico, Giunchiglia; Traverso, Paolo
A System for Multi-Level Reasoning
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
MRG: un sistema di ragionamento distribuito per applicazioni complesse
1992-01-01 Giunchiglia, Fausto; Cimatti, Alessandro; Sandro, Dalbosco; Traverso, Paolo; Luca, Spalazzi
Beyond the single planning paradigm: introspective planning
1992-01-01 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi
Navigation by Combining Reactivity and Planning
1992-01-01 Cimatti, Alessandro; Traverso, Paolo; Sandro, Dalbosco; Armando, Alessandro
Programming Planners with Flexible Architectures
1992-01-01 Cimatti, Alessandro; Traverso, Paolo; Luca, Spalazzi
Understanding scene descriptions by integrating different sources of knowledge
1992-01-01 Giunchiglia, Fausto; C., Ferrari; Traverso, Paolo; E., Trucco
Tactics: extending the notion of plan
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi
A knowledge based system for automatic 3D scene generation
1992-01-01 Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
Building planners with explicit control mechanism
1992-01-01 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia
Valutazione del CBR-tool orientato all`help desk `Case Advisor`
1993-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Multi-content systems as a specification framework for complex reasoning systems
1993-01-01 Enrico, Giunchiglia; Traverso, Paolo; Giunchiglia, Fausto
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale
1993-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Plan formation and execution in a uniform architecture of declarative metatheories | 1-gen-1990 | Giunchiglia, Fausto; Traverso, Paolo | |
Reflective reasoning with and between a declarative metatheory and the implementation code | 1-gen-1991 | Giunchiglia, Fausto; Traverso, Paolo | |
Automating meta-theory creation and system extension | 1-gen-1991 | David, Basin; Giunchiglia, Fausto; Traverso, Paolo | |
La deduzione automatica | 1-gen-1991 | Giunchiglia, Fausto; Traverso, Paolo; Serafini, Luciano | |
A Metatheory of a Mechnized Object Theory | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo | |
Implementing planning as tactical reasoning | 1-gen-1992 | Luca, Spalazzi; Cimatti, Alessandro; Traverso, Paolo | |
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem | 1-gen-1992 | Armando, Alessandro; Enrico, Giunchiglia; Traverso, Paolo | |
A System for Multi-Level Reasoning | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari | |
MRG: un sistema di ragionamento distribuito per applicazioni complesse | 1-gen-1992 | Giunchiglia, Fausto; Cimatti, Alessandro; Sandro, Dalbosco; Traverso, Paolo; Luca, Spalazzi | |
Beyond the single planning paradigm: introspective planning | 1-gen-1992 | Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi | |
Navigation by Combining Reactivity and Planning | 1-gen-1992 | Cimatti, Alessandro; Traverso, Paolo; Sandro, Dalbosco; Armando, Alessandro | |
Programming Planners with Flexible Architectures | 1-gen-1992 | Cimatti, Alessandro; Traverso, Paolo; Luca, Spalazzi | |
Understanding scene descriptions by integrating different sources of knowledge | 1-gen-1992 | Giunchiglia, Fausto; C., Ferrari; Traverso, Paolo; E., Trucco | |
Tactics: extending the notion of plan | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi | |
A knowledge based system for automatic 3D scene generation | 1-gen-1992 | Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia | |
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari | |
Building planners with explicit control mechanism | 1-gen-1992 | Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia | |
Valutazione del CBR-tool orientato all`help desk `Case Advisor` | 1-gen-1993 | Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo | |
Multi-content systems as a specification framework for complex reasoning systems | 1-gen-1993 | Enrico, Giunchiglia; Traverso, Paolo; Giunchiglia, Fausto | |
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale | 1-gen-1993 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari |
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