1<!DOCTYPE html> 2<html lang="en"> 3 <head> 4 <meta charset="utf-8"> 5 <meta name="viewport" content="width=device-width, initial-scale=1.0"> 6 <meta name="description" content="Personal website of Dr. Christian Muise."> 7 <meta name="author" content="Floating Tree"> 8 <link rel="shortcut icon" href="images/christian_icon.png"> 9 <link href='https://fonts.googleapis.com/css?family=Roboto:400,500,900,400italic|Roboto+Slab:400,300,700' rel='stylesheet' type='text/css'> 10 <title>Christian Muise</title> 11 <!-- Bootstrap core CSS --> 12 <link href="css/bootstrap.css" rel="stylesheet"> 13 <!-- Custom styles for this template --> 14 <link href="css/k-style.css" rel="stylesheet"> 15 <!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries --> 16 <!--[if lt IE 9]> 17
17<script src="../../assets/js/html5shiv.js"></script>
17 18
18<script src="../../assets/js/respond.min.js"></script>
18 19 <![endif]--> 20 </head> 21 22 <body> 23 <div class="navbar navbar-default navbar-fixed-top"> 24 25 <div class="container"> 26 27 <div class="navbar-header"> 28 <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse"> 29 <span class="icon-bar"></span> 30 <span class="icon-bar"></span> 31 <span class="icon-bar"></span> 32 </button> 33 <a class="navbar-brand" href="index.html">haz.ca</a> 34 </div> 35 <div class="navbar-collapse collapse"> 36 <ul class="nav navbar-nav"> 37 <li><a href="about.html">About</a></li> 38 <li><a href="academic-publications.html">Publications</a></li> 39 <li><a href="research.html">Research</a></li> 40 <li><a href="code.html">Code</a></li> 41 <li><a href="cv.html">Curriculum Vitae</a></li> 42 </ul> 43 44<h3 class="creds"><strong>Christian Muise</strong><br /> 45Assistant Professor<br /> <a href="http://www.cs.queensu.ca/">Queen's University</a></h3> 46 47 </div><!--/.nav-collapse --> 48 49 </div> 50 51 </div> 52 53 <div class="container"> 54 55 <div class="jumbotron ktm-projects"> 56 57 <div class="col-md-12"> 58 59 <h1>Project Code</h1> 60 61 <div class="col-md-12 left-col"> 62 63 <h2 class="cv-heading">Academic Projects</h2> 64 65 <hr/> 66 67 </div> 68 69 <div class="col-md-9 left-col"> 70 71 <h2>Planning.Domains</h2> 72 73 <p>The <a href="http://planning.domains/">Planning.Domains</a> initiative includes a collection of services and repositories meant to showcase the work of planning researchers, and to aid in the development of further innovations in the field. There are three primary services offered at present as part of PD: (1) an API for programmatic access to the largest repository of planning domains publicly available, and the set of common properties associated with each problem; (2) a solver-in-the-cloud service that allows planning problems to be solved remotely; and (3) a fully featured editor for planning problems that provides interactive development functionality and in-depth analysis of planning encodings.</p> 74 75 </div> 76 77 <div class="col-md-3"> 78 79 <ul> 80 <li><a href="http://api.planning.domains/"><span class="glyphicon glyphicon-globe"></span>API</a></li> 81 <li><a href="http://solver.planning.domains/"><span class="glyphicon glyphicon-globe"></span>Solver</a></li> 82 <li><a href="http://editor.planning.domains/"><span class="glyphicon glyphicon-globe"></span>Editor</a></li> 83 <li><a href="https://github.com/ai-planning"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 84 </ul> 85 86 </div> 87 88 <div class="col-md-9 left-col"> 89 90 <h2>Hattari</h2> 91 92 <p>To test the research into epistemic reasoning, we modelled the Hattari board game as an online application. 93 The game is an excellent source for reasoning about nested belief, because there are elements of common knowledge, 94 asymmetric belief, and even deception.</p> 95 96 </div> 97 98 <div class="col-md-3"> 99 100 <ul> 101 <li><a href="http://hattari.haz.ca/"><span class="glyphicon glyphicon-globe"></span>Demo</a></li> 102 <li><a href="https://bitbucket.org/jekegren/hattari-project"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 103 </ul> 104 105 </div> 106 107 <div class="col-md-9 left-col"> 108 109 <h2>MEP Planning Demo</h2> 110 111 <p>I created <a href="http://pdkb.haz.ca/">this demo site</a> to showcase 112 some aspects of the research into multi-agent epistemic planning (MEP). The work is also 113 available for use as an <a href="https://github.com/qumulab/pdkb-planning">open 114 source library</a> capable of converting MEP problems into classical planning 115 problems. Another project <a href="https://github.com/qumulab/teamwork-via-collective-intention">
116 here</a> builds on the MEP framework to model teamwork formation.</p> 117 118 </div> 119 120 <div class="col-md-3"> 121 122 <ul> 123 <li><a href="https://github.com/qumulab/pdkb-planning"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 124 <li><a href="http://pdkb.haz.ca/"><span class="glyphicon glyphicon-globe"></span>Demo</a></li> 125 </ul> 126 127 </div> 128 129 <div class="col-md-9 left-col"> 130 131 <h2>PRP: Planner for Relevant Policies</h2> 132 133 <p>This project started as a heavily modified version of <a href="http://fast-downward.org/">Fast Downward</a> 134 that was capable of solving FOND planning problems. It has since gone through a number of iterations and versions 135 that improved the efficiency and expressiveness of the problems that it can solve. Currently, PRP remains the most 136 efficient non-deterministic planner for FOND problems, and extensions to PRP are maintained that allow it to solve 137 problems with <a href="https://github.com/qumulab/planner-for-relevant-policies/wiki/Prob-PRP">probabilistic action outcomes</a>, 138 <a href="https://github.com/qumulab/planner-for-relevant-policies/wiki/PO-PRP">partial observability</a>, and 139 <a href="https://github.com/qumulab/planner-for-relevant-policies/wiki/MA-PRP">multi-agent settings</a>. 140 </p> 141 142 </div> 143 144 <div class="col-md-3"> 145 146 <ul> 147 <li><a href="https://github.com/qumulab/planner-for-relevant-policies"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 148 </ul> 149 150 </div> 151 152 <div class="col-md-9 left-col"> 153 154 <h2>KR Toolkit: Knowledge Representation AI Toolkit</h2> 155 156 <p>This project is a collection of python libraries for 157 research into knowledge representation and reasoning. They include 158 functionality for SAT-based systems, automated planning, and 159 general experimental frameworks (for running multiple trials 160 on a multi-core machine). The project is under continuous, 161 albeit slow, development as I uncover new problems that do 162 not have a solution.</p> 163 164 </div> 165 <div class="col-md-3"> 166 167 <ul> 168 <li><a href="https://github.com/qumulab/krtoolkit"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 169 </ul> 170 171 </div> 172 173 <div class="col-md-9 left-col"> 174 175 <h2>LAPKT: Lightweight Automated Planning ToolKiT</h2> 176 177 <p>LAPKT stands for the <strong>L</strong>ightweight <strong>A</strong>utomated 178 <strong>P</strong>lanning Tool<strong>K</strong>i<strong>T</strong>. It aims 179 to make your life easier if your purpose is to create, use or extend basic to advanced Automated 180 Planners. It is an open-source Toolkit written in C++ and Python with simple interfaces that 181 give you complete flexibility by decoupling parsers from problem representations and algorithms. 182 It has been used successfully in embedded systems, webservices, compilations, and replanning, 183 and it contains some of the high-performance planners from the 2014 International Planning 184 Competition.</p> 185 186 </div> 187 188 <div class="col-md-3"> 189 190 <ul> 191 <li><a href="http://lapkt.org/index.php?title=Main_Page"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 192 </ul> 193 194 </div> 195 196 <div class="col-md-9 left-col"> 197 198 <h2>DSHARP: CNF to d-DNNF Compiler</h2> 199 200 <p>DSHARP is an open source CNF-to-dDNNF compiler 201 based on sharpSAT. Similar to the c2d software, DSHARP takes a boolean theory 202 in conjunctive normal form as input, and compiles it into deterministic decomposable 203 negation normal form.</p> 204 205 </div> 206 207 <div class="col-md-3"> 208 209 <ul> 210 <li><a href="https://github.com/qumulab/dsharp"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 211 </ul> 212 </div> 213 214 <div class="col-md-9 left-col"> 215 216 <h2>
216POPGEN: Optimally Relaxing Partial-Order Plans with MaxSAT</h2> 217 218 <p>The POPGEN project encodes an existing plan as either a Partial Weighted 219 MaxSAT problem or Mixed Integer Program. The solutions correspond to a valid 220 partial-order plan, and the optimization criteria focuses on minimizing the 221 number of action orderings in the transitive closure. Additionally, the 222 encoding supports the removal of redundant actions from the plan.</p> 223 224 </div> 225 226 <div class="col-md-3"> 227 228 <ul> 229 <li><a href="https://github.com/qumulab/popgen/"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 230 </ul> 231 </div> 232 233 <div class="col-md-12 left-col"> 234 235 <h2 class="cv-heading">Data Projects</h2> 236 237 <hr/> 238 239 </div> 240 241 <div class="col-md-9 left-col"> 242 243 <h2>Tabs Toronto</h2> 244 245 <p>The Transparent Accessible Bulletin System (TABS) was created 246 as a <a href="http://www.rhokto.ca/">Random Hacks of Kindness</a> (RHoK) project lead by the 247 <a href="http://publicspaces.ca/">Toronto Public Spaces Initiative</a> (TPSI). The site allows users to search 248 for topics within city council agenda items, and register for email 249 alerts when any new items are added. This includes both past 250 meeting minutes and future planned agenda items. The most 251 interesting technical hurdle of the project was essentially to 252 turn the city's existing search functionality into an API -- 253 while searching agenda items was already possible, accessing 254 that search pragmatically was not. TABS won top spot at the Toronto 255 RHoK session in December, 2012, and remains an ongoing TPSI initiative.</p> 256 257 </div> 258 259 <div class="col-md-3"> 260 261 <ul> 262 <li><a href="http://www.tabstoronto.com/"><span class="glyphicon glyphicon-globe"></span>tabstoronto.com</a></li> 263 </ul> 264 265 </div> 266 267 <div class="col-md-9 left-col"> 268 269 <h2>Wardly - TO</h2> 270 271 <p><a href="https://github.com/haz/wardly-to">Wardly-TO</a> allows users to 272 embed a ward map of the city of Toronto into any html site. It is possible to colour 273 specific wards with css, include only a subset of the wards, and scale the map to 274 (almost) any desired size. All of this can be done with basic HTML and CSS and 275 does not rely on javascript or flash. Each ward is represented as a letter in a 276 specially designed font, and using the right combination of letters gives users 277 the entire ward map. With 44 wards, specifying each one (as an item in an 278 unordered list) can become a little cumbersome. To fix that, I have also included 279 javascript functionality that allows users to create a map quickly while specifying 280 the (css) class and colour for groups of wards. This makes elegant interaction 281 with jquery possible, as groups of wards can be addressed simultaneously using 282 their class. Feel free to try Wardly-TO, and <a href="https://github.com/haz/wardly-to/issues">let me know</a> if you have any 283 suggestions or bugs to report.</p> 284 285 </div> 286 287 <div class="col-md-3"> 288 289 <ul> 290 <li><a href="https://github.com/haz/wardly-to"><span class="glyphicon glyphicon-wrench"></span>Code</a></li> 291 </ul> 292 293 </div> 294 295 <div class="col-md-9 left-col"> 296 297 <h2>TTC Pass</h2> 298 299 <p>The idea behind <a href="http://youtu.be/_xJATLTHmPs">TTC Pass</a> is to allow the citizens of Toronto 300 collaboratively to edit a data set that maintains the availability 301 of various transit passes around the city. It was pre-populated 302 with a list of locations provided by the TTC, and the data set 303 is of course available to the public. The project was entered 304 into the <a href="https://developers.google.com/places/">Google Places API Developer Challenge</a>, and it ended 305 up finishing in one of the <a href="http://googleplacesapichallenge.blogspot.ca/2013/02/google-places-api-developer-challenge.html"> 306 top spots</a>. Eventually, the hope is 307 to abstract away the core of the app for, making collaborative 308 editing of geo data sets far less painful. 309The website has subsequently been taken down and the domain name released.</p> 310 311 </div> 312 313 <div class="col-md-3"> 314 315 <ul> 316 <li><a href="http://youtu.be/_xJATLTHmPs"><span class="glyphicon glyphicon-globe"></span>ttcpass.com</a> (demo)</li> 317 </ul> 318 319 </div> 320 321 <div class="col-md-9 left-col"> 322 323 <h2>The City 4 Me</h2> 324 325 <p>Created as an entry to the <a href="http://buzzdata.com/">BuzzData</a> and EIU Best City 326 Contest, thecity4.me addresses the question 327 of what city (out of a list of 100) is the most livable. Rather than
327imposing my own weighting on the 328 factors, and trying to argue for it, I created the site to solicit the preferences of each visitor. For example, 329 some may think that high-quality sporting events are more important than high standards of available 330 high school education. Additionally, all of the preference data is aggregated for country and world-wide 331 statistics, and then released back as a public data set. The entry scored one of the three honourable 332 mentions as runners up to the top position. More behind-the-scenes information can be found through this 333 series of <a href="http://haz-tech.blogspot.ca/search/label/thecity4me">blog posts</a>. 334The website has subsequently been taken down and the domain name released.</p> 335 336 </div> 337 338 <div class="col-md-3"> 339 340 <ul> 341 <li><span class="glyphicon glyphicon-globe"></span>thecity4.me (offline)</li> 342 </ul> 343 344 </div> 345 346 </div> 347 348 </div> 349 350 <div class="footer"> 351 <p>© 2020 Prof. Christian Muise</p> 352 </div> 353 354 </div> <!-- /container --> 355 356
356<script src="https://www.google-analytics.com/urchin.js" type="text/javascript"> 357 </script>
357 358
358<script type="text/javascript"> 359 _uacct = "UA-1817171-1"; 360 urchinTracker(); 361 </script>
361 362 363 <!-- Bootstrap core JavaScript 364 ================================================== --> 365 <!-- Placed at the end of the document so the pages load faster --> 366
366<script src="js/jquery.js"></script>
366 367
367<script src="js/bootstrap.min.js"></script>
367 368 </body> 369</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.