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(a)utdallas.edu
Important Dates: -----------------
Submission deadline: May 31, 2006 Notification to authors: June 10, 2006 Camera-ready copy due: June 30, 2006
============================================================================== 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/ -----------------------------------------------------------------------------