Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities

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

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Well-Supported Semantics for Logic Programs with Generalized Rules ⋮ Logic programs with abstract constraint atoms: the role of computations

This page was built for publication: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities