An Algebraic Presentation of Predicate Logic - (Extended Abstract).

Published in: FoSSaCS (2013)

Keyphrases

extended abstract
predicate logic
knowledge representation and reasoning
formal logic
semantic net
computational linguistics
semantic network
temporal logic
predicate calculus
artificial intelligence
information retrieval
co occurrence
highly expressive