Fibring Logics: Past, Present and Future.
Carlos CaleiroAmílcar SernadasCristina SernadasPublished in: We Will Show Them! (1) (2005)
Keyphrases
- search algorithm
- modal logic
- expressive power
- long term
- real world
- inference rules
- historical information
- databases
- classical logic
- neural network
- machine learning
- temporal logic
- digital libraries
- default logic
- query language
- evolutionary algorithm
- information technology
- database
- multiscale
- case study
- artificial intelligence
- genetic algorithm
- real time