Weakened Negative Introspection in Autoepistemic Reasoning

dc.contributorAalto-yliopistofi
dc.contributorAalto Universityen
dc.contributor.advisorNiemelä, Ilkka
dc.contributor.authorJanhunen, Tomi
dc.contributor.departmentTietotekniikan osastofi
dc.contributor.schoolTeknillinen korkeakoulufi
dc.contributor.schoolHelsinki University of Technologyen
dc.contributor.supervisorOjala, Leo
dc.date.accessioned2020-12-03T16:43:28Z
dc.date.available2020-12-03T16:43:28Z
dc.date.issued1993
dc.format.extentviii + 68
dc.identifier.urihttps://aaltodoc.aalto.fi/handle/123456789/81793
dc.identifier.urnURN:NBN:fi:aalto-2020120340631
dc.language.isoenen
dc.programme.majorDigitaalitekniikkafi
dc.programme.mcodeTik-79fi
dc.rights.accesslevelclosedAccess
dc.subject.keywordnonmonotonic reasoningen
dc.subject.keywordepämonotoninen päättelyfi
dc.subject.keywordautoepistemic logicen
dc.subject.keywordautoepisteeminen logiikkafi
dc.subject.keywordweakened negative introspectionen
dc.subject.keywordheikennetty negatiivinen itsetutkiskelufi
dc.subject.keyworddecidabilityen
dc.subject.keywordratkeavuusfi
dc.titleWeakened Negative Introspection in Autoepistemic Reasoningen
dc.titleHeikennetty negatiivinen itsetutkiskelu autoepisteemisessä 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_73145
local.aalto.idinssi8578
local.aalto.inssilocationP1 Ark T80
local.aalto.openaccessno

Files