Homogenizing multi-adjoint logic programs

13 years 5 months ago

Download www.eusflat.org

The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved to preserve models and, moreover, some complexity results are given.

Jesús Medina, Manuel Ojeda-Aciego

Real-time Traffic

Arbitrary Multi-adjoint Logic | EUSFLAT 2003 | EUSFLAT 2007 | Homogeneous Multi-adjoint Logic | Multi-adjoint Logic Program |

claim paper

» Program Logics for Homogeneous Metaprogramming

» Decomposing Ordinal Sums in Neural Multiadjoint Logic Programs

» Constraint Systems for Pattern Analysis of Constraint LogicBased Languages

» XDTM The XML Data Type and Mapping for Specifying Datasets

» Convex Programming Methods for Global Optimization

» Strong types for relational databases

» An invariantbased approach to the verification of asynchronous parameterized networks

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	EUSFLAT
Authors	Jesús Medina, Manuel Ojeda-Aciego

Comments (0)

Sciweavers

Homogenizing multi-adjoint logic programs

Arbitrary Multi-adjoint Logic | EUSFLAT 2003 | EUSFLAT 2007 | Homogeneous Multi-adjoint Logic | Multi-adjoint Logic Program |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers