Login / Signup
Predicate Logic with Definitions
Victor Makarov
Published in:
CoRR (1999)
Keyphrases
</>
predicate logic
knowledge representation and reasoning
semantic net
semantic network
formal logic
computational linguistics
temporal logic
lower level
predicate calculus
highly expressive
logical formulas
order sorted
expert systems
fluent calculus
formal model
higher level
description logics