(ISSUE-40) Builtins and logic functions in BLD
[Admin] Agenda for RIF telecon 4 December
[Admin] Agenda for RIF telecon 4 December [ERRATUM]
[Admin] Agenda for RIF telecon December 11
[Admin] Agenda for RIF telecon December 18
[Admin] Agenda for RIF telecon December 4
[Admin] Agenda for RIF telecon December 4 [ERRATUM}
[Admin] draft minutes of telecon 2007-12-11
[Admin] Revised minutes for telecon of 27 November 2007
[BLD] Frame without slot/value pair?
[F2F9] DERI information is updated on the Web page - ACTION 391 completed
[TED] ACTION-385 DONE (Start document for the list of builtins)
[TED] Lists Edited
ACTION -393 completet
ACTION -393 completet (was: Re: (ISSUE-40) Builtins and logic functions in BLD)
ACTION-384 completed: Post a use case for Higher-order builtins
Another try at subclass
- Axel Polleres (Wednesday, 19 December)
- Dave Reynolds (Wednesday, 19 December)
- Chris Welty (Wednesday, 19 December)
- Michael Kifer (Tuesday, 18 December)
- Christian de Sainte Marie (Tuesday, 18 December)
- Michael Kifer (Friday, 14 December)
- Christian de Sainte Marie (Friday, 14 December)
- Axel Polleres (Thursday, 13 December)
- Chris Welty (Thursday, 13 December)
- Axel Polleres (Thursday, 13 December)
- Dave Reynolds (Thursday, 13 December)
- Axel Polleres (Thursday, 13 December)
- Igor Mozetic (Thursday, 13 December)
- Dave Reynolds (Thursday, 13 December)
- Michael Kifer (Thursday, 13 December)
- Chris Welty (Thursday, 13 December)
Another try at subclass [Issue-43]
CFP: Interdisciplinary Ontology Conference, Tokyo, February 26-27, 2008
Dec 4 Telecon Minutes
European Master in Computational Logic - scholarships for non-European and European students
F2f9 - get your vote in before the telecon
model theory of error
Negation and Disjunction in RIF
proposal for resolving deadlock
- Christian de Sainte Marie (Tuesday, 18 December)
- Michael Kifer (Monday, 17 December)
- Dave Reynolds (Monday, 17 December)
- Michael Kifer (Friday, 14 December)
- Christian de Sainte Marie (Friday, 14 December)
- Axel Polleres (Thursday, 13 December)
- Michael Kifer (Thursday, 13 December)
- Dave Reynolds (Thursday, 13 December)
- Michael Kifer (Thursday, 13 December)
- Chris Welty (Thursday, 13 December)
- Michael Kifer (Tuesday, 11 December)
Reminder: pending discussion "membership" (pending discussion on ACTION-350)
- Michael Kifer (Tuesday, 11 December)
- Axel Polleres (Tuesday, 11 December)
- Michael Kifer (Tuesday, 11 December)
- Igor Mozetic (Tuesday, 11 December)
- Dave Reynolds (Tuesday, 11 December)
- Michael Kifer (Monday, 10 December)
- Jos de Bruijn (Monday, 10 December)
- Michael Kifer (Monday, 10 December)
- Michael Kifer (Monday, 10 December)
- Jos de Bruijn (Monday, 10 December)
- Michael Kifer (Sunday, 9 December)
- Paul Vincent (Sunday, 9 December)
- Michael Kifer (Friday, 7 December)
- Michael Kifer (Friday, 7 December)
- Michael Kifer (Friday, 7 December)
- Michael Kifer (Friday, 7 December)
- Paul Vincent (Friday, 7 December)
- Dave Reynolds (Friday, 7 December)
- Paul Vincent (Friday, 7 December)
- Paul Vincent (Friday, 7 December)
- Dave Reynolds (Friday, 7 December)
- Michael Kifer (Friday, 7 December)
- Axel Polleres (Friday, 7 December)
Response_to_PPS1
rif f2f9 location survey
RIF telecon schedule
RIF XML Syntax and translators
version 0 of minutes
Last message date: Friday, 28 December 2007 18:55:37 UTC