Sfoglia per Autore Sebastiani, Roberto
Proof planning by abstraction
1994-01-01 Villafiorita Monteleone, Adolfo; Sebastiani, Roberto
A General Purpose Reasoner for Abstraction
1995-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
Proving Theorems by Using Abstraction Interactively
1995-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
Calculating Criticalities
1996-01-01 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
A SAT-based Decision Procedure for ALC
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
Computing Abstraction Hierarchies by Numerical Simulation
1996-01-01 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
A New Method for Testing Decision Procedures in Modal and Terminological Logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K
1997-01-01 Sebastiani, Roberto; D., Mcallester
From Tableau-based to SAT-based procedures - preliminary report
1997-01-01 Sebastiani, Roberto; Giunchiglia, Fausto
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability
1998-01-01 E., Giunchiglia; A., Massarotto; Sebastiani, Roberto
Specifica formale dei protocolli Safety Layer e Connection Manager
1998-01-01 Cimatti, Alessandro; Sebastiani, Roberto
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL
1998-01-01 Cimatti, Alessandro; Sebastiani, Roberto
SAT-based decision procedures for normal modal logics: a theoretical framework
1998-01-01 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo
More Evaluation of Decision Procedures for Modal Logics
1998-01-01 E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
Servizi forniti dagli strati Safety Layer e Connection Manager
1998-01-01 Cimatti, Alessandro; Sebastiani, Roberto
Formal Specification and Development of a Safety-Critical Train Management
1999-01-01 A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
Applying the Davis-Putnam procedure to non-clausal formulas
1999-01-01 E., Giunchiglia; Sebastiani, Roberto
Formal Specification and validation of a Vital Communication Protocol
1999-01-01 Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
2000-01-01 E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Proof planning by abstraction | 1-gen-1994 | Villafiorita Monteleone, Adolfo; Sebastiani, Roberto | |
A General Purpose Reasoner for Abstraction | 1-gen-1995 | Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh | |
Proving Theorems by Using Abstraction Interactively | 1-gen-1995 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto | |
Calculating Criticalities | 1-gen-1996 | A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh | |
A SAT-based Decision Procedure for ALC | 1-gen-1996 | Giunchiglia, Fausto; Sebastiani, Roberto | |
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K | 1-gen-1996 | Giunchiglia, Fausto; Sebastiani, Roberto | |
Computing Abstraction Hierarchies by Numerical Simulation | 1-gen-1996 | A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh | |
A New Method for Testing Decision Procedures in Modal and Terminological Logics | 1-gen-1996 | Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto | |
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K | 1-gen-1997 | Sebastiani, Roberto; D., Mcallester | |
From Tableau-based to SAT-based procedures - preliminary report | 1-gen-1997 | Sebastiani, Roberto; Giunchiglia, Fausto | |
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability | 1-gen-1998 | E., Giunchiglia; A., Massarotto; Sebastiani, Roberto | |
Specifica formale dei protocolli Safety Layer e Connection Manager | 1-gen-1998 | Cimatti, Alessandro; Sebastiani, Roberto | |
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL | 1-gen-1998 | Cimatti, Alessandro; Sebastiani, Roberto | |
SAT-based decision procedures for normal modal logics: a theoretical framework | 1-gen-1998 | Sebastiani, Roberto; Villafiorita Monteleone, Adolfo | |
More Evaluation of Decision Procedures for Modal Logics | 1-gen-1998 | E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella | |
Servizi forniti dagli strati Safety Layer e Connection Manager | 1-gen-1998 | Cimatti, Alessandro; Sebastiani, Roberto | |
Formal Specification and Development of a Safety-Critical Train Management | 1-gen-1999 | A., Chiappini; Cimatti, Alessandro; C., Porzia; G., Rotondo; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
Applying the Davis-Putnam procedure to non-clausal formulas | 1-gen-1999 | E., Giunchiglia; Sebastiani, Roberto | |
Formal Specification and validation of a Vital Communication Protocol | 1-gen-1999 | Cimatti, Alessandro; P. L., Pieraccini; Sebastiani, Roberto; Traverso, Paolo; Villafiorita Monteleone, Adolfo | |
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation | 1-gen-2000 | E., Giunchiglia; Giunchiglia, Fausto; Sebastiani, Roberto; A., Tacchella |
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