G-RIDDLE : A Formal Analysis of Logic Designs Condiucive to the Acceleration of Backtracing.

Gabriel M. Silberman Ilan Y. Spillinger

Published in: ITC (1988)

Keyphrases

formal analysis
formal methods
logic programming
modal logic
ban logic
multi valued
machine learning
case study
agent model
predicate logic
database
artificial intelligence
design space
proof theory