Underspecified Interpretations in a Curry-typed Representation Language.

Chris Fox Shalom Lappin

Published in: J. Log. Comput. (2005)

Keyphrases

representation language
knowledge representation
background knowledge
first order logic
higher order
inductive logic programming
formal language
knowledge structures
concept descriptions
data sets
horn clause logic
database
artificial intelligence
co occurrence