Tabular Constraint-Satisfaction Problems and Answer Set Programming

Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski. Tabular Constraint-Satisfaction Problems and Answer Set Programming. In Alessandro Provetti, Tran Cao Son, editors, Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001. 2001. [doi]

Abstract

Abstract is missing.