Patrik Simons
Impact in
- Artificial Intelligence top 1%
- Logic, Reasoning, and Knowledge
- Multi-Agent Systems and Negotiation
- Logic, programming, and type systems
- Semantic Web and Ontologies
- AI-based Problem Solving and Planning
- Bayesian Modeling and Causal Inference
-
- Advanced Algebra and Logic
- Formal Methods in Verification
Papers in
-
- Logic, Reasoning, and Knowledge 7
- Logic, programming, and type systems 5
- Semantic Web and Ontologies 3
- Multi-Agent Systems and Negotiation 1
- Bayesian Modeling and Causal Inference 1
-
- Formal Methods in Verification 3
- Co-authors
- Ilkka Niemelä (8 shared papers)Timo Soininen (2 shared papers)Tomi Janhunen (2 shared papers)Dietmar Seipel (1 shared paper)Jia-Huai You (1 shared paper)
- Journals
- Artificial Intelligence (1 paper)ACM Transactions on Computational Logic (1 paper)Lecture notes in computer science (3 papers)International Conference on Logic Programming (1 paper)
In The Last Decade
Patrik Simons
10 papers receiving 1.5k citations
Patrik Simons's Hit Papers
Peers
Comparison fields: 5 of 38
- Artificial Intelligence 1.6k
- Computational Theory and Mathematics 338
- Computer Networks and Communications 208
- Software 24
- Signal Processing 46
Countries citing papers authored by Patrik Simons
This map shows the geographic impact of Patrik Simons's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Patrik Simons with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Patrik Simons more than expected).
Fields of papers citing papers by Patrik Simons
This network shows the impact of papers produced by Patrik Simons. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Patrik Simons. The network helps show where Patrik Simons may publish in the future.
Co-authors
The 5 scholars most cited alongside Patrik Simons, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Extending and implementing the stable model semantics Hit paper breakdown → | 2002 | 652 |
| 2 | 1997 | 264 | |
| 3 | Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP | 1997 | 226 |
| 4 | Efficient Implementation of the Well-founded and Stable Model Semantics | 1996 | 140 |
| 5 | 2000 | 111 | |
| 6 | 2006 | 87 | |
| 7 | 2010 | 49 | |
| 8 | 1996 Joint International Conference and Symposium on Logic Programming | 1996 | 46 |
| 9 | 1999 | 42 | |
| 10 | GnT - Computing Disjunctive Stable Models, Version 2 | 2003 | 2 |
About Patrik Simons
Patrik Simons is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Management Information Systems and Information Systems, having authored 10 papers that have together received 1.6k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (7 papers), Logic, programming, and type systems (5 papers), Formal Methods in Verification (3 papers), Semantic Web and Ontologies (3 papers), Multi-Agent Systems and Negotiation (1 paper), Business Process Modeling and Analysis (1 paper), Advanced Database Systems and Queries (1 paper) and Bayesian Modeling and Causal Inference (1 paper). The work is most often cited by research in Artificial Intelligence (1.6k citations), Computational Theory and Mathematics (338 citations), Computer Networks and Communications (208 citations), Software (24 citations) and Signal Processing (46 citations). Patrik Simons has collaborated with scholars based in Finland, Germany and Canada. Frequent co-authors include Ilkka Niemelä, Timo Soininen, Tomi Janhunen, Dietmar Seipel and Jia-Huai You. Their work appears in journals such as Artificial Intelligence, ACM Transactions on Computational Logic, Lecture notes in computer science and International Conference on Logic Programming.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.