Login / Signup
Concept Graphs and Predicate Logic.
Frithjof Dau
Published in:
ICCS (2001)
Keyphrases
</>
predicate logic
formal logic
logical formulas
knowledge representation and reasoning
semantic network
semantic net
computational linguistics
temporal logic
graph matching
information retrieval
artificial intelligence
description logics
natural language processing
object oriented
predicate calculus
search algorithm
web services