The Use of Static Constructs in A Modal Process Logic.

Hans Hüttel Kim Guldstrand Larsen

Published in: Logic at Botik (1989)

Keyphrases

modal logic
neural network
website
database
nonmonotonic logics
genetic algorithm
artificial intelligence
information systems
database systems
similarity measure
evolutionary algorithm
logic programming
conceptual model
asynchronous circuits