Concepedia

Patrik Simons

PS

7

Publications

1.6K

Citations

7

H-Index

1996

Active since

Affiliations

University of Würzburg(Current)

Patrik Simons is an author at University of Würzburg specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsLogic ProgrammingAnswer Set ProgrammingSemantic WebVerification

Publications per year

1996–2006

7

Publications

7

Extending and implementing the stable model semantics

Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 843 citations

Engineering, Operational Semantics, Automated Reasoning +7

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

Ilkka Niemelä, Patrik Simons · International Conference on Logic Programming · 1997 · 261 citations

Declarative Programming, Engineering, Operational Semantics +11

Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä, Patrik Simons · 1996 · 176 citations

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

Smodels: A System for Answer Set Programming

Ilkka Niemelä, Patrik Simons, Tommi Syrjänen · ArXiv.org · 2000 · 95 citations · Full text

Applied Logic, Engineering, Software Engineering +19

Rows per page

1–5 of 7