Non-commutative first-order EQ-logics.
Martin DybaMoataz El-ZekeyVilém NovákPublished in: Fuzzy Sets Syst. (2016)
Keyphrases
- conditional logic
- first order logic
- expressive power
- classical first order logic
- emotional intelligence
- higher order
- inference rules
- modal logic
- default reasoning
- nonmonotonic reasoning
- special case
- logic programming
- valued logic
- belief revision
- propositional logic
- decision procedures
- computational properties
- horn clauses
- data sets
- database
- theorem prover
- knowledge base
- model theoretic
- dynamic logic
- learning algorithm
- propositional dynamic logic