IRC log of dig on 2008-03-27
Timestamps are in UTC.
- 00:05:03 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 00:47:30 [timbl]
- timbl has quit ()
- 01:18:56 [lkagal]
- lkagal has quit ()
- 01:19:18 [timbl]
- timbl (n=timbl@12.38.177.169) has joined #dig
- 01:24:41 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 01:43:16 [timbl]
- timbl has quit ()
- 02:09:37 [lkagal]
- lkagal has quit ()
- 02:13:48 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig
- 02:16:45 [timbl]
- timbl has quit (Client Quit)
- 02:45:56 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 03:46:50 [lkagal]
- lkagal has quit ()
- 04:03:01 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 04:07:31 [lkagal]
- lkagal has quit (Client Quit)
- 11:14:09 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 11:24:07 [lkagal]
- lkagal has quit ()
- 11:41:32 [Ralph]
- Ralph (n=swick@30-6-176.wireless.csail.mit.edu) has joined #dig
- 11:41:51 [Ralph]
- Ralph is now known as RalphS
- 12:08:38 [RalphS]
- RalphS has quit (Read error: 110 (Connection timed out))
- 12:12:32 [Ralph]
- Ralph (n=swick@30-6-176.wireless.csail.mit.edu) has joined #dig
- 12:13:32 [Ralph]
- Ralph is now known as RalphS
- 12:29:46 [timbl]
- timbl (n=timbl@30-5-160.wireless.csail.mit.edu) has joined #dig
- 13:32:58 [oshani]
- oshani (n=chatzill@SYDNEYPACIFIC-TWO-FIFTY-SEVEN.MIT.EDU) has joined #dig
- 13:54:36 [yosi_s]
- yosi_s (n=chatzill@static-71-243-122-114.bos.east.verizon.net) has joined #dig
- 14:51:10 [oshani]
- oshani has quit (Read error: 110 (Connection timed out))
- 14:51:22 [Ralph]
- Ralph (n=swick@30-6-176.wireless.csail.mit.edu) has joined #dig
- 14:51:49 [Ralph]
- Ralph has quit (Client Quit)
- 14:51:53 [RalphS]
- RalphS has quit ("bye for today")
- 14:52:36 [Ralph]
- Ralph (n=swick@30-6-176.wireless.csail.mit.edu) has joined #dig
- 14:52:51 [Ralph]
- Ralph is now known as RalphS
- 15:21:46 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 15:31:41 [oshani_]
- oshani_ (n=chatzill@30-6-141.wireless.csail.mit.edu) has joined #dig
- 15:34:43 [amy]
- amy (n=amy@30-7-171.wireless.csail.mit.edu) has joined #dig
- 15:44:15 [oshani]
- oshani has quit ()
- 15:44:51 [oshani_]
- oshani_ has quit ("ChatZilla 0.9.79 [Firefox 2.0.0.13/2008032515]")
- 15:55:56 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 15:57:57 [lkagal]
- lkagal (n=lkagal@30-7-180.wireless.csail.mit.edu) has joined #dig
- 15:59:34 [oshani]
- oshani has quit (Client Quit)
- 16:56:44 [lkagal]
- lkagal has quit ()
- 17:01:53 [lkagal]
- lkagal (n=lkagal@30-7-180.wireless.csail.mit.edu) has joined #dig
- 19:06:33 [kennyluck]
- kennyluck (n=kennyluc@31-34-37.wireless.csail.mit.edu) has joined #dig
- 19:41:25 [lkagal]
- lkagal has quit ()
- 20:20:54 [RalphS]
- RalphS has quit ("bye for today")
- 20:37:39 [kennyluck]
- timbl, I've got some business to do and I'm leaving. I'll see you tomorrow. Sorry for coming to the office so late today.
- 20:37:53 [kennyluck]
- kennyluck has left #dig
- 20:38:42 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 20:42:29 [timbl]
- ooops ... someone tell kenny that amy can be prevailed on fo a slot when i have meetings
- 20:44:44 [amy]
- i'll write to him w/ times available tomorrow
- 21:22:10 [oshani]
- oshani has quit ()
- 21:23:22 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 21:39:35 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 21:46:23 [oshani]
- oshani has quit ()
- 21:51:43 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 21:51:53 [lkagal]
- lkagal has quit ()
- 21:54:55 [timbl]
- timbl has quit ()
- 21:57:16 [lkagal]
- lkagal (n=lkagal@79.68.171.66.subscriber.vzavenue.net) has joined #dig
- 22:01:44 [oshani]
- oshani has quit ()
- 22:19:22 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 22:22:50 [oshani]
- oshani has quit (Client Quit)
- 22:25:20 [oshani]
- oshani (n=oshani@31-34-208.wireless.csail.mit.edu) has joined #dig
- 22:28:42 [lkagal]
- yosi_s, does the AIR python reasoner support "hidden" . It is used to prevent the deduction steps from appearing in the resulting explanation.
- 22:57:53 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig
- 23:27:56 [oshani]
- oshani has quit ()
- 23:30:46 [yosi_s]
- lkagal, are you still there?
- 23:55:27 [timbl]
- timbl has quit ()
- 23:58:13 [timbl]
- timbl (n=timbl@pool-72-93-213-130.bstnma.fios.verizon.net) has joined #dig