Safe Formulas in the General Theory of Stable Models (Preliminary Report)
type: Item
instance of: scholarly article
title: Safe Formulas in the General Theory of Stable Models (Preliminary Report)
zbMATH Open document ID: 1185.68163
DOI: 10.1007/978-3-540-89982-2_55
author: Joohyung Lee
author: Vladimir Lifschitz
author: Ravi Palla
published in: Logic Programming
publication date: 2009-01-22T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5496725
MaRDI profile type: Publication
full work available at URL: 978-3-540-89982-2 55
OpenAlex ID: W2125424848
cites work: Circumscription - a form of non-monotonic reasoning
cites work: A Characterization of Strong Equivalence for Logic Programs with Variables
cites work: Q3348439
cites work: The DLV system for knowledge representation and reasoning
Recommended article: Q5398043
Recommended article: Stable models and circumscription
Recommended article: Stable formulas in intuitionistic logic
Recommended article: Remarks on Stable Formulas in Intuitionistic Logic
Recommended article: On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
Recommended article: Q3818312
Recommended article: On equivalence of infinitary formulas under the stable model semantics
Recommended article: Stable models for infinitary formulas with extensional atoms
Recommended article: Stable models and difference logic
Recommended article: Stable formulas in ordered structures
description: scientific article; zbMATH DE number 5496725