Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 114
Titolo Data di pubblicazione Autore(i) File
On the Completeness of Theory-Based Variants of Resolution 1999 Formisano, Andrea
Proving the completeness of theory-based variants of resolution 1999 Formisano, Andrea
Provable \exixts∗\forall-sentences about sets with atoms 1999 A., Dovier; Formisano, Andrea; E. G., Omodeo
T-resolution: Refinements and Model Elimination 1999 Formisano, Andrea; Policriti, A.
Compiling dyadic first-order specifications into map algebra 2000 D., Cantone; Formisano, Andrea; E. G., Omodeo; C. G., Zarba
Goals and Benchmarks for Automated Map Reasoning 2000 Formisano, Andrea; Omodeo, E. G.; Temperini, M.
An Equational Re-Engineering of Set Theories 2000 Formisano, Andrea; Omodeo, E. G.
An AGG application supporting visual reasoning 2001 Formisano, Andrea; M., Simeoni
Instructing equational set-reasoning with Otter 2001 Formisano, Andrea; Omodeo, E. G.; Temperini, M.
Layered map reasoning: An experimental approach put to trial on sets 2001 Formisano, Andrea; Omodeo, E.; Temperini, M.
Compiling dyadic first-order specifications into map algebra 2003 Cantone, D.; Formisano, Andrea; Omodeo, E. G.; Zarba, C.
Mappings Between Domain Models in Answer Set Programming 2003 Costantini, S.; Formisano, Andrea; Omodeo, E. G.
A graphical approach to relational reasoning 2003 Formisano, Andrea; Omodeo, E.; Simeoni, M.
Various commonly occurring decidable extensions of multi-level syllogistic 2003 Cantone, D.; Formisano, Andrea; Omodeo, E. G.; Schwartz, J. T.
Management of Uncertainty Orderings through ASP 2004 Capotorti, Andrea; Formisano, Andrea
A Prolog tool for relational translation of modal logics 2004 Formisano, Andrea; E., Omodeo; E., Orlowska
Uniform relational frameworks for non-classical inferences 2004 Formisano, Andrea; Omodeo, E. G.; Orlowska, E.; Policriti, A.
Uniform relational frameworks for modal inferences 2004 Formisano, Andrea; Omodeo, E.; Orlowska, E.; Policriti, A.
How to enhance multi-level syllogistic with binary relations 2004 D., Cantone; Formisano, Andrea; E., Omodeo; P., Ursino
A declarative approach to uncertainty orders 2004 Capotorti, Andrea; Formisano, Andrea
Mostrati risultati da 1 a 20 di 114
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