The semantics of entailment - II.

Richard Routley Robert K. Meyer

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

Keyphrases

logic programming
logic programs
np complete
semantic information
formal semantics
natural language
conceptual graphs
database
databases
information systems
high level
inductive logic programming
semantic representation