Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

21 August 2006, Multi-Valued Logic Programming and Applications (MVLPA'2006), Seattle, Washington

Date: 21 August 2006
Location: Seattle, Washington
Deadline: 10 June 2006

Multi-Valued logics provide powerful mechanisms for reasoning about domains that are incomplete and inconsistent, such as databases, knowledge representation, model checking,asynchronous electronic circuits, etc. Research in this area spans theoretical issues regarding the semantics and the role of negation, to implementation strategies, to practical tools for solving problems in various application domains.M

This ICLP'2006 workshop is meant to provide a channel for interaction between researchers working in these areas, by presenting their results and fostering discussion. This will engender newdirections for researchers to pursue and showcase the considerable amount of research thathas already been performed in the area.

For more information, see http://www.utdallas.edu/~axm011500/mvlpa06.html

Authors are invited to submit original research, survey or tutorial papers in the areas of Multiple-valued Logic and Multi-valued Logic Programming. Submission deadline (updated) is June 10, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.