Now showing items 959-978 of 1009

  • Value joins are expensive over (probabilistic) XML 

    Kharlamov, E; Nutt, W; Senellart, P (ACM Digital Library, 2010)
    We address the cost of adding value joins to tree-pattern queries and monadic second-order queries over trees in terms of the tractability of query evaluation over two data models: XML and probabilistic XML. Our results ...
  • Variable Block Multilevel Iterative Solution of General Sparse Linear Systems 

    Carpentieri B; Liao J; Sosonkina M (Springer Berlin Heidelberg, 2014)
    We present numerical results with a variable block multilevel incomplete LU factorization preconditioners for solving sparse linear systems arising, e.g., from the discretization of 2D and 3D partial differential equations ...
  • The VERICLIG Project: extraction of Computer Interpretable Guidelines via syntactic and semantic annotation 

    Thorne C; Montali M; Cardillo E; Eccher C; Calvanese D (Association for Computational Linguistics, 2013)
    We consider the problem of extracting formal process representations of the therapies defined by clinical guidelines, viz., computer interpretable guidelines (CIGs), based on UMLS and semantic and syntactic annotation. CIGs ...
  • 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 ...
  • Verification and synthesis in description logic based dynamic systems 

    Calvanese D; De Giacomo G; Montali M; Patrizi F (Springer, 2013)
    In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this ...
  • Verification and synthesis in description logic based dynamic systems (Abridged Version) 

    Calvanese D; De Giacomo G; Montali M; Patrizi F (CEUR-WS.org, 2013)
    We devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism. We study verification and adversarial ...
  • Verification from declarative specifications using logic programming 

    Montali, M; Torroni, P; Alberti, M; Chesani, F; Gavanelli, M; Lamma, E; Mello, P (Springer, 2008)
    In recent years, the declarative programming philosophy has had a visible impact on new emerging disciplines, such as heterogeneous multi-agent systems and flexible business processes. We address the problem of formal ...
  • Verification of choreographies during execution using the reactive event calculus 

    Chesani, F; Mello, P; Montali, M; Torroni, P (Springer, 2009)
    This article presents a run-time verification method of web service behaviour with respect to choreographies. We start from DecSerFlow as a graphical choreography description language. We select a core set of DecSerFlow ...
  • 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, ...
  • 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 ...
  • Verification of Description Logic Knowledge and Action Bases 

    Bagheri Hariri B; Calvanese D; De Giacomo G; De Masellis R; Felli P; Montali M (Amsterdam, 2012)
    We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ...
  • Verification of evolving graph-structured data under expressive path constraints 

    Calvanese D; Ortiz M; Simkus M (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
    Integrity constraints play a central role in databases and, among many other applications, are fundamental for preserving data integrity when databases evolve as a result of operations manipulating the data. In this context, ...
  • Verification of Fixed-Topology Declarative Distributed Systems with External Data 

    Calvanese D; Montali M; Lobo J (CEUR-WS.org, 2018)
    Logic-based languages, such as Datalog and Answer Set Programming, have been recently put forward as a data-centric model to specify and implement network services and protocols. This approach provides the basis for ...
  • Verification of generalized inconsistency-aware knowledge and action bases 

    Calvanese D; Montali M; Santoso A (AAAI Press, 2015)
    Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly ...
  • Verification of Generalized Inconsistency-Aware Knowledge and Action Bases 

    Calvanese, C; Montali, M; Santoso, A (AAAI Press, 2015)
    Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly ...
  • 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 ...
  • Verification of Inconsistency-Aware Knowledge and Action Bases 

    Calvanese D; Kharlamov E; Montali M; Santoso A; Zheleznyakov D (AAAI Press, 2013)
    Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set ...
  • Verification of Inconsistency-Aware Knowledge and Action Bases 

    Calvanese D; Kharlamov E; Montali M; Santoso A; Zheleznyakov D (CEUR-WS.org, 2013)
    Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism to evolve a DL KB over time by means of actions that may acquire new information from the external environment. Decidability ...
  • Verification of Query Completeness over Processes 

    Razniewksi S; Montali M; Nutt W (Springer, 2013)
    Data completeness is an essential aspect of data quality, and has in turn a huge impact on the effective management of companies. For example, statistics are computed and audits are conducted in companies by implicitly ...
  • Verification of relational data-centric dynamic systems with external services 

    Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (ACM Press and Addison Wesley, 2013)
    Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. We study verification of (first-order) μ-calculus variants over relational data-centric ...