Some Model Theory of Guarded Negation.
Vince BárányMichael BenediktBalder ten CatePublished in: CoRR (2020)
Keyphrases
- theoretical framework
- experimental data
- computational model
- formal model
- theoretical foundation
- mathematical model
- neural network
- probabilistic model
- logic programs
- conceptual framework
- high level
- markov random field
- data sets
- prior knowledge
- relational databases
- objective function
- multiscale
- fixed point
- simulation model
- case study
- decision making
- agent model