Analysing inconsistent first-order knowledgebases.

John Grant Anthony Hunter

Published in: Artif. Intell. (2008)

Keyphrases

valued logic
first order logic
higher order
universally quantified
stochastic dominance
inconsistent information
information systems
fuzzy logic
data structure
multi agent
relational learning
artificial intelligence
quantifier elimination
linear temporal logic
term rewriting
genetic algorithm
database