Paraconsistent Circumscription: First-Order Case.

Published in: ISMVL (1995)

Keyphrases

logic programming
higher order
general logic programs
logic programs
first order logic
data sets
situation calculus
genetic algorithm
propositional logic
default logic
nonmonotonic reasoning