Overview

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.

Program

• MVLPA program
• MVLPA accepted papers

Workshop Organizers

• Ajay Mallya, University of Texas at Dallas, USA
• Gopal Gupta, University of Texas at Dallas, USA