Three theories of nominalized predicates.

Published in: Stud Logica (1985)

Keyphrases

databases
case study
logical formulas
user defined
theoretical framework
real time
database
multiscale
search algorithm
information extraction
xml data
search engine
data sets
horn clauses
defeasible logic
design theory
symmetry breaking