KNOWLEDGE REPRESENTATION & REASONING
University of Naples "Federico II"
  PEOPLE - INTERESTS - PUBLICATIONS - PROJECTS - EVENTS - LINKS

PEOPLE

RESEARCH INTERESTS

PROJECTS AND NETWORKS

The members of the Group are currently partecipating to the following projects:

EVENTS/SEMINARS

SOME RECENT PUBLICATIONS

Journals

  1. P.A. Bonatti, A. Peron. On the undecidability of logics with converse, nominals, recursion and counting. Artificial Intelligence, 158(1):75-96, 2004. [Preliminary version]
  2. P.A. Bonatti. Reasoning with infinite stable models. Artificial Intelligence 156:75-111, 2004. [Final version] [Preliminary version]
  3. M. Benerecetti, P. Bouquet, S. Zanobini. Verso una logica cognitiva per i linguaggi indicali. Epistemologia: rivista italiana di filosofia della scienza, pp. 20-35, 2002.
  4. P.A. Bonatti, N. Olivetti. Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, 3(2):226-278, 2002. [Postscript]
  5. G. Criscuolo, F. Giunchiglia, L. Serafini. A Foundation for Metareasoning. Part I: The Proof Theory. Journal of Logic and Computation, 12(1):167-208, 2002.
  6. G. Criscuolo, F. Giunchiglia, L. Serafini. A Foundation for Metareasoning. Part II: The Model Theory, Journal of Logic and Computation, 12(3):345-370, 2002.
  7. M. Benerecetti, P. Bouquet, M. Bonifacio. Distributed Context-aware Systems. Human-Computer Interaction 16:213--228, special issue on Context-aware computing, 2001.
  8. P.A. Bonatti. Resolution for Skeptical Stable Model Semantics. Journal of Automated Reasoning 27(4):391-421, 2001. [ Preliminary version from LPNMR'97, gzipped Postscript] [Final version,]
  9. M. Benerecetti, P. Bouquet, C. Ghidini. Contextual Reasoning Distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 12(3), 2000.
  10. M. Benerecetti, E. Giunchiglia, L. Serafini, A. Villafiorita. Formal specification of beliefs in multi-agent systems. International Journal of Intelligent Systems, 14:1021-1040, 1999.

Conferences and Workshops

  1. P.A. Bonatti, C. Lutz, F. Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. KR'06, to appear
  2. P.A. Bonatti, C. Lutz, N. Murano, M. Vardi. The Complexity of Enriched mu-Calculi. ICALP'06, to appear
  3. P.A. Bonatti, C. Duma, N. Fuchs, W. Nejdl, D. Olmedilla, J. Peer, N. Shahmehri. Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC'06, to appear.
  4. P.A. Bonatti, D. Olmedilla, J. Peer. Advanced Policy Explanations on the Web. ECAI'06, to appear.
  5. S. Baselice, P.A. Bonatti, M. Gelfond. A preliminary report on Integrating of Answer Set and Constraint Solving. Workshop on Answer Set Programming 2005 (ASP'05). To appear
  6. S. Baselice, P.A. Bonatti, M. Gelfond. Towards an Integration of Answer Set and Constraint Solving. International Conference on Logic Programming (ICLP 2005). To appear
  7. P.A. Bonatti. Abduction over unbounded domains via ASP. Proc. of the European Conf. on Artificial Intelligence (ECAI-04), 288-292, IOS Press, 2004.
  8. P. Bouquet, L.Serafini and S. Zanobini, M. Benerecetti. An algorithm for semantic coordination. Proc. of Semantic Integration Workshop, colocated with the 2nd Int.l Semantic Web Conference (ISWC2003), 20-23 October 2003, Sanibel Island, Florida, US.
  9. P.A. Bonatti. Undecidability results for description logics with recursion and counting. Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-03), 2003.
  10. P.A. Bonatti, Y. Deng, V.S. Subrahmanian. An ontology-extended relational algebra. Proc. of the IEEE International Conference on Information Reuse and Integration (IEEE IRI 2003), 2003
  11. P.A. Bonatti, A. Tettamanzi. Some complexity results on fuzzy description logics. Proc. of the Int.l Workshop on Fuzzy Logic and Applications (WILF'03), 2003
  12. P.A. Bonatti. Finitary Open Logic Programs. Proc. of ASP'03. [PDF]
  13. P.A. Bonatti. Towards Service Description Logics. Proc. of the Joint European Conf. on Logics in AI (JELIA 2002), LNCS 2424, 74-85, Springer, 2002.
  14. P.A. Bonatti. Reasoning with Infinite Stable Models II: Disjunctive Programs. Proc. of ICLP 2002, LNCS 2401, 333-346, Springer, 2002. [Abstract and PDF]
  15. P.A. Bonatti. Abduction, ASP and Open Logic Programs. Proc. of NMR'02, Toulouse, April 2002. [PDF]
  16. P.A. Bonatti. Reasoning with infinite stable models. Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI'01), pp. 603-608, Morgan Kaufmann, 2001. [PDF]
  17. P.A. Bonatti. Reasoning with open logic programs. Proc. of 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pp 147-159, LNAI 2173, 2001. [Abstract and PDF]
  18. P.A. Bonatti. Prototypes for Reasoning with Infinite Stable Models and Function Symbols. Proc. of 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pp 416-419, LNAI 2173, 2001. [Abstract and PDF]
  19. M. Benerecetti, P. Bouquet, and C. Ghidini. On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective. In Working notes of KR-2000 Workshop on Semantic Approximation, Granularity, and Vagueness.

Books

  1. V.S. Subrahmanian, P.A. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan, R. Ross. Heterogeneous Active Agents. MIT Press, 2000.
More publications can be found on the personal pages of the group members and on the DBLP server

LINKS