Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorNiemelä, Ilkka 
dc.contributor.authorSimons, Patrik
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2021-04-14T18:26:57Z
dc.date.available2021-04-14T18:26:57Z
dc.date.issued1997 
dc.format.extent49 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/105707
dc.identifier.urnURN:NBN:fi:aalto-202104144997
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordstable model semanticsfi
dc.subject.keywordlogic programmingfi
dc.subject.keywordnonmonotonic reasoningfi
dc.subject.keywordautomatic theorem provingfi
dc.titleTowards Constraint Satisfaction through Logic Programs and the Stable Model Semanticsen
dc.titleLogiikkaohjelmien stabiilien mallien semantiikkaan perustuva rajoiteohjelmointifi
dc.type.okmG3 Lisensiaatintutkimus 
dc.type.ontasotLicentiate thesisen
dc.type.ontasotLisensiaatintyöfi
local.aalto.digiauthask
local.aalto.digifolderAalto_38900
local.aalto.idinssi12516
local.aalto.openaccessno

Files

Collections

[lic] Teknillinen korkeakoulu / TKK