Publications (Year 2)

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, and Axel Polleres. Answer Set Planning under Action Costs. 19:25 71, 2003.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. Christoph Koch, Nicola Leone, and Gerald Pfeifer. Enhancing Disjunctive Logic Programming Systems by SAT Checkers. 15(1  2):177 212, December 2003.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. Simona Perri and Nicola Leone. Parametric connectives in disjunctive logic programming. 2004. Forthcoming.
  24. 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.
  25. Simona Perri, Francesco Scarcello, and Nicola Leone. Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. 2004. Forthcoming.
  26. 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