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
Multilanguage First Order Theories of Propositional Attitudes
1991-01-01 Giunchiglia, Fausto; Serafini, Luciano
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
A System for Multi-Level Reasoning
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
Multilanguage hierarchical logics (or: how we can do without modal logics)
1992-01-01 Giunchiglia, Fausto; Serafini, Luciano
MRG: un sistema di ragionamento distribuito per applicazioni complesse
1992-01-01 Giunchiglia, Fausto; Cimatti, Alessandro; Sandro, Dalbosco; Traverso, Paolo; Luca, Spalazzi
Tactics: extending the notion of plan
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics
1992-01-01 Giunchiglia, Fausto; Serafini, Luciano; Alex K., Simpson
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
Understanding scene descriptions by integrating different sources of knowledge
1992-01-01 Giunchiglia, Fausto; C., Ferrari; Traverso, Paolo; E., Trucco
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
MRG: sistema di ragionamento
1993-01-01 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Alessandro, Armando; Paolo, Pecchiari
Non-Omniscient Belief as Context-Based Resoning
1993-01-01 Giunchiglia, Fausto; Serafini, Luciano; Enrico, Giunchiglia; Marcello, Frixione
Planning with Failure
1994-01-01 Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem
1994-01-01 Bouquet, Paolo; Giunchiglia, Fausto
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 | |
Multilanguage First Order Theories of Propositional Attitudes | 1-gen-1991 | Giunchiglia, Fausto; Serafini, Luciano | |
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 | |
A System for Multi-Level Reasoning | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari | |
Multilanguage hierarchical logics (or: how we can do without modal logics) | 1-gen-1992 | Giunchiglia, Fausto; Serafini, Luciano | |
MRG: un sistema di ragionamento distribuito per applicazioni complesse | 1-gen-1992 | Giunchiglia, Fausto; Cimatti, Alessandro; Sandro, Dalbosco; Traverso, Paolo; Luca, Spalazzi | |
Tactics: extending the notion of plan | 1-gen-1992 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi | |
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics | 1-gen-1992 | Giunchiglia, Fausto; Serafini, Luciano; Alex K., Simpson | |
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 | |
Understanding scene descriptions by integrating different sources of knowledge | 1-gen-1992 | Giunchiglia, Fausto; C., Ferrari; Traverso, Paolo; E., Trucco | |
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 | |
MRG: sistema di ragionamento | 1-gen-1993 | Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Alessandro, Armando; Paolo, Pecchiari | |
Non-Omniscient Belief as Context-Based Resoning | 1-gen-1993 | Giunchiglia, Fausto; Serafini, Luciano; Enrico, Giunchiglia; Marcello, Frixione | |
Planning with Failure | 1-gen-1994 | Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo | |
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem | 1-gen-1994 | Bouquet, Paolo; Giunchiglia, Fausto |
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