Hyperequivalence of logic programs with respect to supported models
type: Item
instance of: scholarly article
title: Hyperequivalence of logic programs with respect to supported models
zbMATH Open document ID: 1165.68349
author: Stefan Woltran
author: Mirosław Truszczyński
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-07-06T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 5576030
describes a project that uses: ASSAT
MaRDI profile type: Publication
OpenAlex ID: W2106279850
cites work: Q4385536
cites work: Characterizations of the disjunctive stable semantics by partial evaluation
cites work: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
cites work: Characterization of strongly equivalent logic programs in intermediate logics
cites work: Q4022222
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
cites work: Negation as failure in the head
cites work: Logics in Artificial Intelligence
cites work: Q3970695
cites work: On the relation between default and autoepistemic logic
cites work: Q5750425
cites work: Logic Programming
cites work: Strongly equivalent logic programs
cites work: Nested expressions in logic programs
cites work: Q3624060
cites work: Q4273952
cites work: Semantical considerations on nonmonotonic logic
cites work: Relativized Hyperequivalence of Logic Programs for Modular Programming
cites work: Q5202996
cites work: Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
cites work: Strong equivalence made easy: nested expressions and weight constraints
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: A common view on strong, uniform, and other notions of equivalence in answer-set programming
cites work: Q3624114
DOI: 10.1007/S10472-009-9119-8
Recommended article: Q3725521
Recommended article: Q3030249
Recommended article: Relativized Hyperequivalence of Logic Programs for Modular Programming
Recommended article: Relativized hyperequivalence of logic programs for modular programming
Recommended article: Q4470447
Recommended article: Logic Programming
Recommended article: Q4708942
Recommended article: Layer Supported Models of Logic Programs
Recommended article: Q5457692
description: scientific article; zbMATH DE number 5576030