Filter
Chapter

Search results

  • 2013

    Business process compliance verification: An annotation based approach with commitments

    D'Aprile, D., Giordano, L., Martelli, A., Pozzato, G. L., Rognone, D. & Dupré, D. T., 1 Sept 2013, Information Systems: Crossroads for Organization, Management, Accounting and Engineering: ItAIS: The Italian Association for Information Systems. Physica-Verlag, Vol. 9783790827897. p. 563-570 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2010

    Knowledge representation and non-monotonic reasoning

    Giordano, L. & Toni, F., 2010, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Dovier, A. & Pontelli, E. (eds.). p. 87-111 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6125).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2006

    Automated deduction for logics of default reasoning

    Giordano, L., Gliozzi, V., Olivetti, N. & Pozzato, G. L., 2006, ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). IOS Press BV, p. 757-758 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 141).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2003

    Reasoning about communicating agents in the Semantic Web

    Baldoni, M., Baroglio, C., Giordano, L., Martelli, A. & Patti, V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bry, F., Henze, N. & Maluszynski, J. (eds.). Springer Verlag, p. 84-98 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2901).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access