Coherence in linear predicate logic.

Kosta Dosen Zoran Petric

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
computational linguistics
semantic network
predicate calculus
temporal logic
semantic net
order sorted
databases
information retrieval
orders of magnitude
lower level
fluent calculus