16:19:02 [lkagal]lkagal has quit (Quit: lkagal)
16:40:46 [mhausenblas]mhausenblas has quit (Quit: brb)
17:05:40 [lkagal]lkagal (~lkagal@30-6-179.wireless.csail.mit.edu) has joined #dig
17:27:04 [mcherian]mcherian (MC@31-34-215.wireless.csail.mit.edu) has joined #dig
17:44:16 [mhausenblas]mhausenblas (~mhausenbl@79.97.142.102) has joined #dig
18:54:38 [kennyluck]kennyluck has quit (Ping timeout: 260 seconds)
19:01:11 [kennyluck]kennyluck (~kennyluck@EM114-48-158-192.pool.e-mobile.ne.jp) has joined #dig
19:24:51 [mhausenblas]mhausenblas has quit (Quit: mhausenblas)
19:42:17 [lkagal]Pipian, I looked through the examples and they seem good. However, for trusting inferences I implied that we reason over justifications of rules that we can't run ourselves.
20:02:01 [mhausenblas]mhausenblas (~mhausenbl@79.97.142.102) has joined #dig
20:20:04 [Ralph]Ralph has quit (Quit: leaving ...)
20:29:21 [mcherian]mcherian has quit (Ping timeout: 265 seconds)
21:19:56 [mhausenblas]mhausenblas has quit (Quit: mhausenblas)
22:12:47 [timbl]timbl has quit (Quit: timbl)
22:13:46 [lkagal]lkagal has quit (Quit: lkagal)
22:38:39 [ericP]ericP has quit (*.net *.split)
22:41:22 [ericP]ericP (~ericP@ssh.w3.org) has joined #dig
22:41:35 [gbot51]gbot51 has quit (Excess Flood)
22:41:48 [gbot51]gbot51 (~gbot51@config.fsf.org) has joined #dig
22:43:49 [Pipian]Pipian has quit (Remote host closed the connection)
23:25:21 [amy]amy has quit (Quit: bye)