Search
Now showing items 1-7 of 7
-
Verification of context-sensitive Knowledge and Action Bases
(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, ... -
Dynamic systems based on description logics: formalization, verification, and synthesis
(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 ... -
Specification and verification of commitment-regulated data-aware multiagent systems
(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 ... -
Verification of human-driven data-centric dynamic systems
(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 ... -
Verification of data-aware commitment-based multiagent system
(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 ... -
Verifiable UML artifact-centric business process models
(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 ... -
Adding context to Knowledge and Action Bases
(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, ...