Pure first-order logics of quasiary predicates.
Mykola NikitchenkoOksana ShkilniakStepan S. ShkilniakPublished in: UkrPROG (2016)
Keyphrases
- horn clauses
- conditional logic
- first order logic
- logical formulas
- expressive power
- classical first order logic
- inference rules
- quantifier free
- valued logic
- nonmonotonic reasoning
- quantifier elimination
- function symbols
- modal logic
- logic programming
- higher order
- neural network
- machine learning
- data sets
- default reasoning
- stochastic dominance
- epistemic logic
- term rewriting
- user defined
- theorem proving
- inductive logic programming
- logic programs
- predicate logic
- information extraction
- artificial intelligence
- datalog programs
- rewrite systems
- belief revision