Overview of Non-monotonic Deduction Systems.

Seiki Akama Hiroto Ohnishi

Published in: IWAR (1992)

Keyphrases

systems require
management system
complex systems
theorem prover
computing systems
database
real time
data mining
three dimensional
software engineering
software development
computer systems
knowledge based systems