I. Niemela
Identifiers
No identifiers captured yet.
Papers (2)
- Logic programs with monotone abstract constraint atoms cs.AI · 2006 · author #2
- Unfolding Partiality and Disjunctions in Stable Model Semantics cs.AI · 2003 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- D. Seipel 1 shared papers
- J. You 1 shared papers
- M. Truszczynski] 1 shared papers
- P. Simons 1 shared papers
- T. Janhunen 1 shared papers
- V.W. Marek 1 shared papers