×

zbMATH — the first resource for mathematics

Dovier, Agostino

Compute Distance To:
Author ID: dovier.agostino Recent zbMATH articles by "Dovier, Agostino"
Published as: Dovier, Agostino; Dovier, A.
External Links: MGP · ORCID
Documents Indexed: 53 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 115 times in 94 Documents Cited by Year
An efficient algorithm for computing bisimulation equivalence. Zbl 1070.68101
Dovier, Agostino; Piazza, Carla; Policriti, Alberto
25
2004
\(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
14
1996
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
11
2009
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042
Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco
6
1998
A fast bisimulation algorithm. Zbl 0991.68553
Dovier, Agostino; Piazza, Carla; Policriti, Alberto
5
2001
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
5
2006
A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Zbl 1191.68008
Dovier, Agostino (ed.); Pontelli, Enrico (ed.)
4
2010
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2009
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. Zbl 1267.68079
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2013
A comparison of CLP(FD) and ASP solutions to NP-complete problems. Zbl 1165.68486
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
3
2005
Intensional sets in CLP. Zbl 1204.68051
Dovier, A.; Pontelli, E.; Rossi, G.
3
2003
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. Zbl 1367.68079
Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
3
2008
A necessary condition for constructive negation in constraint logic programming. Zbl 1339.68035
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
3
2000
A theoretical perspective of coinductive logic programming. Zbl 1348.68028
Ancona, Davide; Dovier, Agostino
3
2015
Operational and abstract semantics of the query language G-Log. Zbl 1026.68089
Cortesi, Agostino; Dovier, Agostino; Quintarelli, Elisa; Tanca, Letizia
2
2002
Model-checking based data retrieval. Zbl 1098.68564
Dovier, Agostino; Quintarelli, Elisa
2
2002
Multivalued action languages with constraints in \(CLP(FD)\). Zbl 1191.68653
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
2
2010
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E.
2
2009
Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025
Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto
1
1999
A minimality study for set unification. Zbl 0924.68044
Arenas-Sánchez, Puri; Dovier, Agostino
1
1997
On \(T\) logic programming. Zbl 0944.68022
Dovier, Agostino; Formisano, Andrea; Policriti, Alberto
1
1997
On the representation and management of finite sets in CLP languages. Zbl 0949.68018
Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco; Pontelli, Enrico
1
1998
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
1
2001
Multivalued action languages with constraints in CLP(FD). Zbl 1213.68633
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2007
An investigation of multi-agent planning in CLP. Zbl 1209.68559
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2010
Perspectives on logic-based approaches for reasoning about actions and change. Zbl 1326.68274
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2011
Protein folding in CLP(\(\mathcal{FD}\)) with empirical contact energies. Zbl 1196.68234
Palù, Alessandro Dal; Dovier, Agostino; Fogolari, Federico
1
2004
Rank-based symbolic bisimulation: (and model checking). Zbl 1261.68084
Dovier, A.; Gentilini, R.; Piazza, C.; Policriti, A.
1
2002
Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Zbl 1253.68010
Dovier, Agostino (ed.); Santos Costa, Vítor (ed.)
1
2012
Constrained community-based gene regulatory network inference. Zbl 1369.92039
Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
1
2015
Planning as tabled logic programming. Zbl 1379.68287
Zhou, Neng-Fa; Barták, Roman; Dovier, Agostino
1
2015
Extending logic programming with labelled variables: model and semantics. Zbl 1396.68031
Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea
1
2018
Extending logic programming with labelled variables: model and semantics. Zbl 1396.68031
Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea
1
2018
A theoretical perspective of coinductive logic programming. Zbl 1348.68028
Ancona, Davide; Dovier, Agostino
3
2015
Constrained community-based gene regulatory network inference. Zbl 1369.92039
Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
1
2015
Planning as tabled logic programming. Zbl 1379.68287
Zhou, Neng-Fa; Barták, Roman; Dovier, Agostino
1
2015
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. Zbl 1267.68079
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2013
Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Zbl 1253.68010
Dovier, Agostino; Santos Costa, Vítor
1
2012
Perspectives on logic-based approaches for reasoning about actions and change. Zbl 1326.68274
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2011
A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP. Zbl 1191.68008
Dovier, Agostino; Pontelli, Enrico
4
2010
Multivalued action languages with constraints in \(CLP(FD)\). Zbl 1191.68653
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
2
2010
An investigation of multi-agent planning in CLP. Zbl 1209.68559
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2010
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
11
2009
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Zbl 1193.68073
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2009
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E.
2
2009
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. Zbl 1367.68079
Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
3
2008
Multivalued action languages with constraints in CLP(FD). Zbl 1213.68633
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2007
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
5
2006
A comparison of CLP(FD) and ASP solutions to NP-complete problems. Zbl 1165.68486
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
3
2005
An efficient algorithm for computing bisimulation equivalence. Zbl 1070.68101
Dovier, Agostino; Piazza, Carla; Policriti, Alberto
25
2004
Protein folding in CLP(\(\mathcal{FD}\)) with empirical contact energies. Zbl 1196.68234
Palù, Alessandro Dal; Dovier, Agostino; Fogolari, Federico
1
2004
Intensional sets in CLP. Zbl 1204.68051
Dovier, A.; Pontelli, E.; Rossi, G.
3
2003
Operational and abstract semantics of the query language G-Log. Zbl 1026.68089
Cortesi, Agostino; Dovier, Agostino; Quintarelli, Elisa; Tanca, Letizia
2
2002
Model-checking based data retrieval. Zbl 1098.68564
Dovier, Agostino; Quintarelli, Elisa
2
2002
Rank-based symbolic bisimulation: (and model checking). Zbl 1261.68084
Dovier, A.; Gentilini, R.; Piazza, C.; Policriti, A.
1
2002
A fast bisimulation algorithm. Zbl 0991.68553
Dovier, Agostino; Piazza, Carla; Policriti, Alberto
5
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
1
2001
A necessary condition for constructive negation in constraint logic programming. Zbl 1339.68035
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
3
2000
Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case. Zbl 0936.68025
Dovier, Agostino; Omodeo, Eugenio G.; Policriti, Alberto
1
1999
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms. Zbl 0930.68042
Dovier, Agostino; Policriti, Alberto; Rossi, Gianfranco
6
1998
On the representation and management of finite sets in CLP languages. Zbl 0949.68018
Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco; Pontelli, Enrico
1
1998
A minimality study for set unification. Zbl 0924.68044
Arenas-Sánchez, Puri; Dovier, Agostino
1
1997
On \(T\) logic programming. Zbl 0944.68022
Dovier, Agostino; Formisano, Andrea; Policriti, Alberto
1
1997
\(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
14
1996
all top 5

Cited by 196 Authors

12 Dovier, Agostino
8 Pontelli, Enrico
6 Ćirić, Miroslav D.
6 Ignjatović, Jelena
6 Policriti, Alberto
5 Ianni, Giovambattista
5 Piazza, Carla
5 Rossi, Gianfranco
4 Formisano, Andrea
4 Omodeo, Eugenio Giovanni
3 Calimeri, Francesco
3 Cristiá, Maximiliano
3 Tomescu, Alexandru Ioan
2 Bašić, Milan
2 Béatrix, Christopher
2 Cantone, Domenico
2 Dagnino, Francesco
2 Damljanović, Nada
2 Dorsch, Ulrich
2 Eiter, Thomas
2 Garcia, Laurent
2 Gelfond, Michael
2 Hartmann, Sven
2 Jančić, Ivana
2 Krennwallner, Thomas
2 Lefèvre, Claire
2 Link, Sebastian
2 Milanič, Martin
2 Milius, Stefan
2 Pacenza, Francesco
2 Quintarelli, Elisa
2 Ricca, Francesco
2 Schröder, Lutz
2 Schüller, Peter
2 Stamenković, Aleksandar
2 Stéphan, Igor
2 Wißmann, Thorsten
2 Yeoh, William
2 Zangari, Jessica
1 Ancona, Davide
1 Antoniotti, Marco
1 Arias, Joaquin
1 Baader, Franz
1 Barahona, Pedro
1 Barklund, Jonas
1 Barták, Roman
1 Bichler, Manuel
1 Blockeel, Hendrik
1 Bogaerts, Bart
1 Bogdanović, Stojan M.
1 Bortolussi, Luca
1 Bossi, Annalisa
1 Boulgakov, Alexandre
1 Bruynooghe, Maurice
1 Burigana, Alessandro
1 Cabalar, Pedro
1 Cadoli, Marco
1 Calegari, Roberta
1 Carro, Manuel
1 Casagrande, Alberto
1 Caselles Costa, Vicent
1 Cenzer, Douglas
1 Ceterchi, Rodica
1 Ciardo, Gianfranco
1 Condie, Tyson
1 Cortesi, Agostino
1 Costantini, Stefania
1 Cozza, Susanna
1 Cuteri, Bernardo
1 Das, Ariyam
1 de Cat, Broes
1 de Frutos-Escrig, David
1 De Pooter, Stef
1 Dechter, Rina
1 Dellunde, Pilar
1 Denecker, Marc
1 Denti, Enrico
1 Dodaro, Carmine
1 Drabent, Włodzimierz
1 Du, Yibin
1 Dundua, Besik
1 Fabiano, Francesco
1 Fandinno, Jorge
1 Fariñas del Cerro, Luis
1 Fink, Michael
1 Fioretto, Ferdinando
1 Florido, Mário
1 Focardi, Riccardo
1 Friedrich, Gerhard E.
1 Frydman, Claudia
1 Galpin, Vashti
1 Gebser, Martin
1 Gentilini, Raffaella
1 Gervet, Carmen
1 Gibson-Robinson, Thomas
1 Gregorio-Rodríguez, Carlos
1 Gupta, Gopal K.
1 Hibti, M.
1 Hillston, Jane
1 Howe, Jacob M.
...and 96 more Authors

Citations by Year