IN
Ilkka Niemelä
182
Publications
6,022
Citations
36
h-index
85
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (113)
- Book Chapter (51)
- Preprint (13)
- Book (5)
Filter by Open Access Type
- Open Access (34)
- Closed Access (148)
Filter by Authors
- Ilkka Niemelä (182)
- Tommi Junttila (35)
- Keijo Heljanko (26)
- Tomi Janhunen (24)
- Mirosław Truszczyński (17)
Filter by Topics
- Logic, Reasoning, and Knowledge (90)
- Logic, programming, and type systems (52)
- Formal Methods in Verification (51)
- Semantic Web and Ontologies (46)
- Multi-Agent Systems and Negotiation (39)