default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Scott Warren
Person information
- affiliation: Stony Brook University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[p6]David Scott Warren
:
Introduction to Prolog. Prolog: The Next 50 Years 2023: 3-19- [p5]David Scott Warren:
Writing Correct Prolog Programs. Prolog: The Next 50 Years 2023: 62-70 - [p4]David Scott Warren, Marc Denecker:
A Better Logical Semantics for Prolog. Prolog: The Next 50 Years 2023: 82-92 - [e6]David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi:
Prolog: The Next 50 Years. Lecture Notes in Computer Science 13900, Springer 2023, ISBN 978-3-031-35253-9 [contents] - [i11]Marc Denecker, David Scott Warren:
The Logic of Logic Programming. CoRR abs/2304.13430 (2023) - 2022
- [i10]David Scott Warren, Peter Van Roy, Yanhong A. Liu:
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR abs/2211.09923 (2022) - 2020
- [i9]David Scott Warren, Yanhong A. Liu:
LPOP: Challenges and Advances in Logic and Practice of Programming. CoRR abs/2008.07901 (2020)
2010 – 2019
- 2018
- [j29]David Scott Warren:
Top-down and Bottom-up Evaluation Procedurally Integrated. Theory Pract. Log. Program. 18(3-4): 706-721 (2018) - [p3]David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren:
Datalog: concepts, history, and outlook. Declarative Logic Programming 2018: 3-100 - [p2]David Scott Warren:
WAM for everyone: a virtual machine for logic programming. Declarative Logic Programming 2018: 237-277 - [i8]David Scott Warren:
Top-down and Bottom-up Evaluation Procedurally Integrated. CoRR abs/1804.08443 (2018) - 2017
- [i7]David Scott Warren, Yanhong A. Liu:
AppLP: A Dialogue on Applications of Logic Programming. CoRR abs/1704.02375 (2017) - 2016
- [c76]Antoine Bosselut, Jianfu Chen, David Scott Warren, Hannaneh Hajishirzi, Yejin Choi:
Learning Prototypical Event Structure from Photo Albums. ACL (1) 2016 - 2015
- [c75]Jianfu Chen, Polina Kuznetsova, David Scott Warren, Yejin Choi:
Déjà Image-Captions: A Corpus of Expressive Descriptions in Repetition. HLT-NAACL 2015: 504-514 - 2014
- [j28]Spyros Hadjichristodoulou, David Scott Warren:
Who Shaves the Barber, and with What Probability? J. Multiple Valued Log. Soft Comput. 22(1-2): 41-58 (2014) - 2013
- [c74]Jianfu Chen, David Scott Warren:
Cost-sensitive learning for large-scale hierarchical classification. CIKM 2013: 1351-1360 - [i6]David Scott Warren:
Interning Ground Terms in XSB. CoRR abs/1307.4644 (2013) - [i5]Spyros Hadjichristodoulou, Donald E. Porter, David Scott Warren:
Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. CoRR abs/1308.3938 (2013) - 2012
- [j27]Terrance Swift, David Scott Warren:
XSB: Extending Prolog with Tabled Logic Programming. Theory Pract. Log. Program. 12(1-2): 157-187 (2012) - [c73]Spyros Hadjichristodoulou, David Scott Warren:
Probabilistic Logic Programming with Well-Founded Negation. ISMVL 2012: 232-237 - 2010
- [j26]Pablo Chico de Guzmán, Manuel Carro, David Scott Warren:
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Theory Pract. Log. Program. 10(4-6): 401-416 (2010) - [c72]Terrance Swift, David Scott Warren:
Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA 2010: 300-312 - [i4]Pablo Chico de Guzmán, Manuel Carro, David Scott Warren:
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. CoRR abs/1007.3961 (2010) - [i3]Terrance Swift, David Scott Warren:
XSB: Extending Prolog with Tabled Logic Programming. CoRR abs/1012.5123 (2010)
2000 – 2009
- 2009
- [e5]Patricia M. Hill, David Scott Warren:
Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Lecture Notes in Computer Science 5649, Springer 2009, ISBN 978-3-642-02845-8 [contents] - 2008
- [j25]Tom Schrijvers, Bart Demoen, David Scott Warren:
TCHR: a framework for tabled CLP. Theory Pract. Log. Program. 8(4): 491-526 (2008) - [c71]Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong:
A methodology for in-network evaluation of integrated logical-statistical models. SenSys 2008: 197-210 - [e4]Paul Hudak, David Scott Warren:
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Lecture Notes in Computer Science 4902, Springer 2008, ISBN 978-3-540-77441-9 [contents] - 2007
- [j24]C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. 22(3): 269-279 (2007) - [c70]Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren:
Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50 - [i2]Tom Schrijvers, Bart Demoen, David Scott Warren:
TCHR: a framework for tabled CLP. CoRR abs/0712.3830 (2007) - 2006
- [c69]C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren:
Deductive Spreadsheets Using Tabled Logic Programming. ICLP 2006: 391-405 - [c68]Susan E. Brennan, Klaus Mueller, Gregory J. Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman:
Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. IEEE VAST 2006: 129-136 - 2004
- [c67]Tom Schrijvers, David Scott Warren:
Constraint Handling Rules and Tabled Execution. ICLP 2004: 120-136 - [c66]David Scott Warren:
Prolog Models for the Model-View-Controller Paradigm (Invited Talk). WLPE 2004 - [e3]Eugenio Moggi, David Scott Warren:
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. ACM 2004, ISBN 1-58113-819-9 [contents] - 2003
- [c65]Luís Fernando Castro, David Scott Warren:
Approximate Pruning in Tabled Logic Programming. ESOP 2003: 69-83 - 2002
- [c64]Hasan Davulcu, Jennifer Jones, L. Robert Pokorny, Chris Rued, Terrance Swift, Tatyana Vidrevich, David Scott Warren:
Ensuring the Consistency of Self-Reported Data: A Case Study. ICIQ 2002: 155-166 - [c63]Luís Fernando Castro, Terrance Swift, David Scott Warren:
Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350 - 2001
- [j23]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001) - [c62]Luís Fernando Castro, David Scott Warren:
An Environment for the Exploration of Non Monotonic Logic Programs. WLPE 2001 - 2000
- [j22]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. 45(1-3): 1-41 (2000) - [j21]C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren:
Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes 25(1): 73-74 (2000) - [c61]Baoqiu Cui, David Scott Warren:
A System for Tabled Constraint Logic Programming. Computational Logic 2000: 478-492 - [c60]David Scott Warren:
Using XSB for Extraction and Standardization. PACPL 2000: 23-24 - [i1]Luís Castro, David Scott Warren:
XNMR: A tool for knowledge bases exploration. CoRR cs.LO/0003057 (2000)
1990 – 1999
- 1999
- [j20]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. 38(1): 31-54 (1999) - [c59]Baoqiu Cui, David Scott Warren:
Multiple Terms in a Tabled Logic Programming System. ICLP 1999: 305-319 - [c58]Baoqiu Cui, Terrance Swift, David Scott Warren:
A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220 - [c57]Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88 - [c56]Baoqiu Cui, David Scott Warren:
Attributed Variables in XSB. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 67-80 - [e2]Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren:
The Logic Programming Paradigm - A 25-Year Perspective. Artificial Intelligence, Springer 1999, ISBN 978-3-642-64249-4 [contents] - 1998
- [j19]Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. J. Funct. Log. Program. 1998(3) (1998) - [c55]Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
Logic Programming and Model Checking. PLILP/ALP 1998: 1-20 - [c54]David Scott Warren:
Programming with tabling in XSB. PROCOMET 1998: 5-6 - [c53]Juliana Freire, Terrance Swift, David Scott Warren:
Scheduling in SLG Revisited. TAPD 1998: 62-66 - 1997
- [c52]Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren:
Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154 - [c51]Juliana Freire, Terrance Swift, David Scott Warren:
Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212 - [c50]Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire:
XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441 - [c49]Juliana Freire, David Scott Warren:
Controlling the Search in Tabled Evaluations. ILPS 1997: 409 - 1996
- [j18]Weidong Chen, David Scott Warren:
Tabled Evaluation With Delaying for General Logic Programs. J. ACM 43(1): 20-74 (1996) - [j17]Weidong Chen, David Scott Warren:
Predicate Abstractions in Higher-Order Logic Programming. New Gener. Comput. 14(2): 195-236 (1996) - [j16]Weidong Chen, David Scott Warren:
Computation of Stable Models and Its Integration with Logical Query Processing. IEEE Trans. Knowl. Data Eng. 8(5): 742-757 (1996) - [c48]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342 - [c47]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288 - [c46]Juliana Freire, Terrance Swift, David Scott Warren:
Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP 1996: 538 - [c45]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363 - [c44]Steven Dawson, C. R. Ramakrishnan, David Scott Warren:
Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI 1996: 117-126 - [c43]Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258 - 1995
- [j15]R. Ramesh, I. V. Ramakrishnan, David Scott Warren:
Automata-Driven Indexing of Prolog Clauses. J. Log. Program. 23(2): 151-202 (1995) - [j14]Weidong Chen, Terrance Swift, David Scott Warren:
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24(3): 161-199 (1995) - [c42]Konstantinos Sagonas, David Scott Warren:
Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP 1995: 349-363 - [c41]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711 - [c40]Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132 - [c39]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258 - 1994
- [c38]Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren:
Dynamic Argument Reduction for In-memory Data Queries. Workshop on Deductive Databases and Logic Programming 1994: 117-129 - [c37]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 - [c36]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
XSB as a Deductive Database. SIGMOD Conference 1994: 512 - [c35]Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
Parallelizing Tabled Evaluations (Extended Abstract). Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 18-31 - [c34]Terrance Swift, David Scott Warren:
Analysis of SLG-WAM Evaluation of Definite Programs. ILPS 1994: 219-235 - [c33]Terrance Swift, David Scott Warren:
An Abstract Machine for SLG Resolution: Definite Programs. ILPS 1994: 633-652 - [c32]Konstantinos Sagonas, David Scott Warren:
A Portable Compiler for Integrating HiLog into Prolog Systems. ILPS 1994: 682 - 1993
- [j13]Weidong Chen, Michael Kifer, David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230 (1993) - [j12]Weidong Chen, David Scott Warren:
A Goal-Oriented Approach to Computing the Well-Founded Semantics. J. Log. Program. 17(2/3&4): 279-300 (1993) - [c31]David Scott Warren:
Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 111-123 - [c30]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren:
The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164 - [c29]David Scott Warren:
Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Book), ILPS 1993: 217-234 - [c28]Weidong Chen, David Scott Warren:
Query Evaluation under the Well Founded Semantics. PODS 1993: 168-179 - [c27]Hong Gao, David Scott Warren:
A Powerful Evaluation Strategy For CLP Programs. PPCP 1993: 90-97 - [c26]Weidong Chen, Terrance Swift, David Scott Warren:
Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679 - [e1]David Scott Warren:
Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. MIT Press 1993, ISBN 0-262-73105-3 [contents] - 1992
- [j11]David Scott Warren:
Memoing for Logic Programs. Commun. ACM 35(3): 93-111 (1992) - [c25]Weidong Chen, David Scott Warren:
A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP 1992: 589-603 - 1991
- [c24]Weidong Chen, David Scott Warren:
An Intensional Logic of (Multi-Arity) Set Abstractions. ICLP 1991: 97-110 - [c23]Weidong Chen, David Scott Warren:
Compilation of Predicate Abstractions in Higher-Order Logic Programming. PLILP 1991: 287-298 - 1990
- [j10]Saumya K. Debray, David Scott Warren:
Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. 16(3): 335-349 (1990) - [c22]R. Ramesh, I. V. Ramakrishnan, David Scott Warren:
Automata-Driven Indexing of Prolog Clauses. POPL 1990: 281-291
1980 – 1989
- 1989
- [j9]Weidong Chen, Michael Kifer, David Scott Warren:
HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12(3): 37-44 (1989) - [j8]Saumya K. Debray, David Scott Warren:
Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. 11(3): 451-481 (1989) - [c21]Weidong Chen, Michael Kifer, David Scott Warren:
HiLog as a Platform for Database Languages. DBPL 1989: 315-329 - [c20]Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren:
On the Declarative Semantics of Inheritance Networks. IJCAI 1989: 1099-1103 - [c19]Weidong Chen, David Scott Warren:
C-Logic of Complex Objects. PODS 1989: 369-378 - [c18]Weidong Chen, David Scott Warren:
Abductive Resoning with Structured Data. NACLP 1989: 851-867 - [c17]Weidong Chen, Michael Kifer, David Scott Warren:
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 - 1988
- [b1]David Maier, David Scott Warren:
Computing with Logic: Logic Programming with Prolog. Benjamin/Cummings 1988, ISBN 0-8053-6681-4 - [j7]Saumya K. Debray, David Scott Warren:
Automatic Mode Inference for Logic Programs. J. Log. Program. 5(3): 207-229 (1988) - [c16]Weidong Chen, David Scott Warren:
Objects as Intensions. ICLP/SLP 1988: 404-419 - [c15]Jiyang Xu, David Scott Warren:
A Type Inference System for Prolog. ICLP/SLP 1988: 604-619 - [p1]Sanjay Manchanda, David Scott Warren:
A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 - 1987
- [j6]David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren:
PIQUE: a relational query language without relations. Inf. Syst. 12(3): 317-335 (1987) - 1986
- [j5]David Maier, David Rozenshtein, David Scott Warren:
Window Functions. Adv. Comput. Res. 3: 213-246 (1986) - [c14]David Scott Warren, Saumya K. Debray:
Detection and Optimization of Functional Computations in Prolog. ICLP 1986: 490-504 - [c13]Saumya K. Debray, David Scott Warren:
Automatic Mode Inference for Prolog Programs. SLP 1986: 78-88 - 1984
- [j4]David Scott Warren:
Efficient Prolog Memory Management for Flexible Control Strategies. New Gener. Comput. 2(4): 361-369 (1984) - [c12]Edward Sciore, David Scott Warren:
Towards an Integrated Database-Prolog System. Expert Database Workshop 1984: 293-305 - [c11]David Scott Warren:
Database Updates in Pure Prolog. FGCS 1984: 244-253 - [c10]Laxmikant V. Kalé, David Scott Warren:
A Class of Architectures for a Prolog Machine. ICLP 1984: 171-182 - [c9]David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé:
Executing Distributed Prolog Programs on a Broadcast Network. SLP 1984: 12-21 - [c8]David Scott Warren:
Efficient Prolog Memory Management for Flexible Control Strategies. SLP 1984: 198-202 - 1983
- [j3]James Clifford, David Scott Warren:
Formal Semantics for Time in Databases. ACM Trans. Database Syst. 8(2): 214-254 (1983) - [c7]David Scott Warren:
Using X-Calculus to Represent Meanings in Logic Grammars. ACL 1983: 51-56 - [c6]David Maier, David Rozenshtein, David Scott Warren:
Windows on the World. SIGMOD Conference 1983: 68-78 - 1982
- [j2]David Scott Warren, Joyce Friedman:
Using Semantics in Non-Context-Free Parsing of Montague Grammar. Am. J. Comput. Linguistics 8(3-4): 123-138 (1982) - [j1]Herbert L. Gelernter, Mark A. Jones, Sharon C. Salveter, David Scott Warren:
Research at SUNY: Stony Brook. SIGART Newsl. 79: 86-87 (1982) - [c5]Mark A. Jones, David Scott Warren:
Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. AAAI 1982: 79-83 - [c4]David Maier, David Scott Warren:
Specifying Connections for a Universal Relation Scheme Database. SIGMOD Conference 1982: 1-7 - [c3]