GLukG logic and its application for non-monotonic reasoning.

Mauricio Osorio

Published in: LA-NMR (2007)

Keyphrases

defeasible logic
formal theory
autoepistemic logic
proof theory
commonsense reasoning
predicate logic
modal logic
classical logic
possibilistic logic
neural network
logic programming
multi valued
case study
formal language
social networks
artificial intelligence
deontic logic
genetic algorithm