Erratum to: ``Reasoning with infinite stable models

DOI10.1016/J.ARTINT.2008.07.002zbMath1184.68481OpenAlexW1976595617MaRDI QIDQ2389687

Piero A. Bonatti

Publication date: 17 July 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2008.07.002

Mathematics Subject Classification ID

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

Related Items (3)

Unnamed Item ⋮ A decidable subclass of finitary programs ⋮ Computable Functions in ASP: Theory and Implementation

Cites Work

• Reasoning with infinite stable models
• Resolution for skeptical stable model semantics
• Unnamed Item

This page was built for publication: Erratum to: ``Reasoning with infinite stable models