Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 168
Titolo Anno di pubblicazione Autori Unitn File
Using abstraction interactively 1-gen-1994 Sebastiani, RobertoGiunchiglia, Fausto +
Proof Planning by Abstraction 1-gen-1994 Sebastiani, Roberto +
Applying GSAT To Non-Clausal Formulas 1-gen-1994 Sebastiani, Roberto
Proving theorems by using abstraction interactively 1-gen-1995 Sebastiani, RobertoGiunchiglia, Fausto +
Proving Theorems by Using Abstraction Interactively 1-gen-1996 Sebastiani, RobertoGIUNCHIGLIA F.
Calculating criticalities 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto
A new method for testing decision procedures in modal and terminological logics 1-gen-1996 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
Calculating criticalities 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto +
An SAT-based decision procedure for ALC 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto
A SAT-based decision procedure for ALC 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto
Computing abstraction hierarchies by numerical simulation 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto +
A general purpose reasoner for abstraction 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto +
A new method for testing decision procedures in modal logics 1-gen-1997 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
Formal Specication of the Radio Block Centre (RBC): First Part. 1-gen-1998 Giunchiglia, FaustoSebastiani, Roberto +
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 1-gen-1998 Sebastiani, Roberto +
Servizi forniti dagli strati Safety Layer e Connection Manager 1-gen-1998 Sebastiani, Roberto +
More evaluation of decision procedures for modal logics 1-gen-1998 Giunchiglia, FaustoSebastiani, Roberto +
Act, and the rest will follow: exploiting determinism in planning as satisfiability 1-gen-1998 Sebastiani, Roberto +
SAT-based decision procedures for normal modal logics:a theoretical framework 1-gen-1998 Sebastiani, Roberto +
Mostrati risultati da 1 a 20 di 168
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