Direct encoding of declare constraints in ASP
From MaRDI portal
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)