Sfoglia per Autore
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
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