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
