• ENG 
    • ENG
    • ITA
    • DEU
Search 
  •   Bozen-Bolzano Institutional Archive (BIA)
  • Free University of Bozen-Bolzano (unibz)
  • Publications of the Faculty of Computer Science
  • Articles - Computer Science
  • Search
  •   Bozen-Bolzano Institutional Archive (BIA)
  • Free University of Bozen-Bolzano (unibz)
  • Publications of the Faculty of Computer Science
  • Articles - Computer Science
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-5 of 5

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
  • Thumbnail

    First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus 

    Calvanese D; De Giacomo G; Montali M; Patrizi F (2018)
    We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ...
  • Thumbnail

    Description logic Knowledge and Action Bases 

    Bagheri Hariri B; Calvanese D; Montali M; De Giacomo G; De Masellis R; Felli P ({AAAI} Press/The {MIT} Press, 2013)
    Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions ...
  • Thumbnail

    Soundness of Data-aware, Case-centric Processes 

    Montali M; Calvanese D (2016)
    In recent years, a plethora of foundational results and corresponding techniques and tools has been developed to support the modeling, analysis, execution and improvement of business processes along their entire lifecycle. ...
  • Thumbnail

    Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge 

    Calvanese D; Montali M; Dumas M; Maggi FM (2019)
    The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes.  DMN builds on the notion of decision ...
  • Thumbnail

    Semantics, Analysis and Simplification of DMN Decision Tables 

    Calvanese D; Dumas M; Laurson Ü; Maggi FM; Montali M; Teinemaa I (Elsevier, 2018)
    The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture ...

Browse

All of BIACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Admin Login

Discover

Author
Calvanese D (5)
Montali M (5)
De Giacomo G (2)Dumas M (2)Maggi FM (2)Bagheri Hariri B (1)De Masellis R (1)Felli P (1)Laurson Ü (1)Patrizi F (1)... View MoreDate Issued2018 (2)2013 (1)2016 (1)2019 (1)Full Text Availabilityopen (3)internal (1)reserved (1)Type
Article (5)
Has File(s)Yes (4)No (1)

Bia is a project of the University Library of Bozen-Bolzano (Learn More)
PrivacyContact Us
DSpace Express is a service operated by 
Atmire NV