Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.
Lorenz DemeyHans SmessaertPublished in: J. Philos. Log. (2018)
Keyphrases
- logical properties
- formal semantics
- logical language
- model theoretic
- logical framework
- predicate calculus
- logical rules
- logical structure
- neural network
- logical reasoning
- belief revision
- database
- first order logic
- probabilistic logic
- logical theories
- denotational semantics
- relational query languages
- relational structures
- default reasoning
- deductive databases
- logic programming
- programming language
- knowledge representation
- genetic algorithm
- data sets