Publications
(Year 2)
- Francesco Calimeri, Stefania Galizia, Massimo Ruffolo, and
Pasquale Rullo. Enhancing Disjunctive Logic Programming for Ontology
Specification. In Francesco Buccafurri, editor, Proceedings of the
APPIA-GULP-PRODE 2003, Joint Conference on Declarative Programming(AGP
03) 2003.
- Tina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola
Leone, and Gerald Pfeifer. Aggregate Functions in Disjunctive Logic
Programming: Semantics, Complexity, and Implementation in DLV. In
Proceedings of the 18th International Joint Conference on Arti- ficial
Intelligence (IJCAI) 2003, pages 847 852, Acapulco, Mexico, August
2003. Morgan Kaufmann Publishers.
- Tina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola
Leone, and Gerald Pfeifer. Aggregate Functions in DLV. In Proceedings
of the 2nd International Workshop on Answer Set Programming
ASP 2003, pages 274 288, Messina, Italy, September 2003.
- Tina Dell Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola
Leone, and Gerald Pfeifer. System Description: DLV with Aggregates. In
Vladimir Lifschitz and Ilkka Niemel¨a, editors, Proceedings of the
7th International Conference on Logic Programming and Non-Monotonic
Reasoning (LPNMR-7), LNCS, pages 326 330. Springer, January 2004.
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald
Pfeifer, and Axel Polleres. Answer Set Planning under Action Costs.
19:25 71, 2003.
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald
Pfeifer, and Axel Polleres. A Logic Programming Approach to
Knowledge-State Planning, II: the DLVK System. 144(1 2):157 211, March
2003.
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald
Pfeifer, and Axel Polleres. A Logic Programming Approach to
Knowledge-State Planning: Semantics and Complexity. 5(2), April 2004.
- Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald
Pfeifer. Computing Preferred Answer Sets by Meta-Interpretation in
Answer Set Programming. 3:463 498, July/September 2003.
- Stefania Galizia. Generazione automatica di manovre per lo
Space Shuttle mediante la Programmazione Logica Disgiuntiva. In
Francesco Buccafurri, editor, Proceedings of the APPIAGULP- PRODE 2003,
Joint Conference on Declarative Programming (AGP 03) 2003.
- Ianni G., Ricca F., Calimeri F., Lio V., and Galizia S. An
agent system reasoning about the web and the user. In 13th
International World Wide Web Conference. Poster Session, New York,
2004. to appear. [ICL+03] Ianni G., Calimeri F., Lio V., Galizia S.,
and Bonf`a A. Reasoning about the semantic web using answer set
programming. In Proceedings of 2003 Joint Conference on Declarative
Programming, APPIA-GULP-PRODE 2003, Reggio Calabria, Italy, September
2003.
- Ianni G., Ielpa G., Pietramala A., Santoro M. C., and
Calimeri F. Enhancing answer set programming with templates. In 10th
International Workshop on Non-Monotonic Reasoning NMR2004, Whistler,
Canada, 2004. to appear.
- Ianni G., Ielpa G., Pietramala A., and Santoro M. C.
Answer set programming with templates. In Proceedings of the 2nd
International Workshop on Answer Set Programming ASP 2003,
Messina, Italy, September 2003.
- Alfredo Garro, Nicola Leone, and Francesco Ricca. Logic
Based Agents for E-Learning. In Proceedings of the IJCAI 03 Workshop on
Knowledge Representation and Automated Reasoning for E-Learning
Systems, pages 36 45, Acapulco, Mexico, August 2003.
- Christoph Koch, Nicola Leone, and Gerald Pfeifer.
Enhancing Disjunctive Logic Programming Systems by SAT Checkers.
15(1 2):177 212, December 2003.
- N. Leone, V. Lio, and G. Terracina. DLV DB: Bridging the
gap between ASP systems and DBMSs. In Proc. of 7th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7),
pages 341 345, Fort Lauderdale, Florida, USA, 2004. Lecture Notes in
Artificial Intelligence, Springer-Verlag.
- Nicola Leone, Vincenzino Lio, and Giorgio Terracina.
DLVDB: Bridging the gap between ASP systems and DBMSs. In Vladimir
Lifschitz and Ilkka Niemel¨a, editors, Proceedings of the 7th
International Conference on Logic Programming and Non-Monotonic
Reasoning (LPNMR-7), LNCS, pages 341 345. Springer, January 2004.
- Nicola Leone and Simona Perri. Parametric Connectives in
Disjunctive Logic Programming. In Proceedings of the 2nd International
Workshop on Answer Set Programming ASP 2003, pages 124 135,
Messina, Italy, September 2003.
- Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas
Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV
System for Knowledge Representation and Reasoning. 2004. Forthcoming.
- Nicola Leone, Simona Perri, and Francesco Scarcello.
BackJumping Techniques for Rules Instantiation in the DLV System. In
Proceedings of 10th International Workshop on Non-Monotonic Reasoning
NMR2004, Canada, June 2004. To appear.
- Nicola Leone, Simona Perri, and Francesco Scarcello.
BackJumping Techniques for Rules Instantiation in the DLV System. In
Proceedings of 10th International Workshop on Non-Monotonic Reasoning
NMR2004, Canada, June 2004. To appear.
- Nicola Leone, Francesco Scarcello, and V.S. Subrahmanian.
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity,
and Computation. 16(4):487 503, April 2004. [MMTU03] P. De Meo, J.
Mbale, G. Terracina, and D. Ursino. An XML-based multi-agent system for
the user-oriented management of QoS in telecommunications networks. In
Proc. of 2003 IEEE/WIC International Conference on Intelligent Agent
Technology (IAT 2003), pages 96 102, Halifax, Canada, 2003. IEEE
Computer Society Press.
- P. De Meo, D. Rosaci, G.M.L. Sarn`e, G. Terracina, and D.
Ursino. An XML-based adaptive multi-agent system for handling ecommerce
activities. In Proc. of International Conference on Web Services 2003
(ICWS-Europe 2003), pages 152 166, Erfurt, Germany, 2003. Lecture Notes
in Computer Science, Springer-Verlag.
- Simona Perri and Nicola Leone. Parametric connectives in
disjunctive logic programming. 2004. Forthcoming.
- Simona Perri and Francesco Scarcello. Advanced Backjumping
Techniques for Rule Instantiations. In Proceedings of 2003 Joint
Conference on Declarative Programming, APPIA-GULP-PRODE 2003, Reggio
Calabria, Italy, September 2003.
- Simona Perri, Francesco Scarcello, and Nicola Leone.
Abductive Logic Programs with Penalization: Semantics, Complexity and
Implementation. 2004. Forthcoming.
- F. Scarcello, G. Greco, and N. Leone. Weighted Hypertree
Decompositions and Optimal Query Plans. In Proceedings of the
Twentythird ACM SIGACT SIGMOD-SIGART Symposium on Principles of
Database Systems (PODS-04). ACM Press, 2004. Other Activities: UNICAL
organized (jointly with Università della Magna Grecia, Reggio
Calabria) the 2003 Joint Conference on Declarative Programming,
APPIA-GULP-PRODE 2003, held in September 2003, at Reggio Calabria, Italy