Skip to contents

  1. Tessaris, Sergio [Editor]; Franconi, Enrico [Other]; Eiter, Thomas [Other]; Gutiérrez, Claudio [Other]; Handschuh, Siegfried [Other]; Rousset, Marie-Christine [Other]; Schmidt, Renate A. [Other] ; Summer School Reasoning Web 5 2009 Brixen

    Reasoning web : semantic technologies for information systems : 5th international summer school 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009 ; tutorial lectures

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Published in: Lecture notes in computer science ; 5689

  2. Tessaris, Sergio [Author] ; Eiter, Thomas [Other]; Franconi, Enrico [Other]; Gutiérrez, Claudio [Other]; Handschuh, Siegfried [Other]; Rousset, Marie-Christine [Other]; Schmidt, Renate A. [Other]

    Reasoning Web. Semantic Technologies for Information Systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Published in: Lecture notes in computer science ; 5689

  3. Solomakhin, Dmitry [Author]; Montali, Marco [Author]; Tessaris, Sergio [Author]

    Formalizing guard-stage-milestone meta-modelsas data-centric dynamic systems

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bozen-Bolzano BZ, Italy: KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, December 2012

    Published in: KRDB Research Centre technical report ; KRDB 12-4

  4. Ghidini, Chiara [Author]; Serafini, Luciano [Author]; Tessaris, Sergio [Author]

    On relating heterogeneous elements fromdifferent ontologies

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bolzano, Italy: KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, [2007]

    Published in: KRDB Research Centre technical report ; KRDB 07, 06

  6. De Masellis, Riccardo [Author]; Di Francescomarino, Chiara [Author]; Ghidini, Chiara [Author]; Montali, Marco [Author]; Tessaris, Sergio [Author]

    RAW-SYS a practical framework for data-aware business process verification

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bolzano, Italy: KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano, March 21, 2016

    Published in: KRDB Research Centre technical report ; KRDB 16, 1

  7. Chesani, Federico [Author]; Francescomarino, Chiara Di [Author]; Ghidini, Chiara [Author]; Loreti, Daniela [Author]; Maggi, Fabrizio Maria [Author]; Mello, Paola [Author]; Montali, Marco [Author]; Palmieri, Elena [Author]; Tessaris, Sergio [Author]

    Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2022

    Published in: Italian Conference on Computational Logic (37. : 2022 : Bologna; Online): CILC 2022: Italian Conference on Computational Logic ; (2022), Seite 201-216

  12. Tessaris, Sergio; Horrocks, Ian

    Logic for Programming, Artificial Intelligence, and Reasoning: Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 2002

    Published in: Logic for Programming, Artificial Intelligence, and Reasoning