Here and There with Arithmetic

DOI10.1017/s1471068421000338zbMath1530.68248arXiv2108.03187MaRDI QIDQ6063863

Vladimir Lifschitz

Publication date: 12 December 2023

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

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

zbMATH Keywords

answer-set programmingstable modelsstrong equivalence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Cites Work

• Unnamed Item
• Transforming gringo rules into formulas in a natural way
• Verifying strong equivalence of programs in the input language of \textsc{gringo}
• Infinitary equilibrium logic and strongly equivalent logic programs
• Connecting First-Order ASP and the Logic FO(ID) through Reducts
• Abstract gringo
• Towards Verifying Logic Programs in the Input Language of clingo
• Verifying Tight Logic Programs with anthem and vampire
• A Characterization of Strong Equivalence for Logic Programs with Variables
• Strongly equivalent logic programs

This page was built for publication: Here and There with Arithmetic