Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.
Marcus RossbergPublished in: J. Philos. Log. (2015)
Keyphrases
- higher order
- image interpretation
- classical logic
- modal logic
- logic programming
- high level
- multi valued
- proof theory
- decision trees
- high order
- logic synthesis
- predicate logic
- defeasible logic
- semantic interpretation
- logical framework
- knowledge representation
- relational databases
- automated reasoning
- pairwise
- probabilistic logic
- image processing
- information systems
- artificial intelligence
- real world
- neural network
- databases
- real time