European Master in Computational Logic - many scholarships for all students
[RIF][BLD/Core] Simplified notion of conformant consumer
[Fwd: Re: IMPORTANT: PR Vote March 23]
[Admin] Minutes of 23 March 2010 Telecon
[SWC] status of proofs in appendix
[Test] Classification-inheritance_2
[Test] 6!=720 (not 120)
[Admin] Agenda for RIF telecon 23 March
- Re: [Admin] Agenda for RIF telecon 23 March
- Re: [Admin] Agenda for RIF telecon 23 March
- Re: [Admin] Agenda for RIF telecon 23 March
[Admin] Draft minutes from Mar 16, 2010 telecon
Re: Fwd: [testcases] bugs in datetime subtraction
RIF RDF Combinations support in riftr + PR Logistics
Core identification feature added to IBM Websphere ILOG JRules RIF-PRD implementation
[testcases] bugs in datetime subtraction
[RIF Primer] Some initial suggestions
[ADMIN] Minutes for 2 March 2010 telecon
[Admin] Agenda for RIF telecon March 16
- Re: [Admin] Agenda for RIF telecon March 16
- Re: [Admin] Agenda for RIF telecon March 16
- Re: [Admin] Agenda for RIF telecon March 16
Minutes RIF Telecon 9-Mar-2010
DTB implementation
updated xml for owlrl appendix 6 rules
Importing RIF documents from RDF - last attempt
- Re: Importing RIF documents from RDF - last attempt
- Re: Importing RIF documents from RDF - last attempt