Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach.

Jérôme Mengin

Published in: JELIA (2004)

Keyphrases

real time
artificial intelligence
case study
database
image processing
learning environment
inference rules
default reasoning
logical reasoning