Matching of Bounded Set Terms in the Logic Language LDL++.

Natraj Arni Sergio Greco Domenico Saccà

Published in: J. Log. Program. (1996)

Keyphrases

small number
programming language
operational semantics
precisely defined
neural network
information retrieval
probability distribution
background knowledge
image set
logical rules
abstract machine