scientific article; zbMATH DE number 2085248
From MaRDI portal
Publication:4736482
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.
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
This page was built for publication:
