`Travelled to:`

1 × Canada

1 × Estonia

1 × India

1 × Ireland

1 × Spain

1 × Sweden

1 × The Netherlands

1 × United Kingdom

2 × Portugal

3 × France

3 × Italy

4 × USA

`Collaborated with:`

E.Pontelli G.Rossi A.D.Palù A.Formisano C.Piazza N.Zhou R.Barták A.Policriti F.Fogolari ∅ P.Arenas-Sánchez R.Cipriano J.Mauro F.Vella P.Bruscoli E.G.Omodeo F.Campeotto F.Fioretto

`Talks about:`

set (9) clp (9) program (6) logic (6) constraint (5) languag (5) finit (4) protein (3) intension (2) parallel (2)

## Person: Agostino Dovier

### DBLP: Dovier:Agostino

### Facilitated 2 volumes:

### Contributed to:

### Wrote 24 papers:

- ICLP-2015-Dovier #bisimulation #logic programming
- Logic Programming and Bisimulation (AD), pp. 32–45.
- ICLP-2015-DovierFPV #execution #parallel
- Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.
- ICLP-J-2015-ZhouBD #logic programming
- Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.
- PPDP-2015-BartakDZ #logic programming #modelling #on the #problem
- On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
- PADL-2014-CampeottoPDFP #constraints #theorem proving #using
- Exploring the Use of GPUs in Constraint Solving (FC, ADP, AD, FF, EP), pp. 152–167.
- ICLP-2011-DovierFP #coordination #named #prolog
- BAAC: A Prolog System for Action Description and Agents Coordination (AD, AF, EP), pp. 187–197.
- ICLP-J-2010-PaluDFP #assembly
- CLP-based protein fragment assembly (ADP, AD, FF, EP), pp. 709–724.
- ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using
- Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
- ICLP-2008-CiprianoDM #compilation #declarative #modelling
- Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
- ICLP-2007-DovierFP #constraints #multi
- Multivalued Action Languages with Constraints in CLP(FD) (AD, AF, EP), pp. 255–270.
- ICLP-2005-DovierFP #comparison #problem
- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.
- PPDP-2005-PaluDP #heuristic #optimisation #parallel #predict
- Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.
- ICLP-2004-PaluDF #simulation
- Protein Folding Simulation in CCP (ADP, AD, FF), pp. 452–453.
- ICLP-2003-DovierPR #set
- Intensional Sets in CLP (AD, EP, GR), pp. 284–299.
- PPDP-2003-PaluDPR #constraints #finite #set
- Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
- CAV-2001-DovierPP #algorithm #bisimulation #performance
- A Fast Bisimulation Algorithm (AD, CP, AP), pp. 79–90.
- ICLP-1999-DovierPPR #constraints
- ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.
- JICSLP-1998-DovierPRP #finite #on the #representation #set
- On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.
- ILPS-1997-DovierFP #logic programming #on the
- On T Logic Programming (AD, AF, AP), pp. 323–337.
- PLILP-1995-Arenas-SanchezD #set #unification
- Minimal Set Unification (PAS, AD), pp. 397–414.
- ICLP-1994-BruscoliDPR #compilation #set
- Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
- ILPS-1993-DovierR #finite #set
- Embedding extensional finite sets in CLP (AD, GR), pp. 540–556.
- PLILP-1993-DovierP #implementation #logic #set
- A WAM-Based Implementation of a Logical Language with Sets (AD, EP), pp. 275–290.
- ICLP-1991-DovierOPR #finite #logic programming #programming language #set
- {log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.