| 2008 |
|---|
| 16 | EE | Wolfgang Faber,
Nicola Leone,
Francesco Ricca:
Answer Set Programming.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 15 | EE | Francesco Calimeri,
Simona Perri,
Francesco Ricca:
Experimenting with parallelism for the instantiation of ASP programs.
J. Algorithms 63(1-3): 34-54 (2008) |
| 14 | EE | Marco Maratea,
Francesco Ricca,
Wolfgang Faber,
Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms 63(1-3): 70-89 (2008) |
| 2007 |
|---|
| 13 | EE | Wolfgang Faber,
Nicola Leone,
Marco Maratea,
Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs.
LPNMR 2007: 110-122 |
| 12 | EE | Wolfgang Faber,
Nicola Leone,
Gerald Pfeifer,
Francesco Ricca:
On look-ahead heuristics in disjunctive logic programming.
Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007) |
| 11 | EE | Francesco Ricca,
Nicola Leone:
Disjunctive logic programming with types and objects: The DLV+ system.
J. Applied Logic 5(3): 545-573 (2007) |
| 2006 |
|---|
| 10 | EE | Alfredo Garro,
Luigi Palopoli,
Francesco Ricca:
Exploiting agents in e-learning and skills management context.
AI Commun. 19(2): 137-154 (2006) |
| 9 | EE | Francesco Ricca,
Wolfgang Faber,
Nicola Leone:
A backjumping technique for Disjunctive Logic Programming.
AI Commun. 19(2): 155-172 (2006) |
| 2005 |
|---|
| 8 | EE | Giovambattista Ianni,
Claudio Panetta,
Francesco Ricca:
Specification of Assessment-test Criteria through ASP Specifications.
Answer Set Programming 2005 |
| 7 | EE | Wolfgang Faber,
Nicola Leone,
Francesco Ricca:
Heuristics for Hard ASP Programs.
IJCAI 2005: 1562-1563 |
| 6 | EE | Wolfgang Faber,
Francesco Ricca:
Solving Hard ASP Programs Efficiently.
LPNMR 2005: 240-252 |
| 5 | EE | Francesco Ricca,
Nicola Leone,
Valerio De Bonis,
Tina Dell'Armi,
Stefania Galizia,
Giovanni Grasso:
A DLP System with Object-Oriented Features.
LPNMR 2005: 432-436 |
| 4 | | Wolfgang Faber,
Nicola Leone,
Francesco Ricca:
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Intelligenza Artificiale 2(3): 21-28 (2005) |
| 2004 |
|---|
| 3 | EE | Giovambattista Ianni,
Francesco Ricca,
Francesco Calimeri,
Vincenzino Lio,
Stefania Galizia:
An agent system reasoning about the web and the user.
WWW (Alternate Track Papers & Posters) 2004: 492-493 |
| 2003 |
|---|
| 2 | | Francesco Ricca:
The DLV Java Wrapper.
APPIA-GULP-PRODE 2003: 263-274 |
| 1 | EE | Francesco Ricca:
A Java Wrapper for DLV.
Answer Set Programming 2003 |
