Login / Signup
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms.
Gopalan Nadathur
Mary Southern
Published in:
CoRR (2021)
Keyphrases
</>
predicate logic
lambda calculus
computational linguistics
semantic net
higher order
fuzzy sets
semantic network
data mining
web services
search algorithm
co occurrence
temporal logic
inference rules
predicate calculus