[TYPES/announce] CFP: MVLP06, Intl. Workshop on Multi-Valued Logic Programming and Applications

[Ajay Mallya]

		 	CALL FOR PAPERS

                      ICLP'2006 Workshop on
   Multi-Valued Logic Programming and Applications
			MVLPA'2006
		Seattle, Washington, Aug. 21st, 2006

  	URL: http://www.utdallas.edu/~axm011500/mvlpa06.html



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 newdirections for researchers to pursue and
showcase the considerable amount of research thathas 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 Logic Programming
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

The MVLPA workshop will take place in Seattle, USA and will be
collocated with the
2006 Federated Logic Conference (FLOC '06),
http://research.microsoft.com/floc06/.

The duration of the workshop is one day (21st August, 2006).

Submission Information:
-----------------------

We invite submissions in Springer-Verlag LNCS style.

Submissions should be made at http://www.easychair.org/MVLPA2006/.

The publication of the proceedings is currently under negotation.

Please check the Web page regularly for updates. For any enquiries,
please email mailto:axm011500 at utdallas.edu



Important Dates:
-----------------

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