public-rif-wg@w3.org from December 2007 by date

Friday, 28 December 2007

• Re: [BLD] Frame without slot/value pair? Michael Kifer
• [BLD] Frame without slot/value pair? Christian de Sainte Marie

Thursday, 20 December 2007

• model theory of error Michael Kifer
• European Master in Computational Logic - scholarships for non-European and European students Enrico Franconi

Wednesday, 19 December 2007

• Re: Another try at subclass Axel Polleres
• Re: Another try at subclass Dave Reynolds
• Re: Another try at subclass Chris Welty

Tuesday, 18 December 2007

• Re: Another try at subclass Michael Kifer
• version 0 of minutes Sandro Hawke
• RE: [Admin] Agenda for RIF telecon December 18 Paul Vincent
• Re: proposal for resolving deadlock Christian de Sainte Marie
• Re: Another try at subclass Christian de Sainte Marie
• Re: [Admin] Agenda for RIF telecon December 18 Christian de Sainte Marie
• RE: [Admin] Agenda for RIF telecon December 18 Paul Vincent
• [Admin] draft minutes of telecon 2007-12-11 Mike Dean

Monday, 17 December 2007

• Re: proposal for resolving deadlock Michael Kifer
• Re: proposal for resolving deadlock Dave Reynolds

Sunday, 16 December 2007

• CFP: Interdisciplinary Ontology Conference, Tokyo, February 26-27, 2008 Obrst, Leo J.

Friday, 14 December 2007

• Re: Another try at subclass Michael Kifer
• Re: proposal for resolving deadlock Michael Kifer
• [Admin] Agenda for RIF telecon December 18 Christian de Sainte Marie
• Re: Another try at subclass Christian de Sainte Marie
• Re: proposal for resolving deadlock Christian de Sainte Marie

Thursday, 13 December 2007

• Re: proposal for resolving deadlock Axel Polleres
• Re: Another try at subclass Axel Polleres
• Re: Another try at subclass Chris Welty
• Re: proposal for resolving deadlock Michael Kifer
• Re: Another try at subclass Axel Polleres
• Re: Another try at subclass Dave Reynolds
• Re: Another try at subclass Axel Polleres
• Re: Another try at subclass [Issue-43] Chris Welty
• Re: proposal for resolving deadlock Dave Reynolds
• Re: Another try at subclass Igor Mozetic
• Re: Another try at subclass Dave Reynolds
• Re: Another try at subclass Michael Kifer
• Re: proposal for resolving deadlock Michael Kifer
• Another try at subclass Chris Welty
• Re: proposal for resolving deadlock Chris Welty

Wednesday, 12 December 2007

• RIF telecon schedule Chris Welty

Tuesday, 11 December 2007

• proposal for resolving deadlock Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Axel Polleres
• Re: ACTION-384 completed: Post a use case for Higher-order builtins Axel Polleres
• Re: ACTION-384 completed: Post a use case for Higher-order builtins Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: ACTION-384 completed: Post a use case for Higher-order builtins Paula-Lavinia Patranjan
• Re: ACTION-384 completed: Post a use case for Higher-order builtins Chris Welty
• Re: ACTION-384 completed: Post a use case for Higher-order builtins Jos de Bruijn
• Re: [TED] ACTION-385 DONE (Start document for the list of builtins) Paula-Lavinia Patranjan
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Igor Mozetic
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Dave Reynolds
• Dec 4 Telecon Minutes Adrian Giurca
• Re: ACTION-384 completed: Post a use case for Higher-order builtins Jos de Bruijn
• F2f9 - get your vote in before the telecon Chris Welty
• [TED] Lists Edited Boley, Harold

Monday, 10 December 2007

• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Jos de Bruijn
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: ACTION -393 completet Jos de Bruijn
• Re: Response_to_PPS1 Jos de Bruijn
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Jos de Bruijn
• Re: ACTION -393 completet Jos de Bruijn
• Re: [TED] ACTION-385 DONE (Start document for the list of builtins) Jos de Bruijn

Sunday, 9 December 2007

• [Admin] Agenda for RIF telecon December 11 Christian de Sainte Marie
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• RE: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Paul Vincent

Friday, 7 December 2007

• rif f2f9 location survey Sandro Hawke
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• RE: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Paul Vincent
• Re: RIF XML Syntax and translators Adrian Giurca
• Re: RIF XML Syntax and translators Adrian Giurca
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Dave Reynolds
• RE: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Paul Vincent
• RE: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Paul Vincent
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Dave Reynolds
• Re: Reminder: pending discussion "membership" (pending discussion on ACTION-350) Michael Kifer
• Re: RIF XML Syntax and translators David Z. Hirtle
• Reminder: pending discussion "membership" (pending discussion on ACTION-350) Axel Polleres

Thursday, 6 December 2007

• ACTION-384 completed: Post a use case for Higher-order builtins Axel Polleres
• ACTION -393 completet (was: Re: (ISSUE-40) Builtins and logic functions in BLD) Axel Polleres
• Re: (ISSUE-40) Builtins and logic functions in BLD Axel Polleres

Wednesday, 5 December 2007

• Re: RIF XML Syntax and translators Adrian Giurca
• Re: RIF XML Syntax and translators David Z. Hirtle
• Response_to_PPS1 Chris Welty

Tuesday, 4 December 2007

• Re: [F2F9] DERI information is updated on the Web page - ACTION 391 completed Axel Polleres
• [F2F9] DERI information is updated on the Web page - ACTION 391 completed Axel Polleres
• Re: Negation and Disjunction in RIF Axel Polleres
• RIF XML Syntax and translators Adrian Giurca
• Re: [Admin] Agenda for RIF telecon December 4 Dave Reynolds
• Re: [Admin] Agenda for RIF telecon December 4 Christian de Sainte Marie
• Re: [Admin] Agenda for RIF telecon December 4 Dave Reynolds
• Re: [Admin] Agenda for RIF telecon December 4 [ERRATUM} Christian de Sainte Marie
• [Admin] Revised minutes for telecon of 27 November 2007 Leora Morgenstern
• Re: [Admin] Agenda for RIF telecon 4 December [ERRATUM] Christian de Sainte Marie
• [Admin] Agenda for RIF telecon 4 December Chris Welty

Monday, 3 December 2007

• Re: (ISSUE-40) Builtins and logic functions in BLD Michael Kifer
• [Admin] Agenda for RIF telecon December 4 Christian de Sainte Marie
• Re: (ISSUE-40) Builtins and logic functions in BLD Christian de Sainte Marie

Last message date: Friday, 28 December 2007 18:55:37 UTC