Abstract
We describe WSAT(CC), a local-search solver for computing models of theories in the language of propositional logic extended by cardinality atoms. WSAT(CC) is a processing back-end for the logic PS+, a recently proposed formalism for answer-set programming.
Original language | English |
---|---|
Title of host publication | Logic Programming and Nonmonotonic Reasoning |
Editors | Ilkka Niemela, Vladimir Lifschitz |
Pages | 351-355 |
Number of pages | 5 |
ISBN (Electronic) | 354020721X, 9783540207214 |
State | Published - 2004 |
Event | 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 - Fort Lauderdale, United States Duration: Jan 6 2004 → Jan 8 2004 |
Publication series
Name | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) |
---|---|
Volume | 2923 |
ISSN (Print) | 0302-9743 |
Conference
Conference | 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 |
---|---|
Country/Territory | United States |
City | Fort Lauderdale |
Period | 1/6/04 → 1/8/04 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 2004.
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science