Peter Stuckey
Identifiers
- name variant Peter Stuckey 0.60 · backfill
Papers (3)
- Projected Model Counting cs.AI · 2015 · author #4
- Stable Model Counting and Its Application in Probabilistic Logic Programming cs.AI · 2014 · author #4
- Lazy Model Expansion: Interleaving Grounding with Search cs.LO · 2014 · author #3
Mentions
- 1507.07648 #4 · backfill · confidence 0.70 Peter Stuckey
- 1411.5410 #4 · backfill · confidence 0.70 Peter Stuckey
- 1402.6889 #3 · backfill · confidence 0.70 Peter Stuckey
Frequent Coauthors
- Christian Muise 2 shared papers
- Geoffrey Chu 2 shared papers
- Rehan Abdul Aziz 2 shared papers
- Broes De Cat 1 shared papers
- Marc Denecker 1 shared papers
- Maurice Bruynooghe 1 shared papers