An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.

Vladimir A. Zakharov

Published in: ICALP (1998)

Keyphrases

propositional logic
stable models
strong equivalence
answer set programs
description logics
multi valued
neural network
logic programs
databases
genetic algorithm
first order logic
query containment