The use of justification systems for integrated semantics.

N. G. de Bruijn

Published in: Conference on Computer Logic (1988)

Keyphrases

management system
reason maintenance
learning systems
computer systems
database systems
website
bayesian networks
expert systems
computer vision
object oriented
distributed systems
intelligent systems
genetic algorithm
databases
operational semantics
formal languages
data sets