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.
Instructing equational set-reasoning with otter
2001-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.
Compiling dyadic first-order specifications into map algebra
2003-01-01 Cantone, D.; Formisano, A.; Omodeo, E. G.; Zarba, C. G.
Mappings between domain models in Answer Set Programming
2003-01-01 Costantini, S.; Formisano, A.; Omodeo, E. G.
A graphical approach to relational reasoning
2003-01-01 Formisano, A.; Omodeo, E. G.; Simeoni, M.
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
Management of uncertainty orderings through ASP
2006-01-01 Capotorti, A.; Formisano, A.
Decidability Results for Sets with Atoms
2006-01-01 Dovier, Agostino; Formisano, A.; Omodeo, AND E.
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 efficient relational deductive system for propositional non-Classical logics
2006-01-01 Formisano, A.; Nicolosi-Asmundo, M.
Views on Time in Systems Biology
2006-01-01 Formisano, A; Omodeo, E; Policriti, Alberto
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.
Multivalued Action Languages with Constraints in CLP(FD)
2007-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Comparative uncertainty: Theory and automation
2008-01-01 Capotorti, A.; Formisano, A.
Conditional preferences in P-RASP
2008-01-01 Costantini, S.; Formisano, A.
Advances in computational logic (CILC08): Preface
2009-01-01 Formisano, A.; Pettorossi, A.
Representing Multi-Agent Planning in CLP
2009-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
Modeling preferences and conditional preferences on resource consumption and production in ASP
2009-01-01 Costantini, S.; Formisano, A.
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems
2009-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Multi-valued Action Languages with Constraints in CLP(FD)
2010-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
2010-01-01 Dovier, Agostino; Formisano, A; Pontelli, Enrico
Theory-specific automated reasoning
2010-01-01 Formisano, A.; Omodeo, E. G.
Answer set programming with resources
2010-01-01 Costantini, S.; Formisano, A.
Extending and implementing RASP
2010-01-01 Costantini, S.; Formisano, A.; Petturiti, D.
An investigation of Multi-Agent Planning in CLP.
2010-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Nested weight constraints in ASP
2011-01-01 Costantini, S.; Formisano, A.
PRODPROC - Product and production process modeling and configuration
2011-01-01 Campagna, D.; Formisano, A.
BAAC: A Prolog System for Action Description and Agents Coordination
2011-01-01 Dovier, Agostino; Formisano, Andrea; Enrico, Pontelli
Augmenting weight constraints with complex preferences
2011-01-01 Costantini, S.; Formisano, A.
Weight constraints with preferences in ASP
2011-01-01 Costantini, S.; Formisano, A.
Perspectives on Logic-based Approaches for Reasoning About Actions and Change
2011-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Distributed colorings for collision-free routing in sink-centric sensor networks
2012-01-01 Navarra, A.; Pinotti, C. M.; Formisano, A.
A graphical representation of relational formulae with complementation
2012-01-01 Cantone, Domenico; Formisano, Andrea; Nicolosi-Asmundo, Marianna; Omodeo, Eugenio
Exploiting unexploited computing resources for computational logics
2012-01-01 Dal Palù, A; Dovier, Agostino; Formisano, A; Pontelli, E.
Preferences and priorities in ASP
2012-01-01 Costantini, S.; Formisano, A.
Strong equivalence of RASP programs
2012-01-01 Costantini, S.; Formisano, A.; Pearce, D.
Negation as a resource: A novel view on answer set semantics
2013-01-01 Costantini, Stefania; Formisano, A.
Autonomous agents coordination: Action languages meet CLP(FD) and Linda
2013-01-01 Dovier, Agostino; Formisano, A; Pontelli, E.
Product and production process modeling and configuration
2013-01-01 Campagna, D.; Formisano, A.
Negation as a resource: A novel view on answer set semantics
2013-01-01 Costantini, Stefania; Formisano, Andrea
Nested weight constraints in ASP
2013-01-01 Costantini, Stefania; Formisano, Andrea
CUD@ASP: Experimenting with GPUs in ASP solving
2013-01-01 Vella, F; Dal Palù, A; Dovier, Agostino; Formisano, A; Pontelli, E.
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