Intelligent Instantiation and Supersafe Rules

DOI10.4230/OASICS.ICLP.2016.7zbMath1428.68091OpenAlexW2559092422MaRDI QIDQ5240211

Vladimir Lifschitz

Publication date: 24 October 2019

Full work available at URL: https://www.cs.utexas.edu/users/vl/papers/safety_final.pdf

zbMATH Keywords

answer set programming

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Gringo

Cites Work

• Unnamed Item
• Nested expressions in logic programs
• A Revised Concept of Safety for General Answer Set Programs
• Abstract gringo
• Computable Functions in ASP: Theory and Implementation
• Safe Formulas in the General Theory of Stable Models (Preliminary Report)
• Normal Form Nested Programs

This page was built for publication: Intelligent Instantiation and Supersafe Rules