The Application of Kripke-Type Structures to Regional Development Programs.

Matthias Baaz Fernando Galindo Gerald Quirchmayr Manuel Vázqez

Published in: DEXA (1993)

Keyphrases

case study
practical application
artificial intelligence
decision support
modal logic
application programs
neural network
data mining
learning algorithm
software engineering
rapid development
desirable properties