Efficient Implementation of the Stable Model Semantics for Normal Logic Programs

Thumbnail Image

URL

Journal Title

Journal ISSN

Volume Title

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

Authors

Date

1995

Department

Tietotekniikan osasto

Major/Subject

Digitaalitekniikka

Mcode

Tik-79

Degree programme

Language

en

Pages

58

Series

Description

Supervisor

Ojala, Leo

Thesis advisor

Niemelä, Ilkka

Keywords

Other note

Citation

Permanent link to this item

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

Collections

[dipl] Teknillinen korkeakoulu / TKK