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