A weakly definable type which is not definable.

James H. Schmerl

Published in: Arch. Math. Log. (1993)

Keyphrases

answer sets
first order logic
transitive closure
data analysis
real time
machine learning
social networks
information systems
decision making
web services
multiscale
objective function
knowledge representation