Normal Form Theorem for Logic Programs with Cardinality Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Victor W. Marek, Jeffrey B. Remmel. Normal Form Theorem for Logic Programs with Cardinality Constraints. In Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, editors, Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005. Volume 05171 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]

This author has not been identified. Look up 'Victor W. Marek' in GoogleThis author has not been identified. Look up 'Jeffrey B. Remmel' in Google

runs on WebDSL