PS
Patrik Simons
16
Publications
2,316
Citations
11
h-index
11
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (8)
- Book Chapter (4)
- Preprint (3)
- Book (1)
Filter by Open Access Type
- Open Access (3)
- Closed Access (13)
Filter by Authors
- Patrik Simons (16)
- Ilkka Niemelä (10)
- Tomi Janhunen (2)
- Keijo Heljanko (2)
- Timo Soininen (2)
Filter by Topics
- Logic, Reasoning, and Knowledge (11)
- Logic, programming, and type systems (8)
- Formal Methods in Verification (6)
- Semantic Web and Ontologies (5)
- Multi-Agent Systems and Negotiation (2)