Patrik Simons

Identifiers

No identifiers captured yet.

Papers (3)

1. Extending and Implementing the Stable Model Semantics cs.LO · 2000 · author #1
2. Smodels: A System for Answer Set Programming cs.AI · 2000 · author #2
3. Extending the Stable Model Semantics with More Expressive Rules cs.LO · 1999 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ilkka Niemela 1 shared papers
• Tommi Syrjanen 1 shared papers