Search
Now showing items 21-30 of 41
-
Verification of relational multiagent systems with data types
(AAAI Press, 2015)We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific, rigid relations (such as total orders). ... -
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 ... -
State-Boundedness in Data-Aware Dynamic Systems
(AAAI Press, 2014)Verification of dynamic systems that manipulate data, stored in a database or ontology, has lately received increasing attention. A plethora of recent works has shown that verification of systems working over unboundedly ... -
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, ... -
Automated activity recognition in clinical documents
(Asian Federation of Natural Language Processing / ACL, 2013)We describe a first experiment on the identification and extraction of computer-interpretable guideline (CIG) components (activities, actors and consumed artifacts) from clinical documents, based on clinical entity recognition ... -
Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology
(Springer, 2017)Process mining aims at discovering, monitoring, and improving business processes by extracting knowledge from event logs. In this respect, process mining can be applied only if there are proper event logs that are compatible ...
