Stable models for infinitary formulas with extensional atoms

DOI10.1017/S1471068416000314zbMath1379.68068arXiv1608.01603OpenAlexW2962690688MaRDI QIDQ4593057

Vladimir Lifschitz, Amelia Harrison

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.01603

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• Gringo

Cites Work

• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Stable models and circumscription
• Infinitary Equilibrium Logic and Strong Equivalence
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Abstract gringo
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Stable models for infinitary formulas with extensional atoms