Login / Signup
On the relationship between CWA, minimal model, and minimal herbrand model semantics.
Michael Gelfond
Halina Przymusinska
Teodor C. Przymusinski
Published in:
Int. J. Intell. Syst. (1990)
Keyphrases
</>
computational model
statistical model
experimental data
conceptual model
formal model
cost function
probabilistic model
probability distribution
logic programming
mathematical model
data sets
databases
high level
theoretical framework
incomplete information
formal semantics