SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Verification from Declarative Specifications Using Logic Programming · Study

WorkVerification from Declarative Specifications Using Logic Programming

Marco Montali2008

Work2008

Verification from Declarative Specifications Using Logic Programming

Marco Montali · Paolo Torroni · Marco Alberti · Federico Chesani · Marco Gavanelli · Evelina Lamma +1 more

31 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Logic, programming, and type systems Logic, Reasoning, and Knowledge

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 31 citations exist upstream.

References

2008Business Process Management Workshops 2007DECLARE: Full Support for Loosely-Structured Processes 2006A Declarative Approach for Flexible Business Processes Management

Cited by

2012Ontology-Based Querying of Composite Services 2010Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2011Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automataother · 3 shared references 2009Exploiting Inductive Logic Programming Techniques for Declarative Process Miningother · 3 shared references 2013Discovering Data-Aware Declarative Process Models from Event Logsother · 3 shared references 2012An Operational Decision Support Framework for Monitoring Business Constraintsother · 3 shared references 2012MailOfMine – Analyzing Mail Messages for Mining Artful Collaborative Processesother · 3 shared references 2012Mining Constraints for Artful Processesother · 3 shared references

Details

Year2008

Typeother

Published2008-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations31

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-89982-2_39

openalex_workW1514325465

Links

Imported from OpenAlex (CC0) — nothing here is generated.