scientific article; zbMATH DE number 2085248

zbMath1053.68695MaRDI QIDQ4736482

No author found.

Publication date: 9 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2258/22580306.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (16)

Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective ⋮ A generalization of the Lin-Zhao theorem ⋮ Equilibrium logic ⋮ Semantic forgetting in answer set programming ⋮ Model-based recasting in answer-set programming ⋮ Logical connectives for two-state semantics ⋮ Complexity results for answer set programming with bounded predicate arities and implications ⋮ Strongly Equivalent Temporal Logic Programs ⋮ Stable models and circumscription ⋮ From answer set logic programming to circumscription via logic of GK ⋮ Thirteen Definitions of a Stable Model ⋮ On deciding subsumption problems ⋮ General default logic ⋮ Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets ⋮ Twelve Definitions of a Stable Model ⋮ Quantified Equilibrium Logic and Foundations for Answer Set Programs

Uses Software

• SATO

This page was built for publication: