Edinburgh, Scotland, UK, July 31 - August 5, 2005.
149 W. Faber, N. Leone, F. Ricca. Heuristics for Hard ASP Programs. Proceedings of the
19th International Joint Conference on Artificial Intelligence – IJCAI ’05, Morgan
Kaufmann Publishers, Edinburgh, Scotland, UK, July 31 - August 5, 2005, pp. 406-411.
150 W. Faber, N. Leone, F. Ricca, A Backjumping Technique for Disjunctive Logic
Programming, ASP05 – Answer Set Programming, Advances in Theory and
Implementation, Bath UK, Luglio 2005.
151 Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Sacc, and Amedeo Zavatto,
Exploiting ASP for Semantic Information Extraction, ASP05 – Answer Set Programming,
Advances in Theory and Implementation, Bath UK, Luglio 2005.
152 W. Faber, G. Greco, N. Leone,Magic Sets and their Application to Data Integration,
Proceedings of the 10th International Conference on Database Theory – ICDT’05,
Lecture Notes in Computer Science, Springer-Verlag, Vol. 3363, Edinburgh, Scotland,
January 5-7, 2005, pp. 306–320.
153 W. Faber, N. Leone, G. Pfeifer, Recursive Aggregates in Disjunctive Logic Programs:
Semantics and Complexity, Proceedings of the 9th European Conference on Logics in
Artificial Intelligence – JELIA’04, Lecture Notes in Computer Science (LNCS), Springer-
Verlag, Vol. 3229, Lisbon, Portugal, September 27-30, 2004, pp. 200–212.
154 F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer, New DLV
Features for Data Integration, Proceedings of the 9th European Conference on
Logics in Artificial Intelligence – JELIA’04, Lecture No- tes in Computer Science
(LNCS), Springer-Verlag, Vol. 3229, Lisbon, Portugal, September 27-30, 2004, pp. 698–
701.
155 F. Scarcello, G. Greco, N. Leone, Weighted Hypertree Decompositions and Optimal
Query Plans, Proceedings of the 23rd ACM International Symposium on Principles of
Database Systems (PODS’04), ACM- Press, Paris, June 13-18, 2004, pp. 210–221.
156 C. Cumbo, W. Faber, G. Greco, N. Leone, Enhancing the Magic-Set Method for
Disjunctive Datalog Programs, Proceedings of the 20th International Conference on
Logic Programming – ICLP’04, Lecture Notes in Computer Science, Springer-
Verlag, Vol. 3132 September 6-10, 2004 Saint-Malo, France, pp. 371–385.
157 N. Leone, S. Perri, F. Scarcello, BackJumping Techniques for Rules Instantiation in the
DLV System, Proceedings of the 10th International Workshop on Non-Monotonic
Reasoning NMR’04, Westin Whistler Resort and Spa, Whistler BC, Canada, June 6-8,
2004, 258–266.
158 T. Dell’Armi, W. Faber, G. Ielpa, N. Leone, S. Perri, G. Pfeifer, System Description: DLV
with Aggregates Proceedings of the 7th International Conference on Logic
Programming and Non-Monotonic Reasoning – LPNMR-7, Lecture Notes in Artificial
Intelligence (LNAI) 2923, Springer-Verlag, Florida, USA, January 6–8, 2004, pp. 326-
330.
159 N. Leone, V. Lio, G. Terracina DLVD B: Bridging the gap between ASP systems and
DBMSs Proceedings of the 7th International Conference on Logic Programming and
Non-Monotonic Reasoning – LPNMR-7, Lecture Notes in Artificial Intelligence (LNAI)
2923, Springer-Verlag, Florida, USA, January 6–8, 2004, pp. 341-345.
160 T. Dell’Armi, G. Ielpa, W. Faber, N. Leone, G. Pfeifer, Aggregate Functions in Disjunctive
Logic Programming: Semantics, Complexity, and Implementation in DLV Proceedings
of the 18th International Joint Conference on Artificial Intelligence – IJCAI ’03,
Morgan Kaufmann Publishers, Acapulco, Mexico, August 9–15, 2003.
161 A. Garro, N. Leone, F. Ricca, Logic Based Agents for E-Learning, Proceedings of the
IJCAI’03 Workshop on Knowledge Representation and Automated Reasoning for
E- Learning Systems, Acapulco, Mexico, August 10, 2003, pp 36-45.
162 N. Leone, S. Perri, Parametric Connectives in Disjunctive Logic Programming,
Proceedings of the 2nd International Workshop on Answer Set Programming – ASP
2003, Messina, Italy, September 26-28, 2003, pp. 124-135.
163 T. Dell’Armi, G. Ielpa, W. Faber, N. Leone, G. Pfeifer, Aggregate Functions in DLV,
Proceedings of the 2nd International Workshop on Answer Set Programming – ASP
2003, Messina, Italy, September 26-28, 2003, pp. 274-288.
164 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, Answer Set Planning under Action
Costs, Proceedings of the 8th European Conference on Logics in Artificial Intelligence –
JELIA’02 , Lecture Notes in Artificial Intelligence (LNAI) 2424, Springer-Verlag, Cosenza,
Italy, Cosenza, Italy, September 23-26, 2002, pp. 186-197.
165 T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres, The DLVK Planning System:
Progress Report, Proceedings of the 8th European Conference on Logics in Artificial
Intelligence – JELIA’02 , Lecture Notes in Artificial Intelligence (LNAI) 2424, Springer-
Verlag, Cosenza, Italy, September 23-26, 2002, pp. 541-544.