×

zbMATH — the first resource for mathematics

Pontelli, Enrico

Compute Distance To:
Author ID: pontelli.enrico Recent zbMATH articles by "Pontelli, Enrico"
Published as: Pontelli, E.; Pontelli, Enrico
External Links: MGP
Documents Indexed: 84 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH

51 Publications have been cited 201 times in 137 Documents Cited by Year
A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072
Son, Tran Cao; Pontelli, Enrico
23
2007
Logic programs with abstract constraint atoms: the role of computations. Zbl 1207.68119
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw
17
2010
Justifications for logic programs under answer set semantics. Zbl 1170.68005
Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar
16
2009
\(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
15
1996
Answer sets for logic programs with arbitrary abstract constraint atoms. Zbl 1182.68044
Son, T. C.; Pontelli, E.; Tu, P. H.
13
2007
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
11
2009
Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Zbl 1154.68013
Garcia de la Banda, Maria (ed.); Pontelli, Enrico (ed.)
7
2008
Planning with preferences using logic programming. Zbl 1122.68030
Son, Tran Cao; Pontelli, Enrico
6
2006
Hybrid probabilistic logic programs with non-monotonic negation. Zbl 1165.68343
Saad, Emad; Pontelli, Enrico
6
2005
Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL. Zbl 1401.68298
Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
4
2013
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. Zbl 1267.68079
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2013
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
Logic programming for multiagent planning with negotiation. Zbl 1251.68263
Son, Tran Cao; Pontelli, Enrico; Sakama, Chiaki
4
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
A new approach to hybrid probabilistic logic programs. Zbl 1118.68673
Saad, Emad; Pontelli, Enrico
4
2006
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
4
2006
Smodels with CLP and its applications: A simple and effective approach to aggregates in ASP. Zbl 1104.68375
Elkabani, Islam; Pontelli, Enrico; Son, Tran Cao
4
2004
The temporal precedence problem. Zbl 0960.68043
Ranjan, D.; Pontelli, E.; Gupta, G.; Longpre, L.
4
2000
Logic programs with abstract constraint atoms: The role of computations. Zbl 1213.68179
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Mirosław
3
2007
A comparison of CLP(FD) and ASP solutions to NP-complete problems. Zbl 1165.68486
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
3
2005
Smodels with CLP – a treatment of aggregates in ASP. Zbl 1122.68388
Pontelli, Enrico; Son, Tran Cao; Elkabani, Islam
3
2004
Planning with preferences using logic programming. Zbl 1122.68616
Son, Tran Cao; Pontelli, Enrico
3
2004
Intensional sets in CLP. Zbl 1204.68051
Dovier, A.; Pontelli, E.; Rossi, G.
3
2003
Logic programming for finding models in the logics of knowledge and its applications: a case study. Zbl 1213.68168
Baral, C.; Gelfond, G.; Pontelli, E.; Son, T.
2
2010
Multivalued action languages with constraints in \(CLP(FD)\). Zbl 1191.68653
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
2
2010
Justifications for logic programs under answer set semantics. Zbl 1131.68393
Pontelli, Enrico; Son, Tran Cao
2
2006
Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms. Zbl 1103.68441
Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal
2
2006
A simple optimal solution for the temporal precedence problem on pure pointer machines. Zbl 1061.68035
Pontelli, Enrico; Ranjan, Desh
2
2005
Ancestor problems on pure pointer machines. Zbl 1059.68564
Pontelli, Enrico; Ranjan, Desh
2
2002
A necessary condition for constructive negation in constraint logic programming. Zbl 1339.68035
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
2
2000
Data structures for order-sensitive predicates in parallel nondeterministic systems. Zbl 0957.68025
Ranjan, Desh; Pontelli, Enrico; Gupta, Gopal
2
2000
Multi-context systems with preferences. Zbl 1386.68159
Le, Tiep; Son, Tran Cao; Pontelli, Enrico
1
2018
Distributed constraint optimization problems and applications: a survey. Zbl 1440.68307
Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William
1
2018
Constrained community-based gene regulatory network inference. Zbl 1369.92039
Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
1
2015
A generic approach to planning in the presence of incomplete information: theory and implementation. Zbl 1346.68181
To, Son Thanh; Son, Tran Cao; Pontelli, Enrico
1
2015
Finitary \(\mathbf {S5}\)-theories. Zbl 1432.03026
Son, Tran Cao; Pontelli, Enrico; Baral, Chitta; Gelfond, Gregory
1
2014
Formalizing negotiations using logic programming. Zbl 1291.68386
Son, Tran Cao; Pontelli, Enrico; Nguyen, Ngoc-Hieu; Sakama, Chiaki
1
2014
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. Zbl 1357.68247
Pontelli, Enrico; Son, Tran Cao; Baral, Chitta; Gelfond, Gregory
1
2012
CDAOstore: a phylogenetic repository using logic programming and web services. Zbl 1245.68192
Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben
1
2011
Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system. Zbl 1326.68061
Pontelli, Enrico; Son, Tran Cao; Nguyen, Ngoc-Hieu
1
2011
Perspectives on logic-based approaches for reasoning about actions and change. Zbl 1326.68274
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2011
An investigation of multi-agent planning in CLP. Zbl 1209.68559
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2010
Multivalued action languages with constraints in CLP(FD). Zbl 1213.68633
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2007
Revising knowledge in multi-agent systems using revision programming with preferences. Zbl 1110.68508
Pivkina, Inna; Pontelli, Enrico; Son, Tran Cao
1
2004
On the complexity of dependent and-parallelism in logic programming. Zbl 1204.68065
Wu, Y.; Pontelli, E.; Ranjan, D.
1
2003
PALS: An or-parallel implementation of Prolog on Beowulf architectures. Zbl 1053.68545
Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.
1
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
1
2001
Complexity analysis of late binding in dynamic object-oriented languages. Zbl 0946.68023
Pontelli, Enrico; Ranjan, Desh; Gupta, Gopal
1
1999
Efficient algorithms for the temporal precedence problem. Zbl 1339.68123
Ranjan, D.; Pontelli, E.; Gupta, G.
1
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
Extended dynamic dependent and-parallelism in ACE. Zbl 0923.68055
Gupta, Gopal; Pontelli, Enrico
1
1997
Multi-context systems with preferences. Zbl 1386.68159
Le, Tiep; Son, Tran Cao; Pontelli, Enrico
1
2018
Distributed constraint optimization problems and applications: a survey. Zbl 1440.68307
Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William
1
2018
Constrained community-based gene regulatory network inference. Zbl 1369.92039
Fioretto, Ferdinando; Dovier, Agostino; Pontelli, Enrico
1
2015
A generic approach to planning in the presence of incomplete information: theory and implementation. Zbl 1346.68181
To, Son Thanh; Son, Tran Cao; Pontelli, Enrico
1
2015
Finitary \(\mathbf {S5}\)-theories. Zbl 1432.03026
Son, Tran Cao; Pontelli, Enrico; Baral, Chitta; Gelfond, Gregory
1
2014
Formalizing negotiations using logic programming. Zbl 1291.68386
Son, Tran Cao; Pontelli, Enrico; Nguyen, Ngoc-Hieu; Sakama, Chiaki
1
2014
Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL. Zbl 1401.68298
Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
4
2013
Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. Zbl 1267.68079
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
4
2013
Answer set programming and planning with knowledge and world-altering actions in multiple agent domains. Zbl 1357.68247
Pontelli, Enrico; Son, Tran Cao; Baral, Chitta; Gelfond, Gregory
1
2012
CDAOstore: a phylogenetic repository using logic programming and web services. Zbl 1245.68192
Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben
1
2011
Combining answer set programming and Prolog: The \(\mathbb{ASP}\)-\(\mathbb{PROLOG}\) system. Zbl 1326.68061
Pontelli, Enrico; Son, Tran Cao; Nguyen, Ngoc-Hieu
1
2011
Perspectives on logic-based approaches for reasoning about actions and change. Zbl 1326.68274
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2011
Logic programs with abstract constraint atoms: the role of computations. Zbl 1207.68119
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw
17
2010
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
Logic programming for finding models in the logics of knowledge and its applications: a case study. Zbl 1213.68168
Baral, C.; Gelfond, G.; Pontelli, E.; Son, T.
2
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
Justifications for logic programs under answer set semantics. Zbl 1170.68005
Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar
16
2009
GASP: Answer set programming with lazy grounding. Zbl 1207.68118
Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
11
2009
Logic programming for multiagent planning with negotiation. Zbl 1251.68263
Son, Tran Cao; Pontelli, Enrico; Sakama, Chiaki
4
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
Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Zbl 1154.68013
Garcia de la Banda, Maria (ed.); Pontelli, Enrico (ed.)
7
2008
A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072
Son, Tran Cao; Pontelli, Enrico
23
2007
Answer sets for logic programs with arbitrary abstract constraint atoms. Zbl 1182.68044
Son, T. C.; Pontelli, E.; Tu, P. H.
13
2007
Logic programs with abstract constraint atoms: The role of computations. Zbl 1213.68179
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Mirosław
3
2007
Multivalued action languages with constraints in CLP(FD). Zbl 1213.68633
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
1
2007
Planning with preferences using logic programming. Zbl 1122.68030
Son, Tran Cao; Pontelli, Enrico
6
2006
A new approach to hybrid probabilistic logic programs. Zbl 1118.68673
Saad, Emad; Pontelli, Enrico
4
2006
Set unification. Zbl 1108.68104
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
4
2006
Justifications for logic programs under answer set semantics. Zbl 1131.68393
Pontelli, Enrico; Son, Tran Cao
2
2006
Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms. Zbl 1103.68441
Pontelli, Enrico; Villaverde, Karen; Guo, Hai-Feng; Gupta, Gopal
2
2006
Hybrid probabilistic logic programs with non-monotonic negation. Zbl 1165.68343
Saad, Emad; Pontelli, Enrico
6
2005
A comparison of CLP(FD) and ASP solutions to NP-complete problems. Zbl 1165.68486
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico
3
2005
A simple optimal solution for the temporal precedence problem on pure pointer machines. Zbl 1061.68035
Pontelli, Enrico; Ranjan, Desh
2
2005
Smodels with CLP and its applications: A simple and effective approach to aggregates in ASP. Zbl 1104.68375
Elkabani, Islam; Pontelli, Enrico; Son, Tran Cao
4
2004
Smodels with CLP – a treatment of aggregates in ASP. Zbl 1122.68388
Pontelli, Enrico; Son, Tran Cao; Elkabani, Islam
3
2004
Planning with preferences using logic programming. Zbl 1122.68616
Son, Tran Cao; Pontelli, Enrico
3
2004
Revising knowledge in multi-agent systems using revision programming with preferences. Zbl 1110.68508
Pivkina, Inna; Pontelli, Enrico; Son, Tran Cao
1
2004
Intensional sets in CLP. Zbl 1204.68051
Dovier, A.; Pontelli, E.; Rossi, G.
3
2003
On the complexity of dependent and-parallelism in logic programming. Zbl 1204.68065
Wu, Y.; Pontelli, E.; Ranjan, D.
1
2003
Ancestor problems on pure pointer machines. Zbl 1059.68564
Pontelli, Enrico; Ranjan, Desh
2
2002
PALS: An or-parallel implementation of Prolog on Beowulf architectures. Zbl 1053.68545
Villaverde, K.; Pontelli, E.; Guo, H.; Gupta, G.
1
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
1
2001
The temporal precedence problem. Zbl 0960.68043
Ranjan, D.; Pontelli, E.; Gupta, G.; Longpre, L.
4
2000
A necessary condition for constructive negation in constraint logic programming. Zbl 1339.68035
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
2
2000
Data structures for order-sensitive predicates in parallel nondeterministic systems. Zbl 0957.68025
Ranjan, Desh; Pontelli, Enrico; Gupta, Gopal
2
2000
Complexity analysis of late binding in dynamic object-oriented languages. Zbl 0946.68023
Pontelli, Enrico; Ranjan, Desh; Gupta, Gopal
1
1999
Efficient algorithms for the temporal precedence problem. Zbl 1339.68123
Ranjan, D.; Pontelli, E.; Gupta, G.
1
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
Extended dynamic dependent and-parallelism in ACE. Zbl 0923.68055
Gupta, Gopal; Pontelli, Enrico
1
1997
\(\{\log\}\): A language for programming in logic with finite sets. Zbl 0874.68056
Dovier, Agostino; Omodeo, Eugenio G.; Pontelli, Enrico; Rossi, Gianfranco
15
1996
all top 5

Cited by 239 Authors

16 Pontelli, Enrico
8 Cabalar, Pedro
8 Dovier, Agostino
8 Son, Tran Cao
7 Fandinno, Jorge
6 Alviano, Mario
6 Eiter, Thomas
6 Ianni, Giovambattista
6 Shen, Yidong
6 You, Jia-Huai
5 Dodaro, Carmine
5 Formisano, Andrea
5 Garcia, Laurent
5 Gelfond, Michael
4 Fink, Michael
4 Krennwallner, Thomas
4 Lefèvre, Claire
4 Omodeo, Eugenio Giovanni
4 Rossi, Gianfranco
4 Saad, Emad W.
4 Stéphan, Igor
3 Calimeri, Francesco
3 Erdem, Esra
3 Gebser, Martin
3 Leone, Nicola
3 Oetsch, Johannes
3 Pührer, Jörg
3 Ranjan, Desh
3 Remmel, Jeffrey B.
3 Ricca, Francesco
3 Tompits, Hans
3 Yuan, Li Yan
3 Zangari, Jessica
3 Zhang, Yuanlin
2 Baral, Chitta R.
2 Béatrix, Christopher
2 Bolander, Thomas
2 Cantone, Domenico
2 Condie, Tyson
2 Costantini, Stefania
2 Cristiá, Maximiliano
2 Dal Palù, Alessandro
2 Das, Ariyam
2 Denecker, Marc
2 Faber, Wolfgang
2 Gupta, Gopal K.
2 Interlandi, Matteo
2 Liu, Guohua
2 Maratea, Marco
2 Marek, V. Wiktor
2 McIlraith, Sheila A.
2 Milanič, Martin
2 Nicolas, Pascal
2 Pacenza, Francesco
2 Policriti, Alberto
2 Redl, Christoph
2 Rocha, Ricardo
2 Schaub, Torsten H.
2 Schüller, Peter
2 Schulz, Claudia
2 Shkapsky, Alexander
2 Tomescu, Alexandru Ioan
2 Truszczyński, Mirosław
2 Wang, Kewen
2 Wang, Yisong
2 Yang, Mohan
2 Yeoh, William
2 Zaniolo, Carlo
2 Zhang, Mingyi
1 Analyti, Anastasia
1 Anders, Gerrit
1 Andersen, Mikkel Birkegaard
1 Antoniou, Grigoris
1 Arias, Joaquin
1 Asuncion, Vernon
1 Baader, Franz
1 Bacchus, Fahiem
1 Baget, Jean-François
1 Baier, Jorge A.
1 Barklund, Jonas
1 Barták, Roman
1 Baselice, Sabrina
1 Benton, Jessica
1 Bichler, Manuel
1 Bienvenu, Meghyn
1 Bogaerts, Bart
1 Bogatarkan, Aysu
1 Bonatti, Piero Andrea
1 Brewka, Gerhard
1 Brik, Alex
1 Burigana, Alessandro
1 Cadoli, Marco
1 Çakmak, Duygu
1 Calegari, Roberta
1 Carro, Manuel
1 Caselles Costa, Vicent
1 Cenzer, Douglas
1 Chen, Wu
1 Chen, Yin
1 Confalonieri, Roberto
...and 139 more Authors

Citations by Year