-Integration of Logics.

Bernd Mahr Sebastian Bab

Published in: Formal Methods in Software and Systems Modeling (2005)

Keyphrases

modal logic
real time
social networks
data integration
expressive power
databases
neural network
real world
artificial intelligence
multi agent
data structure
expert systems
evolutionary algorithm
information integration