December 2006 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Dec 6 14:19:40 CST 2006
Ending: Thu Dec 21 03:58:13 CST 2006
Messages: 52

• [CL] Common Logic Standard request for comments   Harry Delugach
  • [CL] Common Logic Standard request for comments   岡部 雅夫
    • [CL] Common Logic Standard request for comments   Harry Delugach
      • [CL] Common Logic Standard request for comments   John F. Sowa
      • [CL] Common Logic Standard request for comments   Harry Delugach
      • [CL] Common Logic Standard request for comments   Pat Hayes
      • [CL] Common Logic Standard request for comments   John F. Sowa
      • [CL] Common Logic Standard request for comments   岡部 雅夫
  • [CL] Missing condition in definition of S-variants? (+ non-repeating seq.s in quantifier bindings)   Frank Loebe
    • [CL] Missing condition in definition of S-variants? (+ non-repeating seq.s in quantifier bindings)   Christopher Menzel
      • [CL] Missing condition in definition of S-variants? (+ non-repeating seq.s in quantifier bindings)   Christopher Menzel
      • [CL] Missing condition in definition of S-variants? (+ non-repeating seq.s in quantifier bindings)   Pat Hayes
      • [CL] Missing condition in definition of S-variants? (+ non-repeating seq.s in quantifier bindings)   Harry Delugach
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   Pat Hayes
      • [CL] Changes to CL doc   John F. Sowa
      • [CL] Changes to CL doc   Frank Loebe
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   John F. Sowa
      • [CL] Changes to CL doc   Pat Hayes
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   Pat Hayes
      • [CL] Changes to CL doc   John F. Sowa
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   Frank Loebe
      • [CL] Changes to CL doc   Heather D. Pfeiffer
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   Harry Delugach
      • [CL] Changes to CL doc   Harry Delugach
      • [CL] Changes to CL doc   Christopher Menzel
      • [CL] Changes to CL doc   Harry Delugach
      • [CL] Changes to CL doc   Christopher Menzel
• [CL] Potholder notation   John F. Sowa
  • [CL] Potholder notation   Pierre Grenon
  • [CL] Potholder notation   Pat Hayes
    • [CL] Potholder notation   Chris Welty
• [CL] Potholder notation   Pierre Grenon
• [CL] Common Logic Standard request for comments   Cameron Ross
  • [CL] Common Logic Standard request for comments   Harry Delugach
• [CL] CfP: AAAI-07 workshop on Explanation-aware Computing ExaCt 2007   Pierre Grenon
• [CL] reminder of Common Logic deadline   Harry Delugach
• [CL] receipt of CL comments   Harry Delugach
  • [CL] Change seqname to seqmark   John F. Sowa
• [CL] edit to fix the nonrepeating issue in the quantifier.   Pat Hayes
  • [CL] edit to fix the nonrepeating issue in the quantifier.   Christopher Menzel
    • [CL] edit to fix the nonrepeating issue in the quantifier.   Elisa F. Kendall
  • [CL] Non-repetition enforced in figure 4 (?) == Re: edit to fix the nonrepeating issue in the quantifier.   Frank Loebe
    • [CL] Non-repetition enforced in figure 4 (?) == Re: edit to fix the nonrepeating issue in the quantifier.   Christopher Menzel
      • [CL] Non-repetition enforced in figure 4 (?) == Re: edit to fix the nonrepeating issue in the quantifier.   Elisa F. Kendall
• [CL] European MSc in Computational Logic - scholarships available   Enrico Franconi
• [CL] Deadline Extension: Call for tutorials ESWC 2007   Stijn Heymans

Last message date: Thu Dec 21 03:58:13 CST 2006
Archived on: Thu Dec 21 09:39:52 CST 2006

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...