Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 127
Titolo Data di pubblicazione Autore(i) File
Navigation by Combining Reactivity and Planning 1-gen-1992 Cimatti, Alessandro; Traverso, Paolo; Sandro, Dalbosco; Armando, Alessandro
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 1-gen-1992 Armando, Alessandro; Enrico, Giunchiglia; Traverso, Paolo
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 A. ARMANDO; E. GIUNCHIGLIA
First steps towards provably correct system synthesis of system code 1-gen-1994 Giunchiglia, Fausto; Armando, Alessandro; Cimatti, Alessandro; Traverso, Paolo
MRG: Building planners for real world complex applications 1-gen-1994 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia; Armando, Alessandro
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.
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 1-gen-1999 Armando, Alessandro; Smaill, A.; Green, I.
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 1-gen-1999 Armando, Alessandro; Jabelean, T.
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
A Superposition Based Methodology to Design Satisfiability Decision Procedures 1-gen-2001 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
Towards Mathematical Agents -- Combining MathWeb-SB and LBA 1-gen-2001 Zimmer, J.; Armando, Alessandro; Giromini, C.
Mostrati risultati da 1 a 20 di 127
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