Logic List Mailing Archive

Workshop on Multi-valued Logic and Applications, Seattle, Aug 21, 2006 (deadline: June 10)

[New final deadline: June 10th]

   ICLP'06 Workshop on Multi-valued Logic and Applications
               Affliated with FLoC'06

		Seattle, Washington
                  August 21 2006

               FINAL  CALL FOR PAPERS

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.

It is interesting to study the various semantics of multi-valued
logics in general and in particular, logic programming from the
perspective of multi-valued logics. The classical semantic
formulations of logic programming, such as the minimal Herbrand model
semantics, the well-founded semantics, the answer set semantics need
to reinterpreted in the multi-valued scenario. Given a solid semantic
foundation for a multi-valued logic programming framework, it can then
be used as an elegant declarative specification language for the above
application domains.

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.

The 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 new directions for
researchers to pursue and showcase the considerable amount of research
that has already been performed in the area.

Authors are invited to submit original research, survey or tutorial
papers in the areas of Multiple-valued Logic and Multi-valued Logic
Programming, including, but not restricted to:

# Algebraic and formal aspects
# Implementation techniques for Multi-Valued LP Languages
# Logic synthesis and Optimization
# Circuit/ Device Implementation
# Multi-Valued Model Checking
# Switching functions
# Machine Learning/ Data Mining
# Biocomputing
# Theorem Proving in Multi-Valued Logics
# Fault Detection and diagnosis
# Reliability
# Information retrieval
# Knowledge Representation/ Discovery
# Automated Reasoning



Important Dates:

Submission deadline: 	        June 10, 2006
Notification to authors: 	June 20, 2006
Camera-ready copy due:          June 30, 2006

Submissions can be made in PDF or PS format at
http://www.easychair.org/MVLPA2006/.

If you have any questions, please send email to
axm011500@utdallas.edu.