From Focalization of Logic to the Logic of Focalization.
Michele BasaldellaAlexis SaurinKazushige TeruiPublished in: MFPS (2010)
Keyphrases
- modal logic
- proof theory
- multi valued
- digital circuits
- set theory
- logic programming
- linear temporal logic
- real time
- delay insensitive
- predicate logic
- nonmonotonic logics
- computational properties
- artificial neural networks
- video sequences
- multiscale
- image processing
- knowledge base
- information systems
- computer vision
- machine learning