Slide 1
SLD-Resolution And Logic Programming (PROLOG)
Sketch-as-proof - Norbert Preining
SITUATIONS, TRUTH AND KNOWABILITY — A
Single tree grammars
Simply Logical: Intelligent Reasoning by Example
Simplicity, Truth, and Topology Kevin T. Kelly Konstantin Genin Hanti Lin
Simple Type Theory as a Clausal Theory
Simple probability
Simple On-the-fly Automatic Verification of Linear Temporal Logic, R. Gerth and D. Pele, ACM Digital Library
Simple multiplicative proof nets with units
Simple formulas defining complicated sets
Shrinking games and local formulas
Show
Show
SG Questions and Answers
Seventy-five problems for testing automatic
Sets, Numbers, and Logic
Sets, Logic, Computation
Sets, Logic, Computation
