Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
From MaRDI portal
Publication:5425411
DOI10.1007/978-3-540-72200-7_20zbMath1149.68339OpenAlexW2100320308MaRDI QIDQ5425411
Yi-Dong Shen, Li Yan Yuan, Jia-Huai You, Guo-Hua Liu
Publication date: 13 November 2007
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-72200-7_20
Related Items
Well-Supported Semantics for Logic Programs with Generalized Rules, Logic programs with abstract constraint atoms: the role of computations