Tuesday, 26 December 2006
Friday, 22 December 2006
Thursday, 21 December 2006
Wednesday, 20 December 2006
- [UCR] ISSUE-12 and ACTION6198
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: Outcomes from 12/19 telecon
 - Outcomes from 12/19 telecon
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 
Tuesday, 19 December 2006
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: Draft Minutes of telcon 12_12_06
 - Re: [TED] Is RIF Core a RIF dialect?
 - Re: [TED] Is RIF Core a RIF dialect?
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Is RIF Core a RIF dialect?
 - [TED] Is RIF Core a RIF dialect?
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: Draft Minutes of telcon 12_12_06
 - Re: types of conformance
 - Re: types of conformance
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - RE: Draft Minutes of telcon 12_12_06
 - RE: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - [TED] CORE Pages Edited for Slot-to-Positional Transformation and Multisorted Syntax
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 
Monday, 18 December 2006
- Re: types of conformance
 - Re: types of conformance
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: W3C RIF: "recursive rules" vs "recursive terms"
 - Re: "recursive rules" vs "recursive terms"
 - types of conformance
 - W3C RIF: "recursive rules" vs "recursive terms"
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - "recursive rules" vs "recursive terms"
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - [Admin] Agenda for RIF telecon 19 December
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 
Sunday, 17 December 2006
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - European MSc in Computational Logic - scholarships available
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 
Saturday, 16 December 2006
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 
Friday, 15 December 2006
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Draft Minutes of telcon 12_12_06
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 
Thursday, 14 December 2006
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 
Wednesday, 13 December 2006
- Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - a possibly useful bit on sorted logics
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 
Tuesday, 12 December 2006
- RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - RE: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core
 - ISSUE-26: ROUNDTRIP ISSUE: Replication of original rules after roundtripping to RIF
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - Re: [Admin] Agenda for RIF telecon 12 December
 - Re: [Admin] Agenda for RIF telecon 12 December
 - RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - RE: [Admin] Agenda for RIF telecon 12 December
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - Re: [Admin] Agenda for RIF telecon 12 December
 - Data Models as Constraint Systems
 
Monday, 11 December 2006
- RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - [Admin] Agenda for RIF telecon 12 December
 - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - Re: Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - ACTION-181: Edit sub-section on benefits based on earlier email
 - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - [F2F] REMINDER: [Fwd: Survey on RIF F2F5]
 - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - RE: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - Re: [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 - [TED] CORE Pages Edited for Uniform Constants and Multisorted Approach: Actions 186 and 192
 
Sunday, 10 December 2006
- Example of applying sorted-nucleus? was Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 - Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints
 
Tuesday, 5 December 2006
- Minutes of telcon 12/5/06
 - Survey on RIF F2F5
 - Re: http://www.w3.org/2006/11/04-rif-minutes.html#action04: Notes from UCR breakout of 11/04 --> coverage
 - ACTION-170: List (clarify) issues raised by the extensibility requirement
 - [UCR] RIF requirements: general VS pahse 1 VS phase 2