Effective Prover for Minimal Inconsistency Logic.

Adolfo Gustavo Serra Seca Neto Marcelo Finger

Published in: IFIP AI (2006)

Keyphrases

classical logic
information systems
high quality
modal logic
databases
search engine
logic programming
computationally efficient
neural network
information retrieval
evolutionary algorithm
cost effective
automated reasoning
digital circuits