Christian Muise

Identifiers

• name variant Christian Muise 0.60 · backfill

Papers (5)

1. Generating Dialogue Agents via Automated Planning cs.AI · 2019 · author #2
2. Finite LTL Synthesis is EXPTIME-complete cs.LO · 2016 · author #3
3. Social planning for social HRI cs.RO · 2016 · author #5
4. Projected Model Counting cs.AI · 2015 · author #3
5. Stable Model Counting and Its Application in Probabilistic Logic Programming cs.AI · 2014 · author #3

Mentions

• 1507.07648 #3 · backfill · confidence 0.70 Christian Muise
• 1411.5410 #3 · backfill · confidence 0.70 Christian Muise

Frequent Coauthors

• Geoffrey Chu 2 shared papers
• Peter Stuckey 2 shared papers
• Rehan Abdul Aziz 2 shared papers
• Adi Botea 1 shared papers
• Adrian Pearce 1 shared papers
• Akihiro Kishimoto 1 shared papers
• Alberto Camacho 1 shared papers
• Elizabeth Daly 1 shared papers
• Frank Dignum 1 shared papers
• Jorge A. Baier 1 shared papers
• Josef Ondrej 1 shared papers
• Liz Sonenberg 1 shared papers
• Luis Lastras 1 shared papers
• Miroslav Vodolan 1 shared papers
• Ondrej Bajgar 1 shared papers
• Oznur Alkan 1 shared papers
• Pablo Pedemonte 1 shared papers
• Paolo Felli 1 shared papers
• Radu Marinescu 1 shared papers
• Sheila A. McIlraith 1 shared papers