Solving First Order Formulae of Pseudo-Regular Theory.

Sébastien Limet Pierre Pillot

Published in: ICTAC (2005)

Keyphrases

theoretical framework
theoretical basis
higher order
horn clauses
real time
formal theory
context free
artificial neural networks
expert systems
databases
data sets
database
computational model
first order logic
objective function
domain theory
solving problems
decision diagrams
linear temporal logic