Benvenuti nell'Anagrafe della Ricerca d'Ateneo

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 86
Titolo Data di pubblicazione Autore(i) File
Modal and meta-languages: consistency and expressiveness. 1-gen-1995 L., Aiello; Cialdea, Marta; D., Nardi; M., Shaerf
A study on the logic of abduction 1-gen-1996 Cialdea, Marta; Pirri, F.
Abduction is not Deduction-in-Reverse. 1-gen-1996 Cialdea, Marta; Pirri, F.
A polynomial translation of S4 into T and contraction-free tableaux for S4 1-gen-1997 Cerrito, S; Cialdea, Marta
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics 1-gen-1997 Cerrito, S; Cialdea, Marta
Bounded Model Search in Linear Temporal Logic and Its Application to Planning 1-gen-1998 Cerrito, S; Cialdea, Marta
Using Linear Temporal Logic to Model and Solve Planning Problems 1-gen-1998 Cerrito, S; Cialdea, Marta
First Order Linear Time Tem- poral Logic over Finite Time Frames is not Semi-decidable 1-gen-1999 S., Cerrito; Cialdea, Marta; S., Praud
First Order Linear Temporal Logic over Finite Time Structures 1-gen-1999 Cerrito, S.; Cialdea, Marta; Praud, S.
A Planner Fully Based on Linear Time Logic 1-gen-2000 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
A Planner Fully Based on Linear Time Logic 1-gen-2000 Cialdea, Marta; Balestreri, A. O. R. L. A. N. D. I. N. I. G.; Limongelli, Carla
The Main Features of a Planner Fully Based on LTL 1-gen-2000 Cialdea, Marta; Orlandini, A.; Limongelli, Carla; Balestreri, G.
Labelled Tableaux for Propositional Linear Time Logic over Finite Frames 1-gen-2000 S., Cerrito; Cialdea, Marta
Variants of First-Order Modal Logics 1-gen-2000 Cerrito, S; Cialdea, Marta
Free-Variable Tableaux for Constant-Domain Quantified Modal Logic with Rigid and Non-rigid Designation 1-gen-2001 Cialdea, Marta; Cerrito, S.
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics 1-gen-2001 Cialdea, Marta; Cerrito, S.
Logica - Linguaggio, Ragionamento, Calcolo 1-gen-2002 Cialdea, Marta
Introduzione alla Programmazione Funzionale 1-gen-2002 Cialdea, Marta; Limongelli, Carla
Introduzione alla programmazione funzionale 1-gen-2002 Cialdea, Marta; Limongelli, Carla
A General Theorem Prover for Quantified Modal Logics 1-gen-2002 V., Thion; S., Cerrito; Cialdea, Marta
Mostrati risultati da 21 a 40 di 86
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