Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning.

Katsumi Inoue Chiaki Sakama

Published in: CoRR (2013)

Keyphrases

nonmonotonic reasoning
default reasoning
abductive reasoning
database
artificial intelligence
belief revision
default logic
proof theoretic