Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement the mu translation #191

Closed
teiesti opened this issue Feb 20, 2025 · 1 comment
Closed

Implement the mu translation #191

teiesti opened this issue Feb 20, 2025 · 1 comment
Assignees
@Glinzer
Labels
A-translating Area: Language translations (like tau_star, ...) C-feature-accepted Category: Accepted feature E-hard Experience: Hard L-asp Language: Answer Set Programming L-fol Language: First-order logic P-medium Priority: Medium
Milestone
2.0.0

Comments

@teiesti
Copy link
Collaborator

teiesti commented Feb 20, 2025

Follow the definition of mu in the paper "On Heuer's Procedure for Verifying Strong Equivalence" right before Theorem 2 which in turn references the paper "Transforming gringo rules into formulas in a natural way".
@teiesti teiesti added A-translating Area: Language translations (like tau_star, ...) C-feature-accepted Category: Accepted feature E-hard Experience: Hard L-asp Language: Answer Set Programming L-fol Language: First-order logic P-medium Priority: Medium labels Feb 20, 2025
@teiesti teiesti added this to the 2.0.0 milestone Feb 20, 2025
@teiesti
Copy link
Collaborator Author

teiesti commented Apr 4, 2025

Done in #206

@teiesti teiesti closed this as completed Apr 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Glinzer Glinzer

Labels
A-translating Area: Language translations (like tau_star, ...) C-feature-accepted Category: Accepted feature E-hard Experience: Hard L-asp Language: Answer Set Programming L-fol Language: First-order logic P-medium Priority: Medium
Projects
None yet
Milestone
2.0.0
Development

No branches or pull requests
2 participants
@teiesti @Glinzer