On Expressivity and Compositionality in Logics for Coalgebras.
Corina CîrsteaPublished in: CMCS (2003)
Keyphrases
- computational properties
- expressive power
- modal logic
- logic programs
- classical logic
- expert systems
- valued logic
- proof theoretic
- proof theory
- inference rules
- image processing
- computer vision
- propositional calculus
- inheritance reasoning
- propositional dynamic logic
- coalition logic
- databases
- truth values
- description logics
- artificial intelligence
- learning algorithm
- genetic algorithm
- data mining