Sfoglia per Autore
Computer aided modelling and simulation of complex mechanical systems
1990-01-01 Armando, Alessandro; Caiti, Andrea; Cannata, Giorgio; Bartolini, Giorgio; Casalino, Giuseppe; Cimatti, A.
Navigation by combining reactivity and planning
1992-01-01 A., Cimatti; P., Traverso; S., Dalbosco; Armando, Alessandro
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem
1992-01-01 Armando, Alessandro; Giunchiglia, Enrico; P., Traverso
A knowledge Based System for Automatic 3D Scene Generation
1992-01-01 P., Traverso; Armando, Alessandro; Giunchiglia, Enrico
Building and executing proof strategies in a formal metatheory
1993-01-01 Armando, Alessandro; A., Cimatti; L., Vigano`
Proving formulas through reduction to decidable classes
1993-01-01 M., DI MANZO; Giunchiglia, Enrico; Armando, Alessandro; P., Pecchiari
NALIG: A CAD system for interior design with high level interaction capabilities
1993-01-01 Armando, Alessandro; P., Pecchiari
MRG: an integrated multifunctional reasoning system
1993-01-01 S., Dalbosco; Armando, Alessandro
Embedding complex decision procedures inside an interactive theorem prover
1993-01-01 Armando, Alessandro; Giunchiglia, Enrico
MRG: Building Planners for Real World Complex Applications
1994-01-01 P., Traverso; A., Cimatti; L., Spalazzi; Armando, Alessandro; Giunchiglia, Enrico
Structured proof procedures
1995-01-01 Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, P.
Flexible planning by integrating multilevel reasoning
1995-01-01 Armando, Alessandro; Cimatti, A.; Giunchiglia, Enrico; Pecchiari, P.; Spalazzi, L.; Traverso, P.
Visual Representation of Natural Language Scene Descriptions
1996-01-01 Giunchiglia, Enrico; Armando, Alessandro; P., Traverso; A., Cimatti
Towards provably correct system synthesis and extension
1996-01-01 F., Giunchiglia; P., Pecchiari; Armando, Alessandro
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
1997-01-01 Armando, Alessandro; A., Smaill; I., Green
Constraint solving in Logic Programming and in Automated Deduction: A comparison
1998-01-01 Armando, Alessandro; E., Melis; S., Ranise
From integrated reasoning specialists to “plug-and-play" reasoning components
1998-01-01 Armando, Alessandro; S., Ranise
Automating the synthesis of decision procedures in a constructive metatheory
1998-01-01 Armando, Alessandro; J., Gallagher; A., Smaill; A., Bundy
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm
1999-01-01 Armando, Alessandro; Smaill, A.; Green, I.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Computer aided modelling and simulation of complex mechanical systems | 1-gen-1990 | Armando, Alessandro; Caiti, Andrea; Cannata, Giorgio; Bartolini, Giorgio; Casalino, Giuseppe; Cimatti, A. | |
| Navigation by combining reactivity and planning | 1-gen-1992 | A., Cimatti; P., Traverso; S., Dalbosco; Armando, Alessandro | |
| From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem | 1-gen-1992 | Armando, Alessandro; Giunchiglia, Enrico; P., Traverso | |
| A knowledge Based System for Automatic 3D Scene Generation | 1-gen-1992 | P., Traverso; Armando, Alessandro; Giunchiglia, Enrico | |
| Building and executing proof strategies in a formal metatheory | 1-gen-1993 | Armando, Alessandro; A., Cimatti; L., Vigano` | |
| Proving formulas through reduction to decidable classes | 1-gen-1993 | M., DI MANZO; Giunchiglia, Enrico; Armando, Alessandro; P., Pecchiari | |
| NALIG: A CAD system for interior design with high level interaction capabilities | 1-gen-1993 | Armando, Alessandro; P., Pecchiari | |
| MRG: an integrated multifunctional reasoning system | 1-gen-1993 | S., Dalbosco; Armando, Alessandro | |
| Embedding complex decision procedures inside an interactive theorem prover | 1-gen-1993 | Armando, Alessandro; Giunchiglia, Enrico | |
| MRG: Building Planners for Real World Complex Applications | 1-gen-1994 | P., Traverso; A., Cimatti; L., Spalazzi; Armando, Alessandro; Giunchiglia, Enrico | |
| Structured proof procedures | 1-gen-1995 | Giunchiglia, Enrico; Armando, Alessandro; Pecchiari, P. | |
| Flexible planning by integrating multilevel reasoning | 1-gen-1995 | Armando, Alessandro; Cimatti, A.; Giunchiglia, Enrico; Pecchiari, P.; Spalazzi, L.; Traverso, P. | |
| Visual Representation of Natural Language Scene Descriptions | 1-gen-1996 | Giunchiglia, Enrico; Armando, Alessandro; P., Traverso; A., Cimatti | |
| Towards provably correct system synthesis and extension | 1-gen-1996 | F., Giunchiglia; P., Pecchiari; Armando, Alessandro | |
| Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm | 1-gen-1997 | Armando, Alessandro; A., Smaill; I., Green | |
| Constraint solving in Logic Programming and in Automated Deduction: A comparison | 1-gen-1998 | Armando, Alessandro; E., Melis; S., Ranise | |
| From integrated reasoning specialists to “plug-and-play" reasoning components | 1-gen-1998 | Armando, Alessandro; S., Ranise | |
| Automating the synthesis of decision procedures in a constructive metatheory | 1-gen-1998 | Armando, Alessandro; J., Gallagher; A., Smaill; A., Bundy | |
| The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; Coglio, A.; Giunchiglia, F. | |
| Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm | 1-gen-1999 | Armando, Alessandro; Smaill, A.; Green, I. |
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