Patrik Simons
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1996–2000
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | KR | Unfolding Partiality and Disjunctions in Stable Model Semantics. | Tomi Janhunen, Ilkka Niemel, Patrik Simons, Jia-Huai You |
| 1999 | LPNMR | Stable Model Semantics of Weight Constraint Rules. | Ilkka Niemel, Patrik Simons, Timo Soininen |
| 1999 | LPNMR | Extending the Stable Model Semantics with More Expressive Rules. | Patrik Simons |
| 1997 | LPNMR | Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. | Ilkka Niemel, Patrik Simons |
| 1996 | ICLP | Efficient Implementation of the Well-founded and Stable Model Semantics. | Ilkka Niemel, Patrik Simons |