V.W. Marek

Identifiers

• name variant V.W. Marek 0.60 · backfill

Papers (4)

1. Index sets for Finite Normal Predicate Logic Programs cs.LO · 2013 · author #2
2. An Application of Proof-Theory in Answer Set Programming cs.AI · 2009 · author #1
3. Guarded resolution for answer set programming cs.AI · 2009 · author #1
4. Logic programs with monotone abstract constraint atoms cs.AI · 2006 · author #1

Mentions

• 1303.6555 #2 · backfill · confidence 0.70 V.W. Marek
• 0905.0197 #1 · backfill · confidence 0.70 V.W. Marek
• 0904.3953 #1 · backfill · confidence 0.70 V.W. Marek

Frequent Coauthors

• J.B. Remmel 3 shared papers
• D. Cenzer 1 shared papers
• I. Niemela 1 shared papers
• M. Truszczynski] 1 shared papers