Weakened Negative Introspection in Autoepistemic Reasoning
| dc.contributor | Aalto-yliopisto | fi |
| dc.contributor | Aalto University | en |
| dc.contributor.advisor | Niemelä, Ilkka | |
| dc.contributor.author | Janhunen, Tomi | |
| dc.contributor.department | Tietotekniikan osasto | fi |
| dc.contributor.school | Teknillinen korkeakoulu | fi |
| dc.contributor.school | Helsinki University of Technology | en |
| dc.contributor.supervisor | Ojala, Leo | |
| dc.date.accessioned | 2020-12-03T16:43:28Z | |
| dc.date.available | 2020-12-03T16:43:28Z | |
| dc.date.issued | 1993 | |
| dc.format.extent | viii + 68 | |
| dc.identifier.uri | https://aaltodoc.aalto.fi/handle/123456789/81793 | |
| dc.identifier.urn | URN:NBN:fi:aalto-2020120340631 | |
| dc.language.iso | en | en |
| dc.programme.major | Digitaalitekniikka | fi |
| dc.programme.mcode | Tik-79 | fi |
| dc.rights.accesslevel | closedAccess | |
| dc.subject.keyword | nonmonotonic reasoning | en |
| dc.subject.keyword | epämonotoninen päättely | fi |
| dc.subject.keyword | autoepistemic logic | en |
| dc.subject.keyword | autoepisteeminen logiikka | fi |
| dc.subject.keyword | weakened negative introspection | en |
| dc.subject.keyword | heikennetty negatiivinen itsetutkiskelu | fi |
| dc.subject.keyword | decidability | en |
| dc.subject.keyword | ratkeavuus | fi |
| dc.title | Weakened Negative Introspection in Autoepistemic Reasoning | en |
| dc.title | Heikennetty negatiivinen itsetutkiskelu autoepisteemisessä päättelyssä | fi |
| dc.type.okm | G2 Pro gradu, diplomityö | |
| dc.type.ontasot | Master's thesis | en |
| dc.type.ontasot | Pro gradu -tutkielma | fi |
| dc.type.publication | masterThesis | |
| local.aalto.digiauth | ask | |
| local.aalto.digifolder | Aalto_73145 | |
| local.aalto.idinssi | 8578 | |
| local.aalto.inssilocation | P1 Ark T80 | |
| local.aalto.openaccess | no |