The semantics of entailment - III.

Richard Routley Robert K. Meyer

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

Keyphrases

logic programming
semantic information
formal semantics
logic programs
np complete
probabilistic logic
wordnet
deductive databases
default logic
default reasoning
operational semantics
autoepistemic logic
probabilistic logic programs