- From: Enrico Franconi <franconi@inf.unibz.it>
- Date: Thu, 1 Dec 2005 01:46:19 +0100
- To: public-rif-wg@w3.org
On 1 Dec 2005, at 01:35, Enrico Franconi wrote: > My main goal in this WG is to offer my experience in the > formalisation of the semantics of languages, and their > computational characterisation. I'd like to see a rule language > with well founded semantics, Oh, oh, somebody already noticed that: I did not want to endorse *the* "well founded semantics of logic programs", but I just wanted to say that I'd like to have a well understood and non ambiguous semantics for the whole framework :-) --e. Enrico Franconi - franconi@inf.unibz.it Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/ Faculty of Computer Science - Phone: (+39) 0471-016-120 I-39100 Bozen-Bolzano BZ, Italy - Fax: (+39) 0471-016-129
Received on Thursday, 1 December 2005 00:46:41 UTC