Sfoglia per Autore
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem
1992-01-01 Armando, Alessandro; Enrico, Giunchiglia; Traverso, Paolo
Navigation by Combining Reactivity and Planning
1992-01-01 Cimatti, Alessandro; Traverso, Paolo; Sandro, Dalbosco; Armando, Alessandro
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
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
Embedding complex decision procedures inside an interactive theorem prover
1993-01-01 Armando, Alessandro; E., Giunchiglia
MRG: Building planners for real world complex applications
1994-01-01 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia; Armando, Alessandro
First steps towards provably correct system synthesis of system code
1994-01-01 Giunchiglia, Fausto; Armando, Alessandro; Cimatti, Alessandro; Traverso, Paolo
Structured Proof Procedures
1995-01-01 Giunchiglia, E.; Armando, Alessandro; Pecchiari, P.
Flexible Planning by Integrating Multilevel Reasoning
1995-01-01 Armando, Alessandro; Cimatti, Alessandro; E., Giunchiglia; P., Pecchiari; L., Spalazzi; Traverso, Paolo
Visual Representation of Natural Language Scene Descriptions
1996-01-01 Enrico, Giunchiglia; Armando, Alessandro; Traverso, Paolo; Cimatti, Alessandro
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; A., Coglio; Giunchiglia, Fausto
The Control Component of Open Mechanized Reasoning Systems
1999-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction"
1999-01-01 Armando, Alessandro; Jabelean, T.
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm
1999-01-01 Armando, Alessandro; Smaill, A.; Green, I.
Termination of Constraint Contextual Rewriting
2000-01-01 Armando, Alessandro; Ranise, Silvio
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics
2001-01-01 Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, Silvio
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
2001-01-01 Armando, Alessandro; Ranise, Silvio
Uniform Derivation of Decision Procedures by Superposition
2001-01-01 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
A Superposition Based Methodology to Design Satisfiability Decision Procedures
2001-01-01 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem | 1-gen-1992 | Armando, Alessandro; Enrico, Giunchiglia; Traverso, Paolo | |
Navigation by Combining Reactivity and Planning | 1-gen-1992 | Cimatti, Alessandro; Traverso, Paolo; Sandro, Dalbosco; Armando, Alessandro | |
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 | |
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 | |
Embedding complex decision procedures inside an interactive theorem prover | 1-gen-1993 | Armando, Alessandro; E., Giunchiglia | |
MRG: Building planners for real world complex applications | 1-gen-1994 | Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia; Armando, Alessandro | |
First steps towards provably correct system synthesis of system code | 1-gen-1994 | Giunchiglia, Fausto; Armando, Alessandro; Cimatti, Alessandro; Traverso, Paolo | |
Structured Proof Procedures | 1-gen-1995 | Giunchiglia, E.; Armando, Alessandro; Pecchiari, P. | |
Flexible Planning by Integrating Multilevel Reasoning | 1-gen-1995 | Armando, Alessandro; Cimatti, Alessandro; E., Giunchiglia; P., Pecchiari; L., Spalazzi; Traverso, Paolo | |
Visual Representation of Natural Language Scene Descriptions | 1-gen-1996 | Enrico, Giunchiglia; Armando, Alessandro; Traverso, Paolo; Cimatti, Alessandro | |
The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; A., Coglio; Giunchiglia, Fausto | |
The Control Component of Open Mechanized Reasoning Systems | 1-gen-1999 | Armando, Alessandro; Coglio, A.; Giunchiglia, F. | |
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" | 1-gen-1999 | Armando, Alessandro; Jabelean, T. | |
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm | 1-gen-1999 | Armando, Alessandro; Smaill, A.; Green, I. | |
Termination of Constraint Contextual Rewriting | 1-gen-2000 | Armando, Alessandro; Ranise, Silvio | |
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics | 1-gen-2001 | Armando, Alessandro; Coglio, A.; Giunchiglia, F.; Ranise, Silvio | |
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic | 1-gen-2001 | Armando, Alessandro; Ranise, Silvio | |
Uniform Derivation of Decision Procedures by Superposition | 1-gen-2001 | Armando, Alessandro; Ranise, Silvio; Rusinowitch, M. | |
A Superposition Based Methodology to Design Satisfiability Decision Procedures | 1-gen-2001 | Armando, Alessandro; Ranise, Silvio; Rusinowitch, M. |
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