Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic.

Udo Klein Wolfgang Sternefeld

Published in: J. Philos. Log. (2017)

Keyphrases

predicate logic
knowledge representation and reasoning
temporal logic
formal logic
semantic net
computational linguistics
predicate calculus
semantic network
lower level
artificial intelligence
high level
highly expressive
fluent calculus
order sorted