Computing interpolants in implicational logics.

Makoto Kanazawa

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

expressive power
artificial intelligence
expert systems
real time
data sets
databases
genetic algorithm
decision making
web services
database systems
evolutionary algorithm
modal logic
inference rules