R-mingle and beneath. Extensions of the Routley-Meyer semantics for R.

J. Michael Dunn

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

argumentation semantics
default theories
formal semantics
grounded semantics
logic programming
semantic information
efficient implementation
proof theory
database
information retrieval
genetic algorithm
information systems
high level
relational databases
conceptual graphs
update semantics