FMP-Ensuring Logics, RA-Ensuring Logics and FA-Ensuring Logics in NExtK4.3.
Ming XuPublished in: Stud Logica (2023)
Keyphrases
- expressive power
- modal logic
- propositional calculus
- higher order
- proof theory
- real time
- knowledge representation
- multiscale
- inference rules
- conditional logic
- objective function
- multi agent systems
- fuzzy sets
- database systems
- decision trees
- default reasoning
- machine learning
- knowledge representation formalisms
- databases