David S. Warren
AuthID: R-006-E5Z
1
TITLE: Prolog: The Next 50 Years
AUTHORS: David S Warren; Verónica Dahl; Thomas Eiter; Manuel V Hermenegildo; Robert Kowalski; Francesca Rossi;
PUBLISHED: 2023, VOLUME: 13900
AUTHORS: David S Warren; Verónica Dahl; Thomas Eiter; Manuel V Hermenegildo; Robert Kowalski; Francesca Rossi;
PUBLISHED: 2023, VOLUME: 13900
INDEXED IN: 
DBLP
DBLP2
TITLE: Reply to 'The new molecular markers DDIT3, STT3A, ARG2 and FAM129A are not useful in diagnosing thyroid follicular tumors'
AUTHORS: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLISHED: 2013, SOURCE: MODERN PATHOLOGY, VOLUME: 26, ISSUE: 4
AUTHORS: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLISHED: 2013, SOURCE: MODERN PATHOLOGY, VOLUME: 26, ISSUE: 4
3
TITLE: The new molecular markers DDIT3, STT3A, ARG2 and FAM129A are not useful in diagnosing thyroid follicular tumors
AUTHORS: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLISHED: 2012, SOURCE: MODERN PATHOLOGY, VOLUME: 25, ISSUE: 4
AUTHORS: Eva Sigstad; Elisabeth Paus; Trine Bjoro; Aasmund Berner; Krystyna Kotanska Groholt; Lars H Jorgensen; Manuel Sobrinho Simoes ; Ruth Holm; David J Warren;
PUBLISHED: 2012, SOURCE: MODERN PATHOLOGY, VOLUME: 25, ISSUE: 4
4
TITLE: XSB: Extending Prolog with Tabled Logic Programming
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2
INDEXED IN: 
Scopus 
WOS
Scopus WOS5
TITLE: XSB: Extending Prolog with Tabled Logic Programming
AUTHORS: TERRANCE SWIFT; DAVID S WARREN;
PUBLISHED: 2011, SOURCE: Theory and Practice of Logic Programming, VOLUME: 12, ISSUE: 1-2
AUTHORS: TERRANCE SWIFT; DAVID S WARREN;
PUBLISHED: 2011, SOURCE: Theory and Practice of Logic Programming, VOLUME: 12, ISSUE: 1-2
INDEXED IN: 
CrossRef
CrossRef6
TITLE: Tabling with Answer Subsumption: Implementation, Applications and Performance
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
AUTHORS: Terrance Swift; David S Warren;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
7
TITLE: Performance of the Compiler-Based Andorra-I System
AUTHORS: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993
AUTHORS: Rong Yang; Tony Beaumont; Inês de Castro Dutra ; Vítor Santos Costa ; David H D Warren;
PUBLISHED: 1993, SOURCE: Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993
INDEXED IN: DBLP
DBLP8
TITLE: Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991
AUTHORS: Vítor Santos Costa ; David H D Warren; Rong Yang;
PUBLISHED: 1991, SOURCE: Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Williamsburg, Virginia, USA, April 21-24, 1991
INDEXED IN: DBLP
DBLP