Consequence finding and computing answers with defaults.

Katsumi Inoue Koji Iwanuma Hidetomo Nabeshima

Published in: J. Intell. Inf. Syst. (2006)

Keyphrases

consequence finding
truth maintenance systems
theorem proving
default logic
default reasoning
natural language
integrity constraints
constraint propagation