Login / Signup
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
Franz Baader
Hans-Jürgen Bürckert
Bernhard Nebel
Werner Nutt
Gert Smolka
Published in:
J. Log. Lang. Inf. (1993)
Keyphrases
</>
computational properties
logic programs
expressive power
image features
feature vectors
logic programming
uncertain data
truth values
belief functions
mathematical model
ordinary differential equations
decision theory
deductive databases
data sets
natural language
similarity measure
artificial intelligence