Tools for the Investigation of Substructural and Paraconsistent Logics.
Agata CiabattoniLara SpendierPublished in: JELIA (2014)
Keyphrases
- propositional calculus
- inference rules
- logic programming
- end users
- truth values
- software tools
- building blocks
- real time
- modal logic
- expressive power
- database
- decision support
- knowledge base
- object oriented
- neural network
- query language
- case study
- data sets
- nonmonotonic reasoning
- classical logic
- computational tools
- conditional logic
- genetic algorithm
- machine learning