David Scott Warren

132 papers A* 9A 4B 14C 3Misc 1Journal 42Unranked 49

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming. CoRR David Scott Warren, Yanhong A. Liu
2024	J	`jnl`	The Semantics of Metaprogramming in Prolog. Theory Pract. Log. Program. David Scott Warren
2023	—	`ch.`	A Better Logical Semantics for Prolog. Prolog: The Next 50 Years David Scott Warren, Marc Denecker
2023	—	`ch.`	Introduction to Prolog. Prolog: The Next 50 Years David Scott Warren
2023	—	`book`	Prolog: The Next 50 Years David Scott Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert A. Kowalski, Francesca Rossi
2023	J	`jnl`	The Logic of Logic Programming. CoRR Marc Denecker, David Scott Warren
2023	—	`ch.`	Writing Correct Prolog Programs. Prolog: The Next 50 Years David Scott Warren
2022	J	`jnl`	Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP). CoRR David Scott Warren, Peter Van Roy, Yanhong A. Liu
2020	J	`jnl`	LPOP: Challenges and Advances in Logic and Practice of Programming. CoRR David Scott Warren, Yanhong A. Liu
2018	—	`ch.`	Datalog: concepts, history, and outlook. Declarative Logic Programming David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren
2018	J	`jnl`	Top-down and Bottom-up Evaluation Procedurally Integrated. CoRR David Scott Warren
2018	J	`jnl`	Top-down and Bottom-up Evaluation Procedurally Integrated. Theory Pract. Log. Program. David Scott Warren
2018	—	`ch.`	WAM for everyone: a virtual machine for logic programming. Declarative Logic Programming David Scott Warren
2017	J	`jnl`	AppLP: A Dialogue on Applications of Logic Programming. CoRR David Scott Warren, Yanhong A. Liu
2016	—	`conf`	Learning Prototypical Event Structure from Photo Albums. ACL (1) Antoine Bosselut, Jianfu Chen, David Scott Warren, Hannaneh Hajishirzi, Yejin Choi
2015	—	`conf`	Déjà Image-Captions: A Corpus of Expressive Descriptions in Repetition. HLT-NAACL Jianfu Chen, Polina Kuznetsova, David Scott Warren, Yejin Choi
2014	J	`jnl`	Who Shaves the Barber, and with What Probability? J. Multiple Valued Log. Soft Comput. Spyros Hadjichristodoulou, David Scott Warren
2013	A	`conf`	Cost-sensitive learning for large-scale hierarchical classification. CIKM Jianfu Chen, David Scott Warren
2013	J	`jnl`	Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. CoRR Spyros Hadjichristodoulou, Donald E. Porter, David Scott Warren
2013	J	`jnl`	Interning Ground Terms in XSB. CoRR David Scott Warren
2012	—	`conf`	Probabilistic Logic Programming with Well-Founded Negation. ISMVL Spyros Hadjichristodoulou, David Scott Warren
2012	J	`jnl`	XSB: Extending Prolog with Tabled Logic Programming. Theory Pract. Log. Program. Terrance Swift, David Scott Warren
2010	J	`jnl`	Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling CoRR Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010	J	`jnl`	Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Theory Pract. Log. Program. Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010	B	`conf`	Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA Terrance Swift, David Scott Warren
2010	J	`jnl`	XSB: Extending Prolog with Tabled Logic Programming CoRR Terrance Swift, David Scott Warren
2009	B	`ed.`	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings ICLP Patricia M. Hill, David Scott Warren
2008	Misc	`conf`	A methodology for in-network evaluation of integrated logical-statistical models. SenSys Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong
2008	C	`ed.`	Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. PADL Paul Hudak, David Scott Warren
2008	J	`jnl`	TCHR: a framework for tabled CLP. Theory Pract. Log. Program. Tom Schrijvers, Bart Demoen, David Scott Warren
2007	—	`conf`	Security policy analysis using deductive spreadsheets. FMSE Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren
2007	J	`jnl`	TCHR: a framework for tabled CLP CoRR Tom Schrijvers, Bart Demoen, David Scott Warren
2007	J	`jnl`	XcelLog: a deductive spreadsheet system. Knowl. Eng. Rev. C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
2006	B	`conf`	Deductive Spreadsheets Using Tabled Logic Programming. ICLP C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren
2006	—	`conf`	Toward a Multi-Analyst, Collaborative Framework for Visual Analytics. IEEE VAST Susan E. Brennan, Klaus Mueller, Gregory J. Zelinsky, I. V. Ramakrishnan, David Scott Warren, Arie E. Kaufman
2004	B	`conf`	Constraint Handling Rules and Tabled Execution. ICLP Tom Schrijvers, David Scott Warren
2004	C	`ed.`	Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy PPDP Eugenio Moggi, David Scott Warren
2004	—	`conf`	Prolog Models for the Model-View-Controller Paradigm (Invited Talk). WLPE David Scott Warren
2003	A	`conf`	Approximate Pruning in Tabled Logic Programming. ESOP Luís Fernando Castro, David Scott Warren
2002	—	`conf`	Ensuring the Consistency of Self-Reported Data: A Case Study. ICIQ Hasan Davulcu, Jennifer Jones, L. Robert Pokorny, Chris Rued, Terrance Swift, Tatyana Vidrevich, David Scott Warren
2002	C	`conf`	Suspending and Resuming Computations in Engines for SLG Evaluation. PADL Luís Fernando Castro, Terrance Swift, David Scott Warren
2001	—	`conf`	An Environment for the Exploration of Non Monotonic Logic Programs. WLPE Luís Fernando Castro, David Scott Warren
2001	J	`jnl`	The limits of fixed-order computation. Theor. Comput. Sci. Konstantinos Sagonas, Terrance Swift, David Scott Warren
2000	—	`conf`	A System for Tabled Constraint Logic Programming. Computational Logic Baoqiu Cui, David Scott Warren
2000	J	`jnl`	An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. Konstantinos Sagonas, Terrance Swift, David Scott Warren
2000	J	`jnl`	Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren
2000	—	`conf`	Using XSB for Extraction and Standardization. PACPL David Scott Warren
2000	J	`jnl`	XNMR: A tool for knowledge bases exploration CoRR Luís Castro, David Scott Warren
1999	B	`conf`	A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR Baoqiu Cui, Terrance Swift, David Scott Warren
1999	—	`conf`	Attributed Variables in XSB. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Baoqiu Cui, David Scott Warren
1999	J	`jnl`	Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
1999	A	`conf`	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
1999	B	`conf`	Multiple Terms in a Tabled Logic Programming System. ICLP Baoqiu Cui, David Scott Warren
1999	—	`book`	The Logic Programming Paradigm - A 25-Year Perspective The Logic Programming Paradigm Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David Scott Warren
1998	J	`jnl`	Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. J. Funct. Log. Program. Juliana Freire, Terrance Swift, David Scott Warren
1998	—	`conf`	Logic Programming and Model Checking. PLILP/ALP Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
1998	—	`conf`	Programming with tabling in XSB. PROCOMET David Scott Warren
1998	—	`conf`	Scheduling in SLG Revisited. TAPD Juliana Freire, Terrance Swift, David Scott Warren
1997	—	`conf`	Controlling the Search in Tabled Evaluations. ILPS Juliana Freire, David Scott Warren
1997	A*	`conf`	Efficient Model Checking Using Tabled Resolution. CAV Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
1997	B	`conf`	Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP Juliana Freire, Terrance Swift, David Scott Warren
1997	B	`conf`	XSB: A System for Effciently Computing WFS. LPNMR Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire
1996	—	`conf`	An Abstract Machine for Computing the Well-Founded Semantics. JICSLP Konstantinos Sagonas, Terrance Swift, David Scott Warren
1996	A	`conf`	An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE Konstantinos Sagonas, Terrance Swift, David Scott Warren
1996	—	`conf`	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP Juliana Freire, Terrance Swift, David Scott Warren
1996	J	`jnl`	Computation of Stable Models and Its Integration with Logical Query Processing. IEEE Trans. Knowl. Data Eng. Weidong Chen, David Scott Warren
1996	—	`conf`	Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP Juliana Freire, Terrance Swift, David Scott Warren
1996	A*	`conf`	Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study. PLDI Steven Dawson, C. R. Ramakrishnan, David Scott Warren
1996	J	`jnl`	Predicate Abstractions in Higher-Order Logic Programming. New Gener. Comput. Weidong Chen, David Scott Warren
1996	J	`jnl`	Tabled Evaluation With Delaying for General Logic Programs. J. ACM Weidong Chen, David Scott Warren
1996	—	`conf`	The Limits of Fixed-Order Computation. Logic in Databases Konstantinos Sagonas, Terrance Swift, David Scott Warren
1995	J	`jnl`	Automata-Driven Indexing of Prolog Clauses. J. Log. Program. R. Ramesh, I. V. Ramakrishnan, David Scott Warren
1995	B	`conf`	Efficient Execution of HiLog in WAM-based Prolog Implementations. ICLP Konstantinos Sagonas, David Scott Warren
1995	B	`conf`	Efficient Tabling Mechanisms for Logic Programs. ICLP I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren
1995	J	`jnl`	Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. Weidong Chen, Terrance Swift, David Scott Warren
1995	—	`conf`	Exploiting Parallelism in Tabled Evaluations PLILP Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
1995	A*	`conf`	Unification Factoring for Efficient Execution of Logic Programs. POPL Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren
1994	—	`conf`	A Portable Compiler for Integrating HiLog into Prolog Systems. ILPS Konstantinos Sagonas, David Scott Warren
1994	—	`conf`	An Abstract Machine for SLG Resolution: Definite Programs. ILPS Terrance Swift, David Scott Warren
1994	—	`conf`	Analysis of SLG-WAM Evaluation of Definite Programs. ILPS Terrance Swift, David Scott Warren
1994	—	`conf`	Dynamic Argument Reduction for In-memory Data Queries. Workshop on Deductive Databases and Logic Programming Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren
1994	—	`conf`	Parallelizing Tabled Evaluations (Extended Abstract). Workshop on Design and Impl. of Parallel Logic Programming Systems Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
1994	—	`conf`	XSB as a Deductive Database. SIGMOD Conference Konstantinos Sagonas, Terrance Swift, David Scott Warren
1994	—	`conf`	XSB as an Efficient Deductive Database Engine. SIGMOD Conference Konstantinos Sagonas, Terrance Swift, David Scott Warren
1993	J	`jnl`	A Goal-Oriented Approach to Computing the Well-Founded Semantics. J. Log. Program. Weidong Chen, David Scott Warren
1993	—	`conf`	A Powerful Evaluation Strategy For CLP Programs. PPCP Hong Gao, David Scott Warren
1993	—	`conf`	Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS Weidong Chen, Terrance Swift, David Scott Warren
1993	J	`jnl`	HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. Weidong Chen, Michael Kifer, David Scott Warren
1993	B	`ed.`	Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993 ICLP David Scott Warren
1993	—	`conf`	Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Book), ILPS David Scott Warren
1993	—	`conf`	Programming the PTQ Grammar in XSB. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS David Scott Warren
1993	A*	`conf`	Query Evaluation under the Well Founded Semantics. PODS Weidong Chen, David Scott Warren
1993	—	`conf`	The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
1992	—	`conf`	A Goal-Oriented Approach to Computing Well Founded Semantics. JICSLP Weidong Chen, David Scott Warren
1992	J	`jnl`	Memoing for Logic Programs. Commun. ACM David Scott Warren
1991	B	`conf`	An Intensional Logic of (Multi-Arity) Set Abstractions. ICLP Weidong Chen, David Scott Warren
1991	—	`conf`	Compilation of Predicate Abstractions in Higher-Order Logic Programming. PLILP Weidong Chen, David Scott Warren
1990	A*	`conf`	Automata-Driven Indexing of Prolog Clauses. POPL R. Ramesh, I. V. Ramakrishnan, David Scott Warren
1990	J	`jnl`	Towards Banishing the Cut from Prolog. IEEE Trans. Software Eng. Saumya K. Debray, David Scott Warren
1989	—	`conf`	Abductive Resoning with Structured Data. NACLP Weidong Chen, David Scott Warren
1989	A*	`conf`	C-Logic of Complex Objects. PODS Weidong Chen, David Scott Warren
1989	J	`jnl`	Functional Computations in Logic Programs. ACM Trans. Program. Lang. Syst. Saumya K. Debray, David Scott Warren
1989	—	`conf`	HiLog as a Platform for Database Languages. DBPL Weidong Chen, Michael Kifer, David Scott Warren
1989	J	`jnl`	HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. Weidong Chen, Michael Kifer, David Scott Warren
1989	—	`conf`	HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP Weidong Chen, Michael Kifer, David Scott Warren
1989	A*	`conf`	On the Declarative Semantics of Inheritance Networks. IJCAI Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren
1988	—	`ch.`	A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. Sanjay Manchanda, David Scott Warren
1988	—	`conf`	A Type Inference System for Prolog. ICLP/SLP Jiyang Xu, David Scott Warren
1988	J	`jnl`	Automatic Mode Inference for Logic Programs. J. Log. Program. Saumya K. Debray, David Scott Warren
1988	—	`book`	Computing with Logic: Logic Programming with Prolog David Maier, David Scott Warren
1988	—	`conf`	Objects as Intensions. ICLP/SLP Weidong Chen, David Scott Warren
1987	J	`jnl`	PIQUE: a relational query language without relations. Inf. Syst. David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren
1986	—	`conf`	Automatic Mode Inference for Prolog Programs. SLP Saumya K. Debray, David Scott Warren
1986	B	`conf`	Detection and Optimization of Functional Computations in Prolog. ICLP David Scott Warren, Saumya K. Debray
1986	J	`jnl`	Window Functions. Adv. Comput. Res. David Maier, David Rozenshtein, David Scott Warren
1984	B	`conf`	A Class of Architectures for a Prolog Machine. ICLP Laxmikant V. Kalé, David Scott Warren
1984	—	`conf`	Database Updates in Pure Prolog. FGCS David Scott Warren
1984	—	`conf`	Efficient Prolog Memory Management for Flexible Control Strategies. SLP David Scott Warren
1984	J	`jnl`	Efficient Prolog Memory Management for Flexible Control Strategies. New Gener. Comput. David Scott Warren
1984	—	`conf`	Executing Distributed Prolog Programs on a Broadcast Network. SLP David Scott Warren, Mustaque Ahamad, Saumya K. Debray, Laxmikant V. Kalé
1984	—	`conf`	Towards an Integrated Database-Prolog System. Expert Database Workshop Edward Sciore, David Scott Warren
1983	J	`jnl`	Formal Semantics for Time in Databases. ACM Trans. Database Syst. James Clifford, David Scott Warren
1983	A*	`conf`	Using X-Calculus to Represent Meanings in Logic Grammars. ACL David Scott Warren
1983	—	`conf`	Windows on the World. SIGMOD Conference David Maier, David Rozenshtein, David Scott Warren
1982	A*	`conf`	Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. AAAI Mark A. Jones, David Scott Warren
1982	J	`jnl`	Research at SUNY: Stony Brook. SIGART Newsl. Herbert L. Gelernter, Mark A. Jones, Sharon C. Salveter, David Scott Warren
1982	—	`conf`	Specifying Connections for a Universal Relation Scheme Database. SIGMOD Conference David Maier, David Scott Warren
1982	—	`conf`	Toward Logical Data Independence: A Relational Query Language Without Relations. SIGMOD Conference David Maier, David Rozenshtein, Sharon C. Salveter, Jacob Stein, David Scott Warren
1982	J	`jnl`	Using Semantics in Non-Context-Free Parsing of Montague Grammar. Am. J. Comput. Linguistics David Scott Warren, Joyce Friedman
1981	—	`conf`	Formal Semantics for Time in Databases. XP2 Workshop on Relational Database Theory James Clifford, David Scott Warren
1981	—	`conf`	Incorporating Computed Relations in Relational Databases. SIGMOD Conference David Maier, David Scott Warren
1979	—	`—`	Syntax And Semantics In Parsing: An Application To Montague Grammar. David Scott Warren