Logic programs with stable model semantics as a constraint programming paradigm

• 1 January 1999
• journal article
• Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
• Vol. 25  (3/4) , 241-273
• https://doi.org/10.1023/a:1018930122475

Abstract

Keywords

• EFFICIENT
• CONSTRAINT
• KNOWLEDGE REPRESENTATION
• PARADIGM
• STABLE MODEL
• DOMAIN RESTRICTED PROGRAMS