Semantics for Dual Preferential Entailment.
Katarina BritzJohannes HeidemaWillem Adrian LabuschagnePublished in: J. Philos. Log. (2009)
Keyphrases
- logic programming
- tableau calculus
- description logics
- neural network
- machine learning
- logic programs
- semantic information
- np complete
- rdf graphs
- formal semantics
- conceptual graphs
- programming language
- artificial intelligence
- databases
- data sets
- decision problems
- primal dual
- bayesian networks
- speech acts
- model theoretic
- database