Structural and Behavioral Modeling with Monadic Logics.

Abdelwaheb Ayari David A. Basin Stefan Friedrich

Published in: ISMVL (1999)

Keyphrases

database
structural analysis
information retrieval
genetic algorithm
expressive power
propositional calculus
knowledge base
modal logic
human behavior