LCS Technical Memos (1974 - 2003): Recent submissions
Now showing items 109-111 of 486
-
PAC-Learning Prolog Clauses With or Without Errors
(1994-02)Recently researchers have been interested in trying to expand the domain of learnability to subsets of first-order logic, in particular Prolog programs. This new research area has been named Inductive Logic Programming ... -
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
(1993-11)Simulation-based assertional techniques and process algebraic techniques are two of the major methods that have been proposed for the verification of concurrent and distributed systems. It is shown how each of these ...
