IRIS - Res&Arch Institutional Research Information System - Research & Archive

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 114
Titolo Data di pubblicazione Autore(i) File
Three-variable statements of set-pairing 2004 Formisano, Andrea; Omodeo, E. G.; Policriti, A.
A comparison of CLP(FD) and ASP solutions to NP-complete problems 2005 A., Dovier; Formisano, Andrea; E., Pontelli
A comparison of CLP(FD) and ASP solutions to NP-complete problems 2005 A., Dovier; Formisano, Andrea; E., Pontelli
Uniform relational frameworks for modal inferences 2005 Formisano, Andrea; Omodeo, E. G.; Orlowska, E.; Policriti, A.
From Translation to Relational Modal Reasoning: A Step Forward 2005 Formisano, Andrea; H., Wang
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems 2005 Formisano, Andrea; Omodeo, E.; Orlowska, E.
The axiom of elementary sets on the edge of Peircean expressibility 2005 Formisano, Andrea; Omodeo, E. G.; Policriti, A.
A comparison of CLP(FD) and ASP solutions to NP-complete problems 2005 Dovier, A.; Formisano, Andrea; Pontelli, E.
PreC: A prototypical tool to deal with partial preference orders and qualitative uncertainty 2006 Capotorti, Andrea; Formisano, Andrea
Towards an efficient relational deductive system for propositional non-classical logics 2006 Formisano, Andrea; M., Nicolosi Asmundo
Views of Time in Systems Biology 2006 Formisano, Andrea; Omodeo, E.; Policriti, A.
Planning with Action Languages: Perspectives using CLP(FD) and ASP 2006 Dovier, A.; Formisano, Andrea; Pontelli, E.
Management of Uncertainty Orderings through ASP 2006 Capotorti, Andrea; Formisano, Andrea
An efficient relational deductive system for propositional non-classical logics 2006 Formisano, Andrea; Nicolosi Asmundo, M.
An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics 2006 Formisano, Andrea; Omodeo, E.; Orlowska, E.
Decidability results for sets with atoms 2006 Dovier, A.; Formisano, Andrea; Omodeo, E. G.
Qualitative uncertainty orderings revised 2006 Capotorti, Andrea; Formisano, Andrea; Murador, G.
Answer Set Programming with Resources 2007 S., Costantini; Formisano, Andrea
Answer Set Programming with Resources 2007 Costantini, S; Formisano, Andrea
Multivalued Action Languages with Constraints in CLP(FD) 2007 Dovier, A.; Formisano, Andrea; Pontelli, E.
Mostrati risultati da 21 a 40 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