[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(a)utdallas.edu.

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------