Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Intelligent Instantiation and Supersafe Rules

From MaRDI portal
Publication:5240211
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5240211&oldid=19858041"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 18:54.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki