Sfoglia per Autore
Qualitative Uncertainty Orderings Revised
2007-01-01 Capotorti, A.; Formisano, A.; Murador, G.
Conditional preferences in P-RASP
2008-01-01 Costantini, S.; Formisano, A.
Comparative uncertainty: Theory and automation
2008-01-01 Capotorti, A.; 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.
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.
Advances in computational logic (CILC08): Preface
2009-01-01 Formisano, A.; Pettorossi, A.
An investigation of Multi-Agent Planning in CLP.
2010-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Extending and implementing RASP
2010-01-01 Costantini, S.; Formisano, A.; Petturiti, D.
Theory-specific automated reasoning
2010-01-01 Formisano, A.; Omodeo, E. G.
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
Answer set programming with resources
2010-01-01 Costantini, S.; Formisano, A.
PRODPROC - Product and production process modeling and configuration
2011-01-01 Campagna, D.; Formisano, A.
Augmenting weight constraints with complex preferences
2011-01-01 Costantini, S.; Formisano, A.
BAAC: A Prolog System for Action Description and Agents Coordination
2011-01-01 Dovier, Agostino; Formisano, Andrea; Enrico, Pontelli
Weight constraints with preferences in ASP
2011-01-01 Costantini, S.; Formisano, A.
Nested weight constraints 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.
Exploiting unexploited computing resources for computational logics
2012-01-01 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