IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 114
Titolo Data di pubblicazione Autore(i) File
On T Logic Programming 1-gen-1997 Dovier, A.; Formisano, A.; Policriti, A.
T-resolution: refinements and model elimination 1-gen-1999 Formisano, A.; Policriti, Alberto
An equational re-engineering of set theories 1-gen-2000 Formisano, A.; Omodeo, E.
Goals and benchmarks for automated map reasoning 1-gen-2000 Formisano, A.; Omodeo, E. G.; Temperini, M.
Layered map reasoning: An experimental approach put to trial on sets 1-gen-2001 Formisano, A.; Omodeo, E. G.; Temperini, M.
An Agg application supporting visual reasoning 1-gen-2001 Formisano, A.; Simeoni, M.
Instructing equational set-reasoning with otter 1-gen-2001 Formisano, A.; Omodeo, E. G.; Temperini, M.
Compiling dyadic first-order specifications into map algebra 1-gen-2003 Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G.
Mappings between domain models in Answer Set Programming 1-gen-2003 Costantini, S.; Formisano, A.; Omodeo, E. G.
A graphical approach to relational reasoning 1-gen-2003 Formisano, A.; Omodeo, E. G.; Simeoni, M.
Three-variable statements of set-pairing 1-gen-2004 Formisano, A.; Omodeo, E.; Policriti, Alberto
The axiom of elementary sets on the edge of Peircean expressibility 1-gen-2005 Formisano, A.; Omodeo, E.; Policriti, Alberto
A comparison of CLP(FD) and ASP solutions to NP-complete problems 1-gen-2005 Dovier, Agostino; Formisano, A.; Pontelli, E.
Views on Time in Systems Biology 1-gen-2006 Formisano, A; Omodeo, E; Policriti, Alberto
Management of uncertainty orderings through ASP 1-gen-2006 Capotorti, A.; Formisano, A.
Decidability Results for Sets with Atoms 1-gen-2006 Dovier, Agostino; Formisano, A.; Omodeo, AND E.
An efficient relational deductive system for propositional non-Classical logics 1-gen-2006 Formisano, A.; Nicolosi-Asmundo, M.
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 1-gen-2006 Formisano, A.; Omodeo, E. G.; Orlowska, E.
Qualitative Uncertainty Orderings Revised 1-gen-2007 Capotorti, A.; Formisano, A.; Murador, G.
Multivalued Action Languages with Constraints in CLP(FD) 1-gen-2007 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
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