Sfoglia per Autore
Using abstraction interactively
1994-01-01 Sebastiani, Roberto; M., Di Manzo; Giunchiglia, Fausto
Proof Planning by Abstraction
1994-01-01 A., Villafiorita; Sebastiani, Roberto
Applying GSAT To Non-Clausal Formulas
1994-01-01 Sebastiani, Roberto
Proving theorems by using abstraction interactively
1995-01-01 Sebastiani, Roberto; A., Villafiorita; Giunchiglia, Fausto
Proving Theorems by Using Abstraction Interactively
1996-01-01 Sebastiani, Roberto; Giunchiglia, F.
Calculating criticalities
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto
Building decision procedures for modal logics from propositional decision procedures: the case study of modal K
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Calculating criticalities
1996-01-01 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
An SAT-based decision procedure for ALC
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto
A SAT-based decision procedure for ALC
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto
Computing abstraction hierarchies by numerical simulation
1996-01-01 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
A general purpose reasoner for abstraction
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; A., Villafiorita; T., Walsh
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Formal Specication of the Radio Block Centre (RBC): First Part.
1998-01-01 A., Chiappini; A., Cimatti; Giunchiglia, Fausto; G., Rotondo; Sebastiani, Roberto; P., Traverso; A., Villafiorita
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL
1998-01-01 A., Cimatti; Sebastiani, Roberto
Servizi forniti dagli strati Safety Layer e Connection Manager
1998-01-01 A., Cimatti; Sebastiani, Roberto
More evaluation of decision procedures for modal logics
1998-01-01 E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
Act, and the rest will follow: exploiting determinism in planning as satisfiability
1998-01-01 E., Giunchiglia; A., Massarotto; Sebastiani, Roberto
SAT-based decision procedures for normal modal logics:a theoretical framework
1998-01-01 Sebastiani, Roberto; A., Villafiorita
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