Computing Uniform Interpolants in Nilpotent Minimum Logic.

Published in: ISMVL (2017)

Keyphrases

logic programming
modal logic
genetic algorithm
spanning tree
database
e learning
website
programming language
sound and complete axiomatization