August 25, 1998, Brighton, U.K.
FINAL CALL FOR PARTICIPANCE
***************************
ECAI-98 Workshop 17 on Many-Valued Logic for AI Applications takes place in
Brighton on August 25, 1998.
WORKSHOP PROGRAMME (reservation for changes in time schedule)
9.15- 9.30 Reiner Haehnle
COST 15: Many-valued logics for
computer science applications
9.30-10.30 Lluis Godo
MVL: A theoretical perspective
-
11.00-11.30 Rolf Haenni, Norbert Lehmann
Reasoning with finite set constraints
11.30-12.00 Viorica Sofronie-Stokkermans
Representation theorems and automated
theorem proving in certain classes of
non-classical logics
--
--
14.00-15.00 Patrik Eklund
Can MVL compete successfully in
application developments?
-
15.30-16.00 Sabiha Arab
Reasoning upon impreciseness and imperfection
in Lukasiewicz's three-valued logic
16.00-16.30 Radko Mesiar
Generated conjunctors and related operators in
MV-logic as a basis for AI applications
16.30-17.00 Peter Vojtas
Tunable fuzzy logic programming for abduction
under uncertainty
To register for the workshop, follow the registration instructions given at
the ECAI-98 home page (http://www.cogs.susx.ac.uk/ecai98/).
Patrik Eklund
W17 organising committee chair