Nonmonotonic rule systems with recursive sets of restraints.

V. Wiktor Marek Anil Nerode Jeffrey B. Remmel

Published in: Arch. Math. Log. (1997)

Keyphrases

real time
data sets
association rules
logic programming
management system
distributed systems
intelligent systems
complex systems
nonmonotonic reasoning
databases
multi agent
query language
building blocks
learning systems
rule sets