Genuine paracomplete logics.
Verónica Borja MacíasMarcelo E. ConiglioAlejandro Hernández-TelloPublished in: Log. J. IGPL (2023)
Keyphrases
- expressive power
- modal logic
- classical logic
- inference rules
- conditional logic
- databases
- decision trees
- neural network
- reject rate
- propositional calculus
- default logic
- temporal logic
- relational databases
- natural language
- optimal solution
- image sequences
- nonmonotonic logics
- three dimensional
- knowledge representation formalisms
- web services
- propositional dynamic logic
- genetic algorithm