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

Date

2003

Major/Subject

Tietojenkäsittelyteoria

Mcode

T-119

Degree programme

Language

en

Pages

10+61

Series

Description

Supervisor

Niemelä, Ilkka

Thesis advisor

Janhunen, Tomi

Keywords

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

Other note

Citation