Logic Programming with Cardinality Constraints

Helsinki University of Technology | Licentiate thesis

Checking the digitized thesis and permission for publishing
Instructions for the author

Authors

Syrjänen, Tommi

Date

Department

Tietotekniikan osasto

Major/Subject

Tietojenkäsittelyteoria

Mcode

T-119

Language

en

Pages

viii+118

Supervisor

Niemelä, Ilkka

Thesis advisor

Niemelä, Ilkka

Keywords

logic programming, logiikkaohjelmointi, cardinality constraint, kardinaliteettirajoitteet, instantiation, instantiointi, stable model semantics, stabiilien mallien semantiikka, smodels, smodels

Permanent link to this item

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

Collections

[lic] Teknillinen korkeakoulu / TKK

Show all metadata