Modal Predicates and Co-equations.

Alexander Kurz Jirí Rosický

Published in: CMCS (2002)

Keyphrases

mathematical model
modal logic
linear equations
user defined
neural network
linear systems
nonlinear equations
real time
clustering method
differential equations
numerical solution
polynomial equations
nonmonotonic logics
horn clauses
random walk
genetic algorithm
real world
data sets