A Generalisation of the Hyperresolution Principle to First Order Gödel Logic.
Dusan GullerPublished in: IJCCI (Selected Papers) (2012)
Keyphrases
- valued logic
- classical logic
- general logic programs
- linear temporal logic
- first order logic
- conditional logic
- horn clauses
- predicate calculus
- modal logic
- probabilistic logic
- propositional logic
- logic programming
- higher order
- sound and complete with respect
- predicate logic
- multi valued
- defeasible logic
- truth values
- model theoretic
- classical first order logic
- finite model theory
- belief revision
- fuzzy logic
- logic programs
- ctl model update
- automated reasoning
- temporal logic
- minimal change
- quantifier free
- fuzzy sets
- term rewriting
- logical theories
- model checking
- search engine
- query language
- causal theories
- data sets
- logical formulas
- deontic logic
- expressive power
- social bookmarking
- computational properties