Evolving and Analysing "Useful" Redundant Logic.

Asbjørn Djupdal Pauline C. Haddow

Published in: ICES (2007)

Keyphrases

modal logic
logic programming
automated reasoning
databases
highly redundant
website
multi agent
expressive power
inference rules
computational properties
modal operators
asynchronous circuits
dynamic logic
redundant data
eliminating redundant