PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.

Luca Aceto Georgiana Caltais Eugen-Ioan Goriac Anna Ingólfsdóttir

Published in: CALCO (2011)

Keyphrases

definite clause
real time
case study
databases
neural network
real world
machine learning
computer vision
information systems
multi agent
search algorithm
multi agent systems
mobile robot
information extraction
horn clauses
predicate invention