PageSourceSearch

https://haz.ca/code.html

html haz.ca collected 2026-10-03 23:44:21 UTC 20,440 bytes, 369 lines download raw bytes

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>&copy; 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.