Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference.
Saved in:
| Title: | Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference. |
|---|---|
| Authors: | LIU, YANHONG A.1 (AUTHOR) stoller@cs.stonybrook.edu, IDOGUN, JOHN1 (AUTHOR), STOLLER, SCOTT D.1 (AUTHOR), TONG, YI1 (AUTHOR) |
| Source: | Theory & Practice of Logic Programming. Mar2026, Vol. 26 Issue 1/2, p235-252. 18p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S1471068426100623 |
