Nicht-monotone Beweiser für Autoepistemische Logik und Defaultlogik.

Published in: GWAI (1989)

Keyphrases

upper bound
boolean functions
uniform distribution
data sets
information retrieval
database systems
multi agent systems
information systems
metadata
objective function
cooperative
natural language
artificial neural networks
medical images