A Theory of Nonmonotonic Rule Systems I.

V. Wiktor Marek Anil Nerode Jeffrey B. Remmel

Published in: Ann. Math. Artif. Intell. (1990)

Keyphrases

information retrieval
distributed systems
theoretical framework
case study
computer systems
knowledge based systems
retrieval systems
real time
data sets
complex systems
classification rules
formal methods
truth maintenance systems