Sfoglia per Autore
OBJMAKE: un modellatore geometrico e funzionale per grafica interattiva
1987-01-01 M., Pilotto; Giunchiglia, Fausto; C., Ferrari
A debugging tool in a multiprocessor environment
1987-01-01 Giunchiglia, Fausto; A., Giordano; M., Maresca; D., Tezza
Strings manipulation using qualitative reasoning
1987-01-01 M., Di Manzo; E., Lucchelli; Giunchiglia, Fausto; E., Trucco
Strings manipulation using qualitative reasoning
1987-01-01 M., Di Manzo; E., Lucchelli; Giunchiglia, Fausto; E., Trucco
The FUR project:: understanding functional reasoning
1987-01-01 M., Di Manzo; Giunchiglia, Fausto; E., Trucco; F., Ricci
Evaluation of a multiprocessor structure for image processing
1987-01-01 Giunchiglia, Fausto; A., Giordano; M., Maresca; T., Vernazza
Kyoto common lisp: a high level language implementation of common lisp on general purpose machines
1987-01-01 Giunchiglia, Fausto
A first order theory of common sense object positioning
1987-01-01 DI MANZO, M.; Giunchiglia, Fausto
A Metatheory of a Mechanized Object Theory
1988-01-01 Giunchiglia, Fausto; Sebastiani, R.
Proving properties of logic programs: a progress report
1988-01-01 A., Bundy; D., Sannella; R., Desimone; Giunchiglia, Fausto; F., Van Harmelen; J., Hesketh; P., Madden; A., Smaill; A., Stevens; L., Wallen
NALIG: un sistema per la generazione di scene tridimensionali
1988-01-01 C., Ferrari; Giunchiglia, Fausto; M., Pilotto
A multi-context monotonic axiomatization of inessential non-monotonicity
1988-01-01 Giunchiglia, Fausto; R. W., Weyhrauch
Building complex derived inference rules: a decider for the class of prenex universal-existential formulas
1988-01-01 Giunchiglia, Fausto; E., Giunchiglia
Ragionamento non monotono: metodologie e prospettive di ricerca
1989-01-01 Giunchiglia, Fausto; D., Tezza; E., Giunchiglia
Abstract theorem proving
1989-01-01 Giunchiglia, Fausto; T., Walsh
Reflection in Constructive and Non-Constructive Automated Reasoning
1989-01-01 Giunchiglia, Fausto; A., Smaill
Abstracting into inconsistent spaces (or the false proof problem)
1989-01-01 Giunchiglia, Fausto; T., Walsh
Theorem proving with definitions
1989-01-01 Giunchiglia, Fausto; T., Walsh
FUR: Understanding FUnctional Reasoning
1989-01-01 Giunchiglia, Fausto; D., Dimanzo; E., Trucco; F., Ricci
Abstraction in AI
1990-01-01 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