A reductive semantics for counting and choice in answer set programming

Joohyung Lee, Vladimir Lifschitz, Ravi Palla

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Scopus citations

Fingerprint

Dive into the research topics of 'A reductive semantics for counting and choice in answer set programming'. Together they form a unique fingerprint.

Engineering & Materials Science