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-129Received on Thursday, 1 December 2005 00:46:41 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:24 GMT