Computing Stable Models via Reductions to Difference Logic

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoLogic Programming and Nonmonotonic Reasoning
Alaotsikko10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ToimittajatEsra Erdem, Fangzhen Lin, Torsten Schaub
TilaJulkaistu - 2009
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Logic Programming and Nonmonotonic Reasoning - Potsdam, Saksa
Kesto: 14 syyskuuta 200918 syyskuuta 2009
Konferenssinumero: 10

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer-Verlag Berlin Heidelberg
Vuosikerta5753
ISSN (painettu)0302-9743

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
LyhennettäLPNMR
MaaSaksa
KaupunkiPotsdam
Ajanjakso14/09/200918/09/2009

    Tutkimusalat

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

ID: 3749070