Concepedia

Tomi Janhunen

TJ

25

Publications

1K

Citations

16

H-Index

1999

Active since

Affiliations

Aalto University(Current)

Helsinki Institute of Physics

University of Helsinki

University of Potsdam

Helsinki Institute for Information Technology

Tomi Janhunen is an author at Aalto University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsAnswer Set ProgrammingFormal VerificationProgram AnalysisLogic ProgrammingVerificationSoftware Analysis

Publications per year

1999–2020

25

Publications

25

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska · National Conference on Artificial Intelligence · 2016 · 142 citations

Artificial Intelligence, Ai Architecture, Engineering +7

Unfolding partiality and disjunctions in stable model semantics

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel et al. · ACM Transactions on Computational Logic · 2006 · 141 citations

Engineering, Verification, Well-founded Semantics +21

Some (in)translatability results for normal logic programs and propositional theories

Tomi Janhunen · Journal of Applied Non-Classical Logics · 2006 · 107 citations

Engineering, Classical Logic, Computational Complexity +16

Modular Equivalence for Normal Logic Programs

Emilia Oikarinen, Tomi Janhunen · European Conference on Artificial Intelligence · 2006 · 71 citations

Applied Logic, Computational Logic, Engineering +14

Answer set programming via mixed integer programming

Guohua Liu, Tomi Janhunen, Ilkka Niemeiä · 2012 · 71 citations

Rows per page

1–5 of 25