| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier |
Recent constraint/logic programming based advances in the solution of the protein folding problem. |
Intelligenza Artificiale |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
Exploring Protein Fragment Assembly Using CLP. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
BAAC: A Prolog System for Action Description and Agents Coordination. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Perspectives on Logic-Based Approaches for Reasoning about Actions and Change. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Agostino Dovier |
A Tabled Prolog Program for Solving Sokoban. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Computing approximate solutions of the protein structure determination problem using global constraints on discrete crystal lattices. |
IJDMB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Campagna, Christian De Rosa, Agostino Dovier, Angelo Montanari, Carla Piazza |
Morphos Configuration Engine: the Core of a Commercial Configuration System in CLP(FD). |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
An Investigation of Multi-Agent Planning in CLP. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based protein fragment assembly |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari, Enrico Pontelli |
CLP-based protein fragment assembly. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Multivalued action languages with constraints in CLP(FD). |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli (eds.) |
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP |
25 Years GULP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. |
J. Exp. Theor. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
GASP: Answer Set Programming with Lazy Grounding. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Multi-valued Action Languages in CLP(FD) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Elisa Quintarelli |
Applying model-checking to solve queries on semistructured data. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Answer Set Programming with Constraints Using Lazy Grounding. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli |
Present and Future Challenges for ASP Systems. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Representing Multi-agent Planning in CLP. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier |
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + . |
Hybrid Metaheuristics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Sebastian Will |
Introduction to the Special Issue on Bioinformatics and Constraints. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
Membership and equality constraints, compact lists, sets, lists, multisets |
| 1 | Raffaele Cipriano, Agostino Dovier, Jacopo Mauro |
Compiling and Executing Declarative Modeling Languages to Gecode. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction. |
Softw., Pract. Exper. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Agostino Dovier, Federico Fogolari |
Agent-based protein structure prediction. |
Multiagent and Grid Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
Multivalued Action Languages with Constraints in CLP(FD). |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo |
Decidability results for sets with atoms. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Set unification. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michela Farenzena, Andrea Fusiello, Agostino Dovier |
Reconstruction with Interval Constraints Propagation. |
CVPR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier |
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search. |
Hybrid Metaheuristics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Enrico Pontelli |
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
parallelism, bioinformatics, constraint logic programming |
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Constraint Logic Programming approach to protein structure prediction. |
BMC Bioinformatics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Alberto Policriti |
An efficient algorithm for computing bisimulation equivalence. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Enrico Pontelli |
Disunification in ACI1 Theories. |
Constraints |
2004 |
DBLP DOI BibTeX RDF |
disunification, ACI, complexity, sets, equational theories, CLP |
| 1 | Federico Avanzini, Davide Rocchesso, Alberto Belussi, Alessandro Dal Palù, Agostino Dovier |
Designing an Urban-Scale Auditory Alert System. |
IEEE Computer |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Protein Folding Simulation in CCP. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza |
The Subgraph Bisimulation Problem. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
complexity, Bisimulation, semistructured data |
| 1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier |
Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Intensional Sets in CLP. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | S. Bozzoli, Fausto Spoto, Agostino Dovier |
Approximate Protein Folding in Oz through Frequency Analysis. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Intensional Sets in CLP. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
Aggregates, Constraint Logic Programming, Sets |
| 1 | Alessandro Dal Palù, Agostino Dovier, Federico Fogolari |
Protein Folding in CLP(FD) with Empirical Contact Energies. |
CSCLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Integrating finite domain constraints and CLP with sets. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
programming with sets, constraint logic programming |
| 1 | Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca |
Operational and abstract semantics of the query language G-Log. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti |
Rank-Based Symbolic Bisimulation (and Model Checking). |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Matteo Burato, Federico Fogolari |
Using Secondary Structure Information for Protein Folding in CLP(FD). |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli |
Refining and Compressing Abstract Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Maria Chiara Meo, Andrea Omicini |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Set Unification |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Constructive Negation and Constraint Logic Programming with Sets. |
New Generation Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuele Bicego, Agostino Dovier, Vittorio Murino |
Designing the Minimal Structure of Hidden Markov Model by Bisimulation. |
EMMCVPR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Elisa Quintarelli |
Model-Checking Based Data Retrieval. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
Semistructured DBs, Model-Checking, Temporal Logic |
| 1 | Agostino Dovier, Carla Piazza, Alberto Policriti |
A Fast Bisimulation Algorithm. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
non well-founded sets, verification, automata, Bisimulation |
| 1 | Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
A necessary condition for Constructive Negation in Constraint Logic Programming. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
Sets and constraint logic programming. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
computable set theory, constraints, declarative programming |
| 1 | Agostino Dovier, Carla Piazza, Alberto Policriti |
Comparing Expressiveness of Set Constructor Symbols. |
FroCos |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Multiset Constraints and P Systems. |
WMP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Aliffi, Agostino Dovier, Gianfranco Rossi |
From Set to Hyperset Unification |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti |
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory |
| 1 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
ACI1 constraints. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Alberto Policriti |
Comparing expressiveness of set constructor symbols. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi |
ACI1 Constraints. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Alberto Policriti, Gianfranco Rossi |
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca |
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. |
DDLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Agostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca |
Operational and Abstract Semantics of a Query Language for Semi-Structured Information. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli |
On the Representation and Management of Finite Sets in CLP Languages. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
A Minimality Study for Set Unification. |
Journal of Functional and Logic Programming |
1997 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Alberto Policriti |
On T Logic Programming. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Alberto Policriti |
Set domains for structural properties of terms. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | R. Carmona, Agostino Dovier, Gianfranco Rossi |
Dealing with Infinite Intensional Sets in CLP. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Andrea Formisano, Alberto Policriti |
On T Logic Programming. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
A Language for Programming in Logic with Finite Sets. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Alberto Policriti, Gianfranco Rossi |
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. |
Frontiers of Combining Systems (FroCos) |
1996 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
Minimal Set Unification. |
GULP-PRODE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Puri Arenas-Sánchez, Agostino Dovier |
Minimal Set Unification |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
Logic Programming with Sets, Unification, CLP |
| 1 | Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi |
Solving Systems of Equations over Hypersets. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Compiling Intensional Sets in CLP. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Gianfranco Rossi |
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. |
GULP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier, Gianfranco Rossi |
Embedding extensional finite sets in CLP. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Agostino Dovier |
A Language with Finite Sets Embedded in the CLP-scheme. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Enrico Pontelli |
A WAM-Based Implementation of a Logical Language with Sets. |
PLILP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
Embedding Finite Sets in a Logic Programming Language. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi |
{log}: A Logic Programming Language with Finite Sets. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")