The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Christian J. Muise Christian Muise ( http://dblp.L3S.de/Authors/Christian_J._Muise )

  Author page on DBLP  Author page in RDF  Community of Christian J. Muise in ASPL-2

Publication years (Num. hits)
2008-2014 (17) 2015-2016 (16) 2017-2019 (18)
Publication types (Num. hits)
article(8) book(1) inproceedings(42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Adi Botea, Christian Muise, Shubham Agarwal 0002, Oznur Alkan, Ondrej Bajgar, Elizabeth Daly, Akihiro Kishimoto, Luis A. Lastras, Radu Marinescu 0002, Josef Ondrej, Pablo Pedemonte, Miroslav Vodolán Generating Dialogue Agents via Automated Planning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sarath Sreedharan, Tathagata Chakraborti, Christian Muise, Subbarao Kambhampati Planning with Explanatory Actions: A Joint Approach to Plan Explicability and Explanations in Human-Aware Planning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Christian Muise, Tathagata Chakraborti, Shubham Agarwal 0002, Ondrej Bajgar, Arunima Chaudhary, Luis Alfonso Lastras-Montaño, Josef Ondrej, Miroslav Vodolán, Charlie Wiecha Planning for Goal-Oriented Dialogue Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise An Introduction to the Planning Domain Definition Language Search on Bibsonomy 2019   DOI  RDF
1Maja Vukovic, Scott N. Gerard, Rick Hull, Michael Katz 0001, Laura Shwartz, Shirin Sohrabi, Christian Muise, John J. Rofrano, Anup K. Kalia, Jinho Hwang, Yabin Dang, Jie Ma, Zhuoxuan Jiang Towards Automated Planning for Enterprise Services: Opportunities and Challenges. Search on Bibsonomy ICSOC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tathagata Chakraborti, Christian Muise, Shubham Agarwal 0002, Luis A. Lastras MAi: An Intelligent Model Acquisition Interface for Interactive Specification of Dialogue Agents. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Serena Booth, Christian Muise, Julie Shah Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joseph Kim, Christian Muise, Ankit Shah, Shubham Agarwal 0002, Julie Shah Bayesian Inference of Linear Temporal Logic Specifications for Contrastive Explanations. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith Synthesizing Controllers: On the Correspondence Between LTL Synthesis and Non-deterministic Planning. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jingkai Chen, Cheng Fang, Christian J. Muise, Howard Shrobe, Brian C. Williams, Peng Yu RADMAX: Risk and Deadline Aware Planning for Maximum Utility. Search on Bibsonomy AAAI Workshops The full citation details ... 2018 DBLP  BibTeX  RDF
1Alberto Camacho, Jorge A. Baier, Christian J. Muise, Sheila A. McIlraith Finite LTL Synthesis as Planning. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Nikhil Bhargava, Christian J. Muise, Tiago Vaquero, Brian Charles Williams Managing Communication Costs under Temporal Uncertainty. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith SynKit: LTL Synthesis as a Service. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nikhil Bhargava, Christian J. Muise, Brian Charles Williams Variable-Delay Controllability. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith LTL Realizability via Safety and Reachability Games. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Muise Characterizing and Computing All Delete-Relaxed Dead-ends. Search on Bibsonomy Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith Optimal Partial-Order Plan Relaxation via MaxSAT. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Liz Sonenberg, Tim Miller 0001, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum Social planning for social HRI. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim Miller 0001, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg 'Knowing Whether' in Proper Epistemic Knowledge Bases. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto Camacho, Christian J. Muise, Sheila A. McIlraith From FOND to Robust Probabilistic Planning: Computing Compact Policies that Bypass Avoidable Deadends. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Nir Lipovetzky, Christian J. Muise, Hector Geffner Traps, Invariants, and Dead-Ends. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version). Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim Miller 0001, Christian J. Muise Belief Update for Proper Epistemic Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Brent Mombourquette, Christian J. Muise, Sheila A. McIlraith Belief State Estimation for Planning via Approximate Logical Filtering and Smoothing. Search on Bibsonomy KnowProS@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian J. Muise, Paolo Felli, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Planning for a Single Agent in a Multi-Agent Environment Using FOND. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey Projected Model Counting. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey Stable Model Counting and Its Application in Probabilistic Logic Programming. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey #∃SAT: Projected Model Counting. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paolo Felli, Tim Miller 0001, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg Computing Social Behaviours Using Agent Models. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian J. Muise, Tim Miller 0001, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Towards Team Formation via Automated Planning. Search on Bibsonomy COIN@AAMAS/IJCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey Stable Model Counting and Its Application in Probabilistic Logic Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Christian J. Muise, Vaishak Belle, Sheila A. McIlraith Computing Contingent Plans via Fully Observable Non-Deterministic Planning. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Paolo Felli, Tim Miller 0001, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. Search on Bibsonomy ICSR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, Vaishak Belle Non-Deterministic Planning With Conditional Effects. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Vladimir Klebanov, Norbert Manthey, Christian J. Muise SAT-Based Analysis and Quantification of Information Flow in Programs. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith Flexible Execution of Partial Order Plans With Temporal Constraints. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise On supervising agents in situation-determined ConGolog. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu Dsharp: Fast d-DNNF Compilation with sharpSAT. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian J. Muise Generalizing and Executing Plans. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christian J. Muise Generalizing and Executing Plans. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck Optimally Relaxing Partial-Order Plans with MaxSAT. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck Improved Non-Deterministic Planning by Exploiting State Relevance. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck Monitoring the Execution of Partial-Order Plans via Regression. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu Fast d-DNNF Compilation with sharpSAT. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer Exploiting N-Gram Analysis to Predict Operator Sequences. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license