Sfoglia per Autore
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
2008-01-01 Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
A hybrid solver for large neighborhood search: Mixing Gecode and EasyLocal++
2009-01-01 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
Answer Set Programming with Constraints using Lazy Grounding
2009-01-01 DAL PALU', Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
Present and Future Challenges for ASP Systems
2009-01-01 Dovier, Agostino; Enrico, Pontelli
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++
2009-01-01 Cipriano, Raffaele; DI GASPERO, Luca; Dovier, Agostino
GASP: Answer Set Programming with Lazy Grounding
2009-01-01 DAL PALU', A.; Dovier, Agostino; Pontelli, E.; Rossi, G.
Applying Model-Checking to solve Queries on Semistructured Data
2009-01-01 Dovier, Agostino; Quintarelli, E.
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
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results
2009-01-01 DAL PALU', Alessandro; Dovier, Agostino; Pontelli, Enrico
Editorial, September 2010
2010-01-01 Dovier, Agostino; Pontelli, E.
Editorial, December 2010
2010-01-01 Dovier, Agostino; Pontelli, E.
CLP-based protein fragment assembly
2010-01-01 DAL PALU', A.; Dovier, Agostino; Fogolari, Federico; Pontelli, E.
A 25 Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP
2010-01-01 Dovier, Agostino; Enrico, Pontelli
Editorial, June 2010
2010-01-01 Dovier, Agostino; Pontelli, E.
Editorial, March 2010
2010-01-01 Dovier, Agostino; Pontelli, E.
Constraint based methods for bioinformatics (Chapter VI)
2010-01-01 A., DAL PALU'; F., Fages; Dovier, Agostino; S., Will
Computing Approximate Solutions of the Protein Structure Determination Problem using Global Constraints on Discrete Crystal Lattices
2010-01-01 DAL PALU', A.; Dovier, Agostino; Pontelli, E.
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
2010-01-01 Dovier, Agostino; Formisano, A; Pontelli, Enrico
Multi-valued Action Languages with Constraints in CLP(FD)
2010-01-01 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