Decidability and Expressiveness of Recursive Weighted Logic.
Kim Guldstrand LarsenRadu MardareBingtian XuePublished in: Ershov Memorial Conference (2014)
Keyphrases
- computational properties
- chronological backtracking
- description logics
- expressive power
- multi valued
- logic programming
- asynchronous circuits
- weighted sum
- query answering
- databases
- logic programs
- monadic second order logic
- automata theoretic
- neural network
- set theory
- epistemic logic
- proof theory
- recursive programs
- natural deduction
- database
- weighted distance
- sound and complete axiomatization
- predicate logic
- order statistics
- deductive databases
- expert systems
- database systems
- knowledge base
- artificial intelligence
- data sets