Nonmonotonic Proof Systems: Algebraic Foundations.

Sujata Ghosh Mihir K. Chakraborty

Published in: Fundam. Informaticae (2004)

Keyphrases

artificial intelligence
management system
distributed systems
expert systems
modal logic
real time
neural network
real world
decision making
knowledge base
metadata
case study
intelligent systems
logic programming