Login / Signup
On Fibring Feature Logics with Concatenation Logics.
Nissim Francez
Published in:
LACL (1997)
Keyphrases
</>
modal logic
expressive power
inference rules
temporal logic
classical logic
image features
proof theory
epistemic logic
feature vectors
website
decision trees
social networks
neural network
decision procedures
conditional logic
data sets
database