A Confluent Connection Calculus.

Peter Baumgartner Norbert Eisinger Ulrich Furbach

Published in: Intellectics and Computational Logic (2000)

Keyphrases

automated deduction
machine learning
artificial neural networks
evolutionary algorithm
distributed systems
timed automata