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