Modular Answer Set Programming

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

Helsinki University of Technology | Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author

Authors

Date

2006

Department

Tietotekniikan osasto

Major/Subject

Tietojenkäsittelyteoria

Mcode

T-119

Degree programme

Language

en

Pages

ix+99

Series

Description

Supervisor

Niemelä, Ilkka

Thesis advisor

Janhunen, Tomi

Keywords

modular answer set programming, modulaarinen vastausjoukko-ohjelmointi, modular congruence, modulaarinen kongruenssi, equivalence verification, logiikkaohjelmien ekvivalenssin tarkastus, stable model semantics, stabiilien mallien semantiikka, nonmonotonic reasoning, epämonotoninen päättely

Other note

Citation

Permanent link to this item

https://urn.fi/URN:NBN:fi:aalto-202104155847

Collections

[lic] Teknillinen korkeakoulu / TKK