Practical Logic (Abstract).

John N. Crossley

Published in: ISAAC (1995)

Keyphrases

real world
search algorithm
higher level
logic programming
high level
practical problems
propositional dynamic logic
database
real time
decision trees
relational databases