Computing Stable Models via Reductions to Difference Logic

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning
Subtitle of host publication10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
EditorsEsra Erdem, Fangzhen Lin, Torsten Schaub
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Germany
Duration: 14 Sep 200918 Sep 2009
Conference number: 10

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag Berlin Heidelberg
Volume5753
ISSN (Print)0302-9743

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR
CountryGermany
CityPotsdam
Period14/09/200918/09/2009

    Research areas

  • answer set programming, benchmarking, difference logic, stable model semantics, translation

ID: 3749070