A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments

Artificial Intelligence 340 (C):104276 (2025)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
Reasoning with infinite stable models.Piero A. Bonatti - 2004 - Artificial Intelligence 156 (1):75-111.

Analytics

Added to PP
2024-12-26

Downloads
2 (#1,907,544)

6 months
2 (#1,294,541)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations