Stratification and Tractability in Nonmonotonic Reasoning

Simple item page
dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorNiemelä, Ilkka 
dc.contributor.authorRintanen, Jussi
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo 
dc.date.accessioned2020-12-03T16:23:31Z
dc.date.available2020-12-03T16:23:31Z
dc.date.issued1992 
dc.format.extent66 
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/81408
dc.identifier.urnURN:NBN:fi:aalto-2020120340246
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordnonmonotonic reasoningen
dc.subject.keywordautoepistemic logicen
dc.subject.keywordtractabilityen
dc.subject.keywordstratificationen
dc.titleStratification and Tractability in Nonmonotonic Reasoningen
dc.titleKerrostuneisuus ja laskennallinen vaativuus epämonotonisessa päättelyssäfi
dc.type.okmG2 Pro gradu, diplomityö 
dc.type.ontasotMaster's thesisen
dc.type.ontasotPro gradu -tutkielmafi
dc.type.publicationmasterThesis 
local.aalto.digiauthask
local.aalto.digifolderAalto_73146
local.aalto.idinssi8177
local.aalto.openaccessno

Files

Collections

[dipl] Teknillinen korkeakoulu / TKK