Ground confluence of order-sorted conditional specifications modulo axioms.
Francisco DuránJosé MeseguerCamilo RochaPublished in: J. Log. Algebraic Methods Program. (2020)
Keyphrases
- order sorted
- predicate logic
- nonmonotonic inference
- knowledge base
- conditional logic
- random field model
- definite clause
- conditional probabilities
- computational linguistics
- nonmonotonic reasoning
- first order logic
- multiscale
- machine learning
- knowledge representation and reasoning
- general purpose
- low level
- expert systems
- artificial intelligence
- information retrieval