Testing the Equivalence of Disjunctive Logic Programs
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Diplomityö
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
2003
Department
Major/Subject
Tietojenkäsittelyteoria
Mcode
T-119
Degree programme
Language
en
Pages
10+61
Series
Description
Supervisor
Niemelä, IlkkaThesis advisor
Janhunen, TomiKeywords
disjunctive logic programs, disjunktiiviset logiikkaohjelmat, equivalence testing, ekvivalenssitestaus, stable model semantics, stabiilien mallien semantiikka, answer set programming, epämonotoninen päättely, non-monotonic reasoning, laskennallinen vaativuus, computational complexity