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)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2024.104276

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

My notes

Similar books and articles

Inside the Ethics of Artificial Intelligence: For a Decentralized Approach. Interview of James Brusseau by Marco Emanuele.James Brusseau & Marco Emanuele - 2021 - The Science of Where.
On influence, stable behavior, and the most influential individuals in networks: A game-theoretic approach.Mohammad T. Irfan & Luis E. Ortiz - 2014 - Artificial Intelligence 215 (C):79-119.
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75–111].Piero A. Bonatti - 2008 - Artificial Intelligence 172 (15):1833-1835.
Reasoning with infinite stable models.Piero A. Bonatti - 2004 - Artificial Intelligence 156 (1):75-111.
Lattice-theoretic models of conjectures, hypotheses and consequences.Mingsheng Ying & Huaiqing Wang - 2002 - Artificial Intelligence 139 (2):253-267.
Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics.Bianca Boretti & Sara Negri - 2006 - Philosophia Scientiae:61-79.
Strong stability and the incompleteness of stable models for λ-calculus.Olivier Bastonero & Xavier Gouy - 1999 - Annals of Pure and Applied Logic 100 (1-3):247-277.
Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.

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

References found in this work

Add more references