Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Scott Warren
@incollection{DBLP:series/lncs/Warren23,
author = {David Scott Warren},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Introduction to Prolog},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {3--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_1},
doi = {10.1007/978-3-031-35254-6\_1},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/Warren23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Warren23a,
author = {David Scott Warren},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Writing Correct Prolog Programs},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {62--70},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_5},
doi = {10.1007/978-3-031-35254-6\_5},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Warren23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/WarrenD23,
author = {David Scott Warren and
Marc Denecker},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {A Better Logical Semantics for Prolog},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {82--92},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_7},
doi = {10.1007/978-3-031-35254-6\_7},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/WarrenD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/13900,
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6},
doi = {10.1007/978-3-031-35254-6},
isbn = {978-3-031-35253-9},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/13900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13430,
author = {Marc Denecker and
David Scott Warren},
title = {The Logic of Logic Programming},
journal = {CoRR},
volume = {abs/2304.13430},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13430},
doi = {10.48550/ARXIV.2304.13430},
eprinttype = {arXiv},
eprint = {2304.13430},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-09923,
author = {David Scott Warren and
Peter Van Roy and
Yanhong A. Liu},
title = {Proceedings of the 2nd Workshop on Logic and Practice of Programming
{(LPOP)}},
journal = {CoRR},
volume = {abs/2211.09923},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.09923},
doi = {10.48550/ARXIV.2211.09923},
eprinttype = {arXiv},
eprint = {2211.09923},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-09923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-07901,
author = {David Scott Warren and
Yanhong A. Liu},
title = {{LPOP:} Challenges and Advances in Logic and Practice of Programming},
journal = {CoRR},
volume = {abs/2008.07901},
year = {2020},
url = {https://arxiv.org/abs/2008.07901},
eprinttype = {arXiv},
eprint = {2008.07901},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-07901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Warren18,
author = {David Scott Warren},
title = {Top-down and Bottom-up Evaluation Procedurally Integrated},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {706--721},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000194},
doi = {10.1017/S1471068418000194},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Warren18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/MaierTKW18,
author = {David Maier and
K. Tuncay Tekle and
Michael Kifer and
David Scott Warren},
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {Datalog: concepts, history, and outlook},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
pages = {3--100},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315.3191317},
doi = {10.1145/3191315.3191317},
timestamp = {Fri, 18 Aug 2023 18:13:14 +0200},
biburl = {https://dblp.org/rec/books/mc/18/MaierTKW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Warren18,
author = {David Scott Warren},
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {{WAM} for everyone: a virtual machine for logic programming},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
pages = {237--277},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315.3191320},
doi = {10.1145/3191315.3191320},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mc/18/Warren18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08443,
author = {David Scott Warren},
title = {Top-down and Bottom-up Evaluation Procedurally Integrated},
journal = {CoRR},
volume = {abs/1804.08443},
year = {2018},
url = {http://arxiv.org/abs/1804.08443},
eprinttype = {arXiv},
eprint = {1804.08443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WarrenL17,
author = {David Scott Warren and
Yanhong A. Liu},
title = {AppLP: {A} Dialogue on Applications of Logic Programming},
journal = {CoRR},
volume = {abs/1704.02375},
year = {2017},
url = {http://arxiv.org/abs/1704.02375},
eprinttype = {arXiv},
eprint = {1704.02375},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WarrenL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/BosselutCWHC16,
author = {Antoine Bosselut and
Jianfu Chen and
David Scott Warren and
Hannaneh Hajishirzi and
Yejin Choi},
title = {Learning Prototypical Event Structure from Photo Albums},
booktitle = {Proceedings of the 54th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2016, August 7-12, 2016, Berlin, Germany, Volume
1: Long Papers},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/p16-1167},
doi = {10.18653/V1/P16-1167},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/BosselutCWHC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/ChenKWC15,
author = {Jianfu Chen and
Polina Kuznetsova and
David Scott Warren and
Yejin Choi},
editor = {Rada Mihalcea and
Joyce Yue Chai and
Anoop Sarkar},
title = {D{\'{e}}j{\`{a}} Image-Captions: {A} Corpus of Expressive Descriptions
in Repetition},
booktitle = {{NAACL} {HLT} 2015, The 2015 Conference of the North American Chapter
of the Association for Computational Linguistics: Human Language Technologies,
Denver, Colorado, USA, May 31 - June 5, 2015},
pages = {504--514},
publisher = {The Association for Computational Linguistics},
year = {2015},
url = {https://doi.org/10.3115/v1/n15-1053},
doi = {10.3115/V1/N15-1053},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/ChenKWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/HadjichristodoulouW14,
author = {Spyros Hadjichristodoulou and
David Scott Warren},
title = {Who Shaves the Barber, and with What Probability?},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {22},
number = {1-2},
pages = {41--58},
year = {2014},
url = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-22-number-1-2-2014/mvlsc-22-1-2-p-41-58/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/HadjichristodoulouW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ChenW13,
author = {Jianfu Chen and
David Scott Warren},
editor = {Qi He and
Arun Iyengar and
Wolfgang Nejdl and
Jian Pei and
Rajeev Rastogi},
title = {Cost-sensitive learning for large-scale hierarchical classification},
booktitle = {22nd {ACM} International Conference on Information and Knowledge Management,
CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013},
pages = {1351--1360},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505515.2505582},
doi = {10.1145/2505515.2505582},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/ChenW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Warren13,
author = {David Scott Warren},
title = {Interning Ground Terms in {XSB}},
journal = {CoRR},
volume = {abs/1307.4644},
year = {2013},
url = {http://arxiv.org/abs/1307.4644},
eprinttype = {arXiv},
eprint = {1307.4644},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Warren13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HadjichristodoulouPW13,
author = {Spyros Hadjichristodoulou and
Donald E. Porter and
David Scott Warren},
title = {Efficiently Retrieving Function Dependencies in the Linux Kernel Using
{XSB}},
journal = {CoRR},
volume = {abs/1308.3938},
year = {2013},
url = {http://arxiv.org/abs/1308.3938},
eprinttype = {arXiv},
eprint = {1308.3938},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HadjichristodoulouPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SwiftW12,
author = {Terrance Swift and
David Scott Warren},
title = {{XSB:} Extending Prolog with Tabled Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {1-2},
pages = {157--187},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000500},
doi = {10.1017/S1471068411000500},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SwiftW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HadjichristodoulouW12,
author = {Spyros Hadjichristodoulou and
David Scott Warren},
editor = {D. Michael Miller and
Vincent C. Gaudet},
title = {Probabilistic Logic Programming with Well-Founded Negation},
booktitle = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2012, Victoria, BC, Canada, May 14-16, 2012},
pages = {232--237},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISMVL.2012.26},
doi = {10.1109/ISMVL.2012.26},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/HadjichristodoulouW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GuzmanCW10,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
David Scott Warren},
title = {Swapping evaluation: {A} memory-scalable solution for answer-on-demand
tabling},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {401--416},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000189},
doi = {10.1017/S1471068410000189},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GuzmanCW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SwiftW10,
author = {Terrance Swift and
David Scott Warren},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Tabling with Answer Subsumption: Implementation, Applications and
Performance},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {300--312},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_26},
doi = {10.1007/978-3-642-15675-5\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/SwiftW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3961,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
David Scott Warren},
title = {Swapping Evaluation: {A} Memory-Scalable Solution for Answer-On-Demand
Tabling},
journal = {CoRR},
volume = {abs/1007.3961},
year = {2010},
url = {http://arxiv.org/abs/1007.3961},
eprinttype = {arXiv},
eprint = {1007.3961},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5123,
author = {Terrance Swift and
David Scott Warren},
title = {{XSB:} Extending Prolog with Tabled Logic Programming},
journal = {CoRR},
volume = {abs/1012.5123},
year = {2010},
url = {http://arxiv.org/abs/1012.5123},
eprinttype = {arXiv},
eprint = {1012.5123},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-5123.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2009,
editor = {Patricia M. Hill and
David Scott Warren},
title = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5},
doi = {10.1007/978-3-642-02846-5},
isbn = {978-3-642-02845-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SchrijversDW08,
author = {Tom Schrijvers and
Bart Demoen and
David Scott Warren},
title = {{TCHR:} a framework for tabled {CLP}},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {4},
pages = {491--526},
year = {2008},
url = {https://doi.org/10.1017/S147106840800327X},
doi = {10.1017/S147106840800327X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SchrijversDW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/SinghRRWW08,
author = {Anu Singh and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
David Scott Warren and
Jennifer L. Wong},
editor = {Tarek F. Abdelzaher and
Margaret Martonosi and
Adam Wolisz},
title = {A methodology for in-network evaluation of integrated logical-statistical
models},
booktitle = {Proceedings of the 6th International Conference on Embedded Networked
Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008},
pages = {197--210},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1460412.1460432},
doi = {10.1145/1460412.1460432},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sensys/SinghRRWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2008,
editor = {Paul Hudak and
David Scott Warren},
title = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6},
doi = {10.1007/978-3-540-77442-6},
isbn = {978-3-540-77441-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/RamakrishnanRW07,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
David Scott Warren},
title = {XcelLog: a deductive spreadsheet system},
journal = {Knowl. Eng. Rev.},
volume = {22},
number = {3},
pages = {269--279},
year = {2007},
url = {https://doi.org/10.1017/S026988890700118X},
doi = {10.1017/S026988890700118X},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/RamakrishnanRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SinghRRSW07,
author = {Anu Singh and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott D. Stoller and
David Scott Warren},
editor = {Peng Ning and
Vijay Atluri and
Virgil D. Gligor and
Heiko Mantel},
title = {Security policy analysis using deductive spreadsheets},
booktitle = {Proceedings of the 2007 {ACM} workshop on Formal methods in security
engineering, {FMSE} 2007, Fairfax, VA, USA, November 2, 2007},
pages = {42--50},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1314436.1314443},
doi = {10.1145/1314436.1314443},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/SinghRRSW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-3830,
author = {Tom Schrijvers and
Bart Demoen and
David Scott Warren},
title = {{TCHR:} a framework for tabled {CLP}},
journal = {CoRR},
volume = {abs/0712.3830},
year = {2007},
url = {http://arxiv.org/abs/0712.3830},
eprinttype = {arXiv},
eprint = {0712.3830},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-3830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RamakrishnanRW06,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
David Scott Warren},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Deductive Spreadsheets Using Tabled Logic Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {391--405},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_29},
doi = {10.1007/11799573\_29},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RamakrishnanRW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeevast/BrennanMZRWK06,
author = {Susan E. Brennan and
Klaus Mueller and
Gregory J. Zelinsky and
I. V. Ramakrishnan and
David Scott Warren and
Arie E. Kaufman},
editor = {Pak Chung Wong and
Daniel A. Keim},
title = {Toward a Multi-Analyst, Collaborative Framework for Visual Analytics},
booktitle = {1st {IEEE} Symposium On Visual Analytics Science And Technology, {IEEE}
{VAST} 2006, Baltimore, MD, USA, October 31 - November 2, 2006},
pages = {129--136},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/VAST.2006.261439},
doi = {10.1109/VAST.2006.261439},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieeevast/BrennanMZRWK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchrijversW04,
author = {Tom Schrijvers and
David Scott Warren},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Constraint Handling Rules and Tabled Execution},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {120--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_9},
doi = {10.1007/978-3-540-27775-0\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchrijversW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Warren04,
author = {David Scott Warren},
editor = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
title = {Prolog Models for the Model-View-Controller Paradigm (Invited Talk)},
booktitle = {Proceedings of the 14th International Workshop on Logic Programming
Environments, {WLPE} 2004, Saint-Malo, France, September 6-7, 2004},
year = {2004},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpe/Warren04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2004,
editor = {Eugenio Moggi and
David Scott Warren},
title = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
publisher = {{ACM}},
year = {2004},
url = {https://dl.acm.org/citation.cfm?id=1013963},
isbn = {1-58113-819-9},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CastroW03,
author = {Lu{\'{\i}}s Fernando Castro and
David Scott Warren},
editor = {Pierpaolo Degano},
title = {Approximate Pruning in Tabled Logic Programming},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {69--83},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_6},
doi = {10.1007/3-540-36575-3\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/CastroW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iq/DavulcuJPRSVW02,
author = {Hasan Davulcu and
Jennifer Jones and
L. Robert Pokorny and
Chris Rued and
Terrance Swift and
Tatyana Vidrevich and
David Scott Warren},
editor = {Craig Fisher and
Bruce N. Davidson},
title = {Ensuring the Consistency of Self-Reported Data: {A} Case Study},
booktitle = {Seventh International Conference on Information Quality {(ICIQ} 2002)},
pages = {155--166},
publisher = {{MIT}},
year = {2002},
timestamp = {Wed, 23 Aug 2017 10:43:26 +0200},
biburl = {https://dblp.org/rec/conf/iq/DavulcuJPRSVW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CastroSW02,
author = {Lu{\'{\i}}s Fernando Castro and
Terrance Swift and
David Scott Warren},
editor = {Shriram Krishnamurthi and
C. R. Ramakrishnan},
title = {Suspending and Resuming Computations in Engines for {SLG} Evaluation},
booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium,
{PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2257},
pages = {332--350},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45587-6\_21},
doi = {10.1007/3-540-45587-6\_21},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/padl/CastroSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SagonasSW01,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
title = {The limits of fixed-order computation},
journal = {Theor. Comput. Sci.},
volume = {254},
number = {1-2},
pages = {465--499},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(99)00341-2},
doi = {10.1016/S0304-3975(99)00341-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/SagonasSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/CastroW01,
author = {Lu{\'{\i}}s Fernando Castro and
David Scott Warren},
editor = {Anthony J. Kusalik},
title = {An Environment for the Exploration of Non Monotonic Logic Programs},
booktitle = {Proceedings of the Eleventh Workshop on Logic Programming Environments
(WLPE'01), Paphos, Cyprus, December 1, 2001},
year = {2001},
url = {https://arxiv.org/abs/cs/0111049},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/CastroW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SagonasSW00,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
title = {An abstract machine for efficiently computing queries to well-founded
models},
journal = {J. Log. Program.},
volume = {45},
number = {1-3},
pages = {1--41},
year = {2000},
url = {https://doi.org/10.1016/S0743-1066(00)00005-4},
doi = {10.1016/S0743-1066(00)00005-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/SagonasSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RamakrishnanRSW00,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
David Scott Warren},
title = {Specification and evaluation of logic-based model checking},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {73--74},
year = {2000},
url = {https://doi.org/10.1145/340855.340997},
doi = {10.1145/340855.340997},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/RamakrishnanRSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/CuiW00,
author = {Baoqiu Cui and
David Scott Warren},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A System for Tabled Constraint Logic Programming},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {478--492},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_32},
doi = {10.1007/3-540-44957-4\_32},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/CuiW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacpl/Warren00,
author = {David Scott Warren},
editor = {Carmen Gervet},
title = {Using {XSB} for Extraction and Standardization},
booktitle = {Proceedings of the Second International Conference on the Practical
Application of Constraint Technologies and Logic Programming, {PACPL}
2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000},
pages = {23--24},
publisher = {Practical Application Company Ltd.},
year = {2000},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pacpl/Warren00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0003057,
author = {Lu{\'{\i}}s Castro and
David Scott Warren},
title = {{XNMR:} {A} tool for knowledge bases exploration},
journal = {CoRR},
volume = {cs.LO/0003057},
year = {2000},
url = {https://arxiv.org/abs/cs/0003057},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RamakrishnanRSSW99,
author = {I. V. Ramakrishnan and
Prasad Rao and
Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
title = {Efficient Access Mechanisms for Tabled Logic Programs},
journal = {J. Log. Program.},
volume = {38},
number = {1},
pages = {31--54},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10013-4},
doi = {10.1016/S0743-1066(98)10013-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/RamakrishnanRSSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CuiW99,
author = {Baoqiu Cui and
David Scott Warren},
editor = {Danny De Schreye},
title = {Multiple Terms in a Tabled Logic Programming System},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {305--319},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CuiW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CuiSW99,
author = {Baoqiu Cui and
Terrance Swift and
David Scott Warren},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {A Case Study in Using Preference Logic Grammars for Knowledge Representations},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {206--220},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_15},
doi = {10.1007/3-540-46767-X\_15},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CuiSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DongDRRRSSSW99,
author = {Yifei Dong and
Xiaoqun Du and
Y. S. Ramakrishna and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
Oleg Sokolsky and
Eugene W. Stark and
David Scott Warren},
editor = {Rance Cleaveland},
title = {Fighting Livelock in the i-Protocol: {A} Comparative Study of Verification
Tools},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {74--88},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_6},
doi = {10.1007/3-540-49059-0\_6},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DongDRRRSSSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/CuiW99,
author = {Baoqiu Cui and
David Scott Warren},
editor = {In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa and
Gopal Gupta and
Enrico Pontelli and
Manuel Carro and
P{\'{e}}ter Kacsuk},
title = {Attributed Variables in {XSB}},
booktitle = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
in connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {3},
pages = {67--80},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80109-4},
doi = {10.1016/S1571-0661(05)80109-4},
timestamp = {Wed, 23 Nov 2022 16:40:54 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CuiW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/99/AMTW1999,
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2},
doi = {10.1007/978-3-642-60085-2},
isbn = {978-3-642-64249-4},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/AMTW1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/FreireSW98,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
title = {Beyond Depth-First Strategies: Improving Tabled Logic Programs through
Alternative Scheduling},
journal = {J. Funct. Log. Program.},
volume = {1998},
number = {3},
year = {1998},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-03/A98-03.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/FreireSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CuiDDKRRRSW98,
author = {Baoqiu Cui and
Yifei Dong and
Xiaoqun Du and
K. Narayan Kumar and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Abhik Roychoudhury and
Scott A. Smolka and
David Scott Warren},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Logic Programming and Model Checking},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {1--20},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056604},
doi = {10.1007/BFB0056604},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CuiDDKRRRSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Warren98,
author = {David Scott Warren},
editor = {David Gries and
Willem P. de Roever},
title = {Programming with tabling in {XSB}},
booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
June 1998, Shelter Island, New York, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {5--6},
publisher = {Chapman {\&} Hall},
year = {1998},
timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Warren98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapd/FreireSW98,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
title = {Scheduling in {SLG} Revisited},
booktitle = {Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction,
TAPD'98, Paris, France, April 2-3, 1998},
pages = {62--66},
publisher = {{INRIA}},
year = {1998},
url = {ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/freire.ps.gz},
timestamp = {Thu, 16 Mar 2017 15:12:18 +0100},
biburl = {https://dblp.org/rec/conf/tapd/FreireSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RamakrishnanRRSSW97,
author = {Y. S. Ramakrishna and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
Terrance Swift and
David Scott Warren},
editor = {Orna Grumberg},
title = {Efficient Model Checking Using Tabled Resolution},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {143--154},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_16},
doi = {10.1007/3-540-63166-6\_16},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RamakrishnanRRSSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FreireSW97,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
editor = {Lee Naish},
title = {Taking {I/O} Seriously: Resolution Reconsidered for Disk},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {198--212},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FreireSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/RaoSSWF97,
author = {Prasad Rao and
Konstantinos Sagonas and
Terrance Swift and
David Scott Warren and
Juliana Freire},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {{XSB:} {A} System for Effciently Computing {WFS}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {431--441},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_33},
doi = {10.1007/3-540-63255-7\_33},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/RaoSSWF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/FreireW97,
author = {Juliana Freire and
David Scott Warren},
editor = {Jan Maluszynski},
title = {Controlling the Search in Tabled Evaluations},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {409},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/FreireW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ChenW96,
author = {Weidong Chen and
David Scott Warren},
title = {Tabled Evaluation With Delaying for General Logic Programs},
journal = {J. {ACM}},
volume = {43},
number = {1},
pages = {20--74},
year = {1996},
url = {https://doi.org/10.1145/227595.227597},
doi = {10.1145/227595.227597},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/ChenW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/ChenW96,
author = {Weidong Chen and
David Scott Warren},
title = {Predicate Abstractions in Higher-Order Logic Programming},
journal = {New Gener. Comput.},
volume = {14},
number = {2},
pages = {195--236},
year = {1996},
url = {https://doi.org/10.1007/BF03037499},
doi = {10.1007/BF03037499},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/ChenW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChenW96,
author = {Weidong Chen and
David Scott Warren},
title = {Computation of Stable Models and Its Integration with Logical Query
Processing},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {8},
number = {5},
pages = {742--757},
year = {1996},
url = {https://doi.org/10.1109/69.542027},
doi = {10.1109/69.542027},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ChenW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Michael A. McRobbie and
John K. Slaney},
title = {An Abstract Machine for Fixed-Order Dynamically Stratified Programs},
booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated
Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1104},
pages = {328--342},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61511-3\_98},
doi = {10.1007/3-540-61511-3\_98},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Michael J. Maher},
title = {An Abstract Machine for Computing the Well-Founded Semantics},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {274--288},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278920},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FreireSW96,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
editor = {Michael J. Maher},
title = {Logic Programming and Databases Integrated at Last? (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {538},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278894},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FreireSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SagonasSW96,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Dino Pedreschi and
Carlo Zaniolo},
title = {The Limits of Fixed-Order Computation},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
July 1-2, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1154},
pages = {343--363},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031750},
doi = {10.1007/BFB0031750},
timestamp = {Mon, 03 Jan 2022 22:35:11 +0100},
biburl = {https://dblp.org/rec/conf/lid/SagonasSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DawsonRW96,
author = {Steven Dawson and
C. R. Ramakrishnan and
David Scott Warren},
editor = {Charles N. Fischer},
title = {Practical Program Analysis Using General Purpose Logic Programming
Systems - {A} Case Study},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {117--126},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231399},
doi = {10.1145/231379.231399},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DawsonRW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FreireSW96,
author = {Juliana Freire and
Terrance Swift and
David Scott Warren},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Beyond Depth-First: Improving Tabled Logic Programs through Alternative
Scheduling Strategies},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {243--258},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_89},
doi = {10.1007/3-540-61756-6\_89},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/FreireSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RameshRW95,
author = {R. Ramesh and
I. V. Ramakrishnan and
David Scott Warren},
title = {Automata-Driven Indexing of Prolog Clauses},
journal = {J. Log. Program.},
volume = {23},
number = {2},
pages = {151--202},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00016-Y},
doi = {10.1016/0743-1066(94)00016-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RameshRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChenSW95,
author = {Weidong Chen and
Terrance Swift and
David Scott Warren},
title = {Efficient Top-Down Computation of Queries under the Well-Founded Semantics},
journal = {J. Log. Program.},
volume = {24},
number = {3},
pages = {161--199},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00028-5},
doi = {10.1016/0743-1066(94)00028-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChenSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SagonasW95,
author = {Konstantinos Sagonas and
David Scott Warren},
editor = {Leon Sterling},
title = {Efficient Execution of HiLog in WAM-based Prolog Implementations},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {349--363},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SagonasW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RamakrishnanRSSW95,
author = {I. V. Ramakrishnan and
Prasad Rao and
Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Leon Sterling},
title = {Efficient Tabling Mechanisms for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {697--711},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RamakrishnanRSSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FreireHSW95,
author = {Juliana Freire and
Rui Hu and
Terrance Swift and
David Scott Warren},
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {Exploiting Parallelism in Tabled Evaluations},
booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
pages = {115--132},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026817},
doi = {10.1007/BFB0026817},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/FreireHSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DawsonRRSSSW95,
author = {Steven Dawson and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Konstantinos Sagonas and
Steven Skiena and
Terrance Swift and
David Scott Warren},
editor = {Ron K. Cytron and
Peter Lee},
title = {Unification Factoring for Efficient Execution of Logic Programs},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {247--258},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199509},
doi = {10.1145/199448.199509},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DawsonRRSSSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/RaoRSW94,
author = {Prasad Rao and
I. V. Ramakrishnan and
Terrance Swift and
David Scott Warren},
editor = {Ulrich Geske and
Dietmar Seipel},
title = {Dynamic Argument Reduction for In-memory Data Queries},
booktitle = {Proceedings of the Workshop on Deductive Databases and Logic Programming,
Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure,
Italy, June 17, 1994},
series = {GMD-Studien},
volume = {231},
pages = {117--129},
publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
biburl = {https://dblp.org/rec/conf/deductive/RaoRSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SagonasSW94,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Richard T. Snodgrass and
Marianne Winslett},
title = {{XSB} as an Efficient Deductive Database Engine},
booktitle = {Proceedings of the 1994 {ACM} {SIGMOD} International Conference on
Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994},
pages = {442--453},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/191839.191927},
doi = {10.1145/191839.191927},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/SagonasSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SagonasSW94a,
author = {Konstantinos Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Richard T. Snodgrass and
Marianne Winslett},
title = {{XSB} as a Deductive Database},
booktitle = {Proceedings of the 1994 {ACM} {SIGMOD} International Conference on
Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994},
pages = {512},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/191839.191970},
doi = {10.1145/191839.191970},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/SagonasSW94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/FreireHSW94,
author = {Juliana Freire and
Rui Hu and
Terrance Swift and
David Scott Warren},
editor = {Enrico Pontelli and
Gopal Gupta},
title = {Parallelizing Tabled Evaluations (Extended Abstract)},
booktitle = {Proceedings of the {ILPS} 94 Workshop on Design and Implementation
of Parallel Logic Programming Systems, Ithaca, New York, USA, November
18, 1994},
pages = {18--31},
year = {1994},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/slp/FreireHSW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SwiftW94,
author = {Terrance Swift and
David Scott Warren},
editor = {Maurice Bruynooghe},
title = {Analysis of {SLG-WAM} Evaluation of Definite Programs},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {219--235},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/SwiftW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SwiftW94a,
author = {Terrance Swift and
David Scott Warren},
editor = {Maurice Bruynooghe},
title = {An Abstract Machine for {SLG} Resolution: Definite Programs},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {633--652},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/SwiftW94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SagonasW94,
author = {Konstantinos Sagonas and
David Scott Warren},
editor = {Maurice Bruynooghe},
title = {A Portable Compiler for Integrating HiLog into Prolog Systems},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {682},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/SagonasW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChenKW93,
author = {Weidong Chen and
Michael Kifer and
David Scott Warren},
title = {{HILOG:} {A} Foundation for Higher-Order Logic Programming},
journal = {J. Log. Program.},
volume = {15},
number = {3},
pages = {187--230},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90039-J},
doi = {10.1016/0743-1066(93)90039-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChenKW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ChenW93,
author = {Weidong Chen and
David Scott Warren},
title = {A Goal-Oriented Approach to Computing the Well-Founded Semantics},
journal = {J. Log. Program.},
volume = {17},
number = {2/3{\&}4},
pages = {279--300},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90034-E},
doi = {10.1016/0743-1066(93)90034-E},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ChenW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Warren93a,
author = {David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {Programming the {PTQ} Grammar in {XSB}},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {111--123},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Wed, 20 Jun 2018 17:26:07 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Warren93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SagonasSW93,
author = {Konstantinos F. Sagonas and
Terrance Swift and
David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {The {XSB} Programming System},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In
Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
series = {Technical Report},
volume = {{\#}1183},
pages = {164},
publisher = {University of Wisconsin},
year = {1993},
timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SagonasSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Warren93,
author = {David Scott Warren},
editor = {Raghu Ramakrishnan},
title = {Programming the {PTQ} Grammar in {XSB}},
booktitle = {Applications of Logic Databases},
series = {The Kluwer International Series in Engineering and Computer Science
296},
pages = {217--234},
publisher = {Kluwer},
year = {1993},
timestamp = {Tue, 29 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/deductive/Warren93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ChenW93,
author = {Weidong Chen and
David Scott Warren},
editor = {Catriel Beeri},
title = {Query Evaluation under the Well Founded Semantics},
booktitle = {Proceedings of the Twelfth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 25-28, 1993, Washington, DC,
{USA}},
pages = {168--179},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/153850.153865},
doi = {10.1145/153850.153865},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ChenW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/GaoW93,
author = {Hong Gao and
David Scott Warren},
title = {A Powerful Evaluation Strategy For {CLP} Programs},
booktitle = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
Rhode Island},
pages = {90--97},
year = {1993},
timestamp = {Fri, 09 Aug 2019 11:23:42 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/GaoW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChenSW93,
author = {Weidong Chen and
Terrance Swift and
David Scott Warren},
editor = {Dale Miller},
title = {Goal-Directed Evaluation of Well-Founded Sematics for {XSB}},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {679},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/ChenSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1993,
editor = {David Scott Warren},
title = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
publisher = {{MIT} Press},
year = {1993},
isbn = {0-262-73105-3},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Warren92,
author = {David Scott Warren},
title = {Memoing for Logic Programs},
journal = {Commun. {ACM}},
volume = {35},
number = {3},
pages = {93--111},
year = {1992},
url = {https://doi.org/10.1145/131295.131299},
doi = {10.1145/131295.131299},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Warren92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenW92,
author = {Weidong Chen and
David Scott Warren},
editor = {Krzysztof R. Apt},
title = {A Goal-Oriented Approach to Computing Well Founded Semantics},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {589--603},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChenW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenW91,
author = {Weidong Chen and
David Scott Warren},
editor = {Koichi Furukawa},
title = {An Intensional Logic of (Multi-Arity) Set Abstractions},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {97--110},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChenW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ChenW91,
author = {Weidong Chen and
David Scott Warren},
editor = {Jan Maluszynski and
Martin Wirsing},
title = {Compilation of Predicate Abstractions in Higher-Order Logic Programming},
booktitle = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {528},
pages = {287--298},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5\_106},
doi = {10.1007/3-540-54444-5\_106},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/plilp/ChenW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DebrayW90,
author = {Saumya K. Debray and
David Scott Warren},
title = {Towards Banishing the Cut from Prolog},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {3},
pages = {335--349},
year = {1990},
url = {https://doi.org/10.1109/32.48941},
doi = {10.1109/32.48941},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DebrayW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RameshRW90,
author = {R. Ramesh and
I. V. Ramakrishnan and
David Scott Warren},
editor = {Frances E. Allen},
title = {Automata-Driven Indexing of Prolog Clauses},
booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
of Programming Languages, San Francisco, California, USA, January
1990},
pages = {281--291},
publisher = {{ACM} Press},
year = {1990},
url = {https://doi.org/10.1145/96709.96738},
doi = {10.1145/96709.96738},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RameshRW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/ChenKW89,
author = {Weidong Chen and
Michael Kifer and
David Scott Warren},
title = {HiLog as a Platform for Database Languages},
journal = {{IEEE} Data Eng. Bull.},
volume = {12},
number = {3},
pages = {37--44},
year = {1989},
url = {http://sites.computer.org/debull/89SEP-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/ChenKW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DebrayW89,
author = {Saumya K. Debray and
David Scott Warren},
title = {Functional Computations in Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {11},
number = {3},
pages = {451--481},
year = {1989},
url = {https://doi.org/10.1145/65979.65984},
doi = {10.1145/65979.65984},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DebrayW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/ChenKW89,
author = {Weidong Chen and
Michael Kifer and
David Scott Warren},
editor = {Richard Hull and
Ronald Morrison and
David W. Stemple},
title = {HiLog as a Platform for Database Languages},
booktitle = {Proceedings of the Second International Workshop on Database Programming
Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon,
{USA}},
pages = {315--329},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Wed, 20 Jun 2018 17:19:07 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/ChenKW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KrishnaprasadKW89,
author = {Krishnaprasad Thirunarayan and
Michael Kifer and
David Scott Warren},
editor = {N. S. Sridharan},
title = {On the Declarative Semantics of Inheritance Networks},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1099--1103},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/040.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KrishnaprasadKW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/ChenW89,
author = {Weidong Chen and
David Scott Warren},
editor = {Avi Silberschatz},
title = {C-Logic of Complex Objects},
booktitle = {Proceedings of the Eighth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania,
{USA}},
pages = {369--378},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/73721.73757},
doi = {10.1145/73721.73757},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/ChenW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChenW89,
author = {Weidong Chen and
David Scott Warren},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Abductive Resoning with Structured Data},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {851--867},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/ChenW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChenKW89,
author = {Weidong Chen and
Michael Kifer and
David Scott Warren},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {HiLog: {A} First-Order Semantics for Higher-Order Logic Programming
Constructs},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {1090--1114},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/ChenKW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/bc/MaierW88,
author = {David Maier and
David Scott Warren},
title = {Computing with Logic: Logic Programming with Prolog},
publisher = {Benjamin/Cummings},
year = {1988},
isbn = {0-8053-6681-4},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/bc/MaierW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DebrayW88,
author = {Saumya K. Debray and
David Scott Warren},
title = {Automatic Mode Inference for Logic Programs},
journal = {J. Log. Program.},
volume = {5},
number = {3},
pages = {207--229},
year = {1988},
url = {https://doi.org/10.1016/0743-1066(88)90010-6},
doi = {10.1016/0743-1066(88)90010-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DebrayW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenW88,
author = {Weidong Chen and
David Scott Warren},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {Objects as Intensions},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {404--419},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChenW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/XuW88,
author = {Jiyang Xu and
David Scott Warren},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {A Type Inference System for Prolog},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {604--619},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/XuW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/ManchandraW88,
author = {Sanjay Manchanda and
David Scott Warren},
editor = {Jack Minker},
title = {A Logic-based Language for Database Updates},
booktitle = {Foundations of Deductive Databases and Logic Programming},
pages = {363--394},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-0-934613-40-8.50014-2},
doi = {10.1016/B978-0-934613-40-8.50014-2},
timestamp = {Thu, 27 Jun 2019 09:09:21 +0200},
biburl = {https://dblp.org/rec/books/mk/minker88/ManchandraW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MaierRSSW87,
author = {David Maier and
David Rozenshtein and
Sharon C. Salveter and
Jacob Stein and
David Scott Warren},
title = {{PIQUE:} a relational query language without relations},
journal = {Inf. Syst.},
volume = {12},
number = {3},
pages = {317--335},
year = {1987},
url = {https://doi.org/10.1016/0306-4379(87)90008-1},
doi = {10.1016/0306-4379(87)90008-1},
timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/MaierRSSW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acr/MaierRW86,
author = {David Maier and
David Rozenshtein and
David Scott Warren},
title = {Window Functions},
journal = {Adv. Comput. Res.},
volume = {3},
pages = {213--246},
year = {1986},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acr/MaierRW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WarrenD86,
author = {David Scott Warren and
Saumya K. Debray},
editor = {Ehud Shapiro},
title = {Detection and Optimization of Functional Computations in Prolog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {490--504},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_97},
doi = {10.1007/3-540-16492-8\_97},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WarrenD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DebrayW86,
author = {Saumya K. Debray and
David Scott Warren},
title = {Automatic Mode Inference for Prolog Programs},
booktitle = {Proceedings of the 1986 Symposium on Logic Programming, Salt Lake
City, Utah, USA, September 22-25, 1986},
pages = {78--88},
publisher = {{IEEE-CS}},
year = {1986},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/DebrayW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/Warren84,
author = {David Scott Warren},
title = {Efficient Prolog Memory Management for Flexible Control Strategies},
journal = {New Gener. Comput.},
volume = {2},
number = {4},
pages = {361--369},
year = {1984},
url = {https://doi.org/10.1007/BF03037327},
doi = {10.1007/BF03037327},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Warren84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eds/ScioreW84,
author = {Edward Sciore and
David Scott Warren},
editor = {Larry Kerschberg},
title = {Towards an Integrated Database-Prolog System},
booktitle = {Expert Database Systems, Proceedings From the First international
Workshop, Kiawah Island, South Carolina, USA, October 24-27, 1984},
pages = {293--305},
publisher = {Benjamin/Cummings},
year = {1984},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eds/ScioreW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Warren84,
author = {David Scott Warren},
title = {Database Updates in Pure Prolog},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {244--253},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Wed, 31 Jul 2019 10:45:49 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Warren84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KaleW84,
author = {Laxmikant V. Kal{\'{e}} and
David Scott Warren},
editor = {Sten{-}{\AA}ke T{\"{a}}rnlund},
title = {A Class of Architectures for a Prolog Machine},
booktitle = {Proceedings of the Second International Logic Programming Conference,
Uppsala University, Uppsala, Sweden, July 2-6, 1984},
pages = {171--182},
publisher = {Uppsala University},
year = {1984},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KaleW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/WarrenADK84,
author = {David Scott Warren and
Mustaque Ahamad and
Saumya K. Debray and
Laxmikant V. Kal{\'{e}}},
title = {Executing Distributed Prolog Programs on a Broadcast Network},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {12--21},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/WarrenADK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Warren84,
author = {David Scott Warren},
title = {Efficient Prolog Memory Management for Flexible Control Strategies},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {198--202},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Warren84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/CliffordW83,
author = {James Clifford and
David Scott Warren},
title = {Formal Semantics for Time in Databases},
journal = {{ACM} Trans. Database Syst.},
volume = {8},
number = {2},
pages = {214--254},
year = {1983},
url = {https://doi.org/10.1145/319983.319986},
doi = {10.1145/319983.319986},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/CliffordW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/Warren83,
author = {David Scott Warren},
editor = {Mitchell P. Marcus},
title = {Using X-Calculus to Represent Meanings in Logic Grammars},
booktitle = {21st Annual Meeting of the Association for Computational Linguistics,
Massachusetts Institute of Technology, Cambridge, Massachusetts, USA,
June 15-17, 1983},
pages = {51--56},
publisher = {{ACL}},
year = {1983},
url = {https://aclanthology.org/P83-1008/},
doi = {10.3115/981311.981321},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/Warren83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MaierRW83,
author = {David Maier and
David Rozenshtein and
David Scott Warren},
editor = {David J. DeWitt and
Georges Gardarin},
title = {Windows on the World},
booktitle = {SIGMOD'83, Proceedings of Annual Meeting, San Jose, California, USA,
May 23-26, 1983},
pages = {68--78},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/582192.582207},
doi = {10.1145/582192.582207},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/MaierRW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/coling/WarrenF82,
author = {David Scott Warren and
Joyce Friedman},
title = {Using Semantics in Non-Context-Free Parsing of Montague Grammar},
journal = {Am. J. Comput. Linguistics},
volume = {8},
number = {3-4},
pages = {123--138},
year = {1982},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/coling/WarrenF82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/GelernterJSW82,
author = {Herbert L. Gelernter and
Mark A. Jones and
Sharon C. Salveter and
David Scott Warren},
title = {Research at {SUNY:} Stony Brook},
journal = {{SIGART} Newsl.},
volume = {79},
pages = {86--87},
year = {1982},
url = {https://doi.org/10.1145/1056663.1056722},
doi = {10.1145/1056663.1056722},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/GelernterJSW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JonesW82,
author = {Mark A. Jones and
David Scott Warren},
editor = {David L. Waltz},
title = {Conceptual Dependency and Montague Grammar: {A} Step Toward Conciliation},
booktitle = {Proceedings of the National Conference on Artificial Intelligence,
Pittsburgh, PA, USA, August 18-20, 1982},
pages = {79--83},
publisher = {{AAAI} Press},
year = {1982},
url = {http://www.aaai.org/Library/AAAI/1982/aaai82-019.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JonesW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MaierW82,
author = {David Maier and
David Scott Warren},
editor = {Mario Schkolnick},
title = {Specifying Connections for a Universal Relation Scheme Database},
booktitle = {Proceedings of the 1982 {ACM} {SIGMOD} International Conference on
Management of Data, Orlando, Florida, USA, June 2-4, 1982},
pages = {1--7},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/582353.582355},
doi = {10.1145/582353.582355},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/MaierW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MaierRSSW82,
author = {David Maier and
David Rozenshtein and
Sharon C. Salveter and
Jacob Stein and
David Scott Warren},
editor = {Mario Schkolnick},
title = {Toward Logical Data Independence: {A} Relational Query Language Without
Relations},
booktitle = {Proceedings of the 1982 {ACM} {SIGMOD} International Conference on
Management of Data, Orlando, Florida, USA, June 2-4, 1982},
pages = {51--60},
publisher = {{ACM} Press},
year = {1982},
url = {https://doi.org/10.1145/582353.582362},
doi = {10.1145/582353.582362},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/MaierRSSW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MaierW81,
author = {David Maier and
David Scott Warren},
editor = {Y. Edmund Lien},
title = {Incorporating Computed Relations in Relational Databases},
booktitle = {Proceedings of the 1981 {ACM} {SIGMOD} International Conference on
Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981},
pages = {176--187},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/582318.582345},
doi = {10.1145/582318.582345},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/MaierW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/CliffordW81,
author = {James Clifford and
David Scott Warren},
title = {Formal Semantics for Time in Databases},
booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
Pennsylvania State University, PA, {USA}},
year = {1981},
timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
biburl = {https://dblp.org/rec/conf/xp/CliffordW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-01-24 23:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
