• ENG 
    • ENG
    • ITA
    • DEU
Search 
  •   Bozen-Bolzano Institutional Archive (BIA)
  • Free University of Bozen-Bolzano (unibz)
  • Publications of the Faculty of Computer Science
  • Search
  •   Bozen-Bolzano Institutional Archive (BIA)
  • Free University of Bozen-Bolzano (unibz)
  • Publications of the Faculty of 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-10 of 10

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

    Verification of context-sensitive Knowledge and Action Bases 

    Calvanese D; Ceylan I; Montali M; Santoso A (Springer, 2014)
    Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ...
  • Thumbnail

    Dynamic systems based on description logics: formalization, verification, and synthesis 

    Calvanese D; De Giacomo G; Montali M; Patrizi F (CEUR-WS.org, 2013)
    We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds ...
  • Thumbnail

    Specification and verification of commitment-regulated data-aware multiagent systems 

    Montali M; Calvanese D; De Giacomo G (CEUR-WS.org, 2014)
    In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and ...
  • Thumbnail

    Verification of human-driven data-centric dynamic systems 

    Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (AAAI Press, 2014)
    We study the foundations of human driven, data-aware business processes, by leveraging on the recently proposed framework of Data-Centric Dynamic Systems (DCDSs). The processes we consider simultaneously capture the ...
  • Thumbnail

    Verification of data-aware commitment-based multiagent system 

    Montali M; Calvanese D; De Giacomo G (IFAAMAS, 2014)
    In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and ...
  • Thumbnail

    Verifiable UML artifact-centric business process models 

    Calvanese D; Estanol M; Montali M; Teniente E (ACM, 2014)
    Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ...
  • Thumbnail

    Towards a reference implementation for data centric dynamic systems 

    Russo A; Mecella M; Montali M; Patrizi F (Springer, 2014)
    Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework ...
  • Thumbnail

    Discovering data-aware declarative process models from event logs 

    Maggi FM; Dumas M; Garcia-Banuelos L; Montali M (Springer, 2013)
    A wealth of techniques are available to automatically discover business process models from event logs. However, the bulk of these techniques yield procedural process models that may be useful for detailed analysis, but ...
  • Thumbnail

    Run-time verification of MSMAS norms using Event Calculus 

    Elakehal EE; Montali M; Padget J (IEEE Computer Society Press, 2014)
    Modelling Self-managing Multi Agent Systems (MSMAS) is a software development methodology that facilitates designing and developing complex distributed systems based on the multivalent systems paradigm. MSMAS uses a ...
  • Thumbnail

    Adding context to Knowledge and Action Bases 

    Calvanese D; Ceylan I; Montali M; Santoso A (arXiv.org e-Print archive, 2014)
    Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs) through action execution. In this work, ...

Browse

All of BIACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

Admin Login

Discover

Author
Montali M (10)
Calvanese D (7)De Giacomo G (4)Ceylan I (2)Patrizi F (2)Santoso A (2)Bagheri Hariri B (1)Deutsch A (1)Dumas M (1)Elakehal EE (1)... View MoreDate Issued2014 (8)2013 (2)Full Text Availability
internal (10)
Type
Book chapter (10)
Has File(s)No (10)

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