Logic

Research Frontiers in Tabled Resolution and Loop Detection

Study of resolution procedures with tabling mechanisms to efficiently compute fixed points and detect infinite loops.

All Logic PhD categories