Computing Stable Models via Reductions to Difference Logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Researchers
Research units
Details
Original language | English |
---|---|
Title of host publication | Logic Programming and Nonmonotonic Reasoning |
Subtitle of host publication | 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings |
Editors | Esra Erdem, Fangzhen Lin, Torsten Schaub |
Publication status | Published - 2009 |
MoE publication type | A4 Article in a conference publication |
Event | International Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Germany Duration: 14 Sep 2009 → 18 Sep 2009 Conference number: 10 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer-Verlag Berlin Heidelberg |
Volume | 5753 |
ISSN (Print) | 0302-9743 |
Conference
Conference | International Conference on Logic Programming and Nonmonotonic Reasoning |
---|---|
Abbreviated title | LPNMR |
Country | Germany |
City | Potsdam |
Period | 14/09/2009 → 18/09/2009 |
- answer set programming, benchmarking, difference logic, stable model semantics, translation
Research areas
ID: 3749070