Direct encoding of declare constraints in ASP

DOI10.1017/S1471068424000486MaRDI QIDQ7008042zbMATH OpenFDO

Authors Francesco Chiariello, Valeria Fionda, Antonio Ielo, F. Ricca

Publication date 24 March 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

process mininganswer-set programming

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1670794 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• ASP-Core-2 input language format
• Applying Inductive Logic Programming to Process Mining
• Checking finite traces using alternating automata
• Conflict-driven inductive logic programming
• Domain-dependent knowledge in answer set planning
• Inconsistency measurement in \(\mathrm{LTL_f}\) based on minimal inconsistent sets and minimal correction sets
• LTL on finite and process traces: complexity results and a practical reasoner
• Logic programs with stable model semantics as a constraint programming paradigm
• Multi-shot ASP solving with clingo
• Optimising business process discovery using answer set programming
• \textit{telingo} = ASP + time

This page was built for publication: Direct encoding of declare constraints in ASP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7008042)