National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Niemelä, Ilkka
URI:
http://urn.fi/URN:NBN:fi:au:pn:000080685
name
Niemelä, Ilkka
Authored works
Autoepistemic logic as a unified basis for nonmonotonic reasoning
Automaatiojärjestelmien käyttövarmuusanalyysi
Esitutkimus epämonotonisesta logiikasta
Helsinki logic machine : a system for logical expertise
Works contributed to
Annual report : For the academic year 1982-1983
Formalizing configuration knowledge using rules with choices
Leksa notes in computer science : festschrift in honour of professor Leo Ojala
Proceedings of the HeCSE Workshop on Emerging Technologies in Distributed Systems
Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
Risk measures in living probabilistic safety assessment
Works about Niemelä, Ilkka
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD