RE: Joint Committee telecon today 31 August

From: Wagner, G.R. ([email protected])
Date: 08/31/04

Next message: Mike Dean: "Joint Committee telecon today 7 September"

Previous message: Benjamin Grosof: "regrets for today"
Maybe in reply to: Mike Dean: "Joint Committee telecon today 31 August"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

> SWRL FOL (all - 50 min)
> 
>   FOL RuleML [2]

As discussed in the call, here is an article on the logical
foundations of having two negations:

Partial Logics with Two Kinds of Negation as a Foundation for 
Knowledge-Based Reasoning. H. Herre, J. Jaspars and G. Wagner.
In D.M. Gabbay and H. Wansing (Eds.), What is Negation ?, Kluwer 
Academic Publishers, 1999.
http://tmitwww.tm.tue.nl/staff/gwagner/PartialLogics.pdf 

-Gerd

Next message: Mike Dean: "Joint Committee telecon today 7 September"
Previous message: Benjamin Grosof: "regrets for today"
Maybe in reply to: Mike Dean: "Joint Committee telecon today 31 August"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 08/31/04 EST