An Experiment With the Use of Predicate Transformers in UNITY.

Rutger M. Dijkstra

Published in: Inf. Process. Lett. (1995)

Keyphrases

first order logic
partial discharge
logic rules
inter agent
data sets
databases
data mining
machine learning
artificial intelligence
feature extraction
relational databases
evolutionary algorithm
query answering
datalog programs