David Scott Warren
Stony Brook University
H-index: 44
North America-United States
Top articles of David Scott Warren
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Writing correct prolog programs | David S Warren | 2023/6/17 | |
Prolog: The Next 50 Years | David S Warren Veronica Dahl Thomas Eiter Manuel V Hermenegildo Robert Kowalski | 2023/6/16 | |
The Logic of Logic Programming | arXiv preprint arXiv:2304.13430 | Marc Denecker David S Warren | 2023/4/26 |
Introduction to prolog | David S Warren | 2023/6/17 | |
A better logical semantics for prolog | David S Warren Marc Denecker | 2023/6/17 | |
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) | arXiv preprint arXiv:2211.09923 | David S Warren Peter Van Roy Yanhong A Liu | 2022/11/17 |
Systems and methods for creating, editing, storing and retrieving knowledge contained in specification documents | 2020/11/19 | ||
LPOP: Challenges and Advances in Logic and Practice of Programming | David S Warren Yanhong A Liu | 2020/8/15 |