Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics
No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Author
Date
1997
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
49
Series
Description
Supervisor
Ojala, LeoThesis advisor
Niemelä, IlkkaKeywords
stable model semantics, logic programming, nonmonotonic reasoning, automatic theorem proving
