On the Declarative Semantics of Inheritance Networks.

Krishnaprasad Thirunarayan Michael Kifer David Scott Warren

Published in: IJCAI (1989)

Keyphrases

declarative semantics
deductive databases
logic programs
logic programming
logic programming language
object oriented
fixpoint semantics
operational semantics
database
machine learning
natural language
knowledge representation