Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Christian Muise
Map detail
Christian Muise8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristian MuiseAChristian MuiseResearcherLearning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)WLearning Neural-Symboli...preprint / 2020Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller CaseWExplainability of Intel...preprint / 2020Stable Model Counting and Its Application in Probabilistic Logic ProgrammingWStable Model Counting a...preprint / 2014Projected Model CountingWProjected Model Countingpreprint / 2015Finite LTL Synthesis is EXPTIME-completeWFinite LTL Synthesis is...preprint / 2016Classical Planning in Deep Latent SpaceWClassical Planning in D...preprint / 2022Social planning for social HRIWSocial planning for soc...preprint / 2016
Person7 links

Christian Muise

Researcher