YoVDO

A Direct ASP Encoding for Declare

Offered By: ACM SIGPLAN via YouTube

Tags

Automata Theory Courses Process Mining Courses Linear Temporal Logic Courses Temporal Logic Courses Declarative Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a novel approach to encoding Declare constraints in Answer Set Programming (ASP) for Process Mining applications. Delve into the direct modeling of constraint semantics as ASP rules, bypassing intermediate representations like Linear Temporal Logic formulas or automata. Compare this innovative method to existing ASP encodings and a Python library for Declare across two Process Mining tasks. Gain insights into the effectiveness of this direct encoding technique and its potential impact on declarative process modeling and analysis.

Syllabus

[PADL'24] A direct ASP encoding for Declare


Taught by

ACM SIGPLAN

Related Courses

Functional Programming For Beginners With JavaScript
Udemy
Master Java Reactive Programming with RxJava 2
Udemy
[NEW] Functional programming for javascript developers
Udemy
Functional Programming in Java - Full Course
freeCodeCamp
Functional Programming with PHP
LinkedIn Learning