BibTeX records: Theresa Swift

download as .bib file

@article{DBLP:journals/tplp/LammaS18,
  author    = {Evelina Lamma and
               Terrance Swift},
  title     = {Editorial: 29th International conference on logic programming special
               issue - {ADDENDUM}},
  journal   = {{TPLP}},
  volume    = {18},
  number    = {1},
  pages     = {121},
  year      = {2018},
  url       = {https://doi.org/10.1017/S1471068417000229},
  doi       = {10.1017/S1471068417000229},
  timestamp = {Wed, 07 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/LammaS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SlotaLS15,
  author    = {Martin Slota and
               Jo{\~{a}}o Leite and
               Theresa Swift},
  title     = {On updates of hybrid knowledge bases composed of ontologies and rules},
  journal   = {Artif. Intell.},
  volume    = {229},
  pages     = {33--104},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.artint.2015.07.008},
  doi       = {10.1016/j.artint.2015.07.008},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/SlotaLS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/Swift15,
  author    = {Terrance Swift},
  title     = {Forest logging: {A} trace-based analysis of large rule-based computations},
  journal   = {Semantic Web},
  volume    = {6},
  number    = {5},
  pages     = {427--449},
  year      = {2015},
  url       = {https://doi.org/10.3233/SW-140144},
  doi       = {10.3233/SW-140144},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/semweb/Swift15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GrosofBFKGCS15,
  author    = {Benjamin N. Grosof and
               Janine Bloomfield and
               Paul Fodor and
               Michael Kifer and
               Isaac Grosof and
               Miguel Calejo and
               Terrance Swift},
  title     = {Automated Decision Support for Financial Regulatory/Policy Compliance,
               using Textual Rulelog},
  booktitle = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
               Recommender Systems for the Web of Data, the Special Industry Track
               and the RuleML 2015 Doctoral Consortium hosted by the 9th International
               Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/ruleml/2015c},
  url       = {http://ceur-ws.org/Vol-1417/paper8.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/GrosofBFKGCS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/RiguzziS14,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {Terminating Evaluation of Logic Programs with Finite Three-Valued
               Models},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {15},
  number    = {4},
  pages     = {32:1--32:38},
  year      = {2014},
  url       = {https://doi.org/10.1145/2629337},
  doi       = {10.1145/2629337},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/RiguzziS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GomesAS14,
  author    = {Ana Sofia Gomes and
               Jos{\'{e}} J{\'{u}}lio Alferes and
               Terrance Swift},
  title     = {A goal-directed implementation of query answering for hybrid {MKNF}
               knowledge bases},
  journal   = {{TPLP}},
  volume    = {14},
  number    = {2},
  pages     = {239--264},
  year      = {2014},
  url       = {https://doi.org/10.1017/S1471068412000439},
  doi       = {10.1017/S1471068412000439},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/GomesAS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Swift14,
  author    = {Terrance Swift},
  title     = {Incremental Tabling in Support of Knowledge Representation and Reasoning},
  journal   = {{TPLP}},
  volume    = {14},
  number    = {4-5},
  pages     = {553--567},
  year      = {2014},
  url       = {https://doi.org/10.1017/S1471068414000209},
  doi       = {10.1017/S1471068414000209},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/Swift14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Swift14,
  author    = {Terrance Swift},
  title     = {Incremental Tabling in Support of Knowledge Representation and Reasoning},
  journal   = {CoRR},
  volume    = {abs/1405.3547},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.3547},
  archivePrefix = {arXiv},
  eprint    = {1405.3547},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Swift14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlferesKS13,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Matthias Knorr and
               Terrance Swift},
  title     = {Query-Driven Procedures for Hybrid {MKNF} Knowledge Bases},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {14},
  number    = {2},
  pages     = {16:1--16:43},
  year      = {2013},
  url       = {https://doi.org/10.1145/2480759.2480768},
  doi       = {10.1145/2480759.2480768},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/AlferesKS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiguzziS13,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {Well-definedness and efficient inference for probabilistic logic programming
               under the distribution semantics},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {2},
  pages     = {279--302},
  year      = {2013},
  url       = {https://doi.org/10.1017/S1471068411000664},
  doi       = {10.1017/S1471068411000664},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/RiguzziS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LammaS13,
  author    = {Evelina Lamma and
               Terrance Swift},
  title     = {Editorial: 29th International Conference on Logic Programming special
               issue},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {4-5},
  pages     = {465--470},
  year      = {2013},
  url       = {https://doi.org/10.1017/S1471068413000112},
  doi       = {10.1017/S1471068413000112},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/LammaS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrosofS13,
  author    = {Benjamin Nathan Grosof and
               Terrance Swift},
  title     = {Radial Restraint: {A} Semantically Clean Approach to Bounded Rationality
               for Logic Programs},
  booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA.}},
  year      = {2013},
  crossref  = {DBLP:conf/aaai/2013},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6459},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/GrosofS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AndersenBCDFGKLS13,
  author    = {Carl Andersen and
               Brett Benyo and
               Miguel Calejo and
               Mike Dean and
               Paul Fodor and
               Benjamin N. Grosof and
               Michael Kifer and
               Senlin Liang and
               Terrance Swift},
  title     = {Advanced Knowledge Base Debugging for Rulelog},
  booktitle = {Joint Proceedings of the 7th International Rule Challenge, the Special
               Track on Human Language Technology and the 3rd RuleML Doctoral Consortium,
               Seattle, USA, July 11 -13, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/ruleml/2013-2},
  url       = {http://ceur-ws.org/Vol-1004/paper8.pdf},
  timestamp = {Mon, 29 Aug 2016 18:40:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/AndersenBCDFGKLS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AndersenBCDFGKLS13,
  author    = {Carl Andersen and
               Brett Benyo and
               Miguel Calejo and
               Mike Dean and
               Paul Fodor and
               Benjamin N. Grosof and
               Michael Kifer and
               Senlin Liang and
               Terrance Swift},
  title     = {Understanding Rulelog Computations in Silk},
  journal   = {CoRR},
  volume    = {abs/1308.4125},
  year      = {2013},
  url       = {http://arxiv.org/abs/1308.4125},
  archivePrefix = {arXiv},
  eprint    = {1308.4125},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AndersenBCDFGKLS13},
  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   = {{TPLP}},
  volume    = {12},
  number    = {1-2},
  pages     = {157--187},
  year      = {2012},
  url       = {https://doi.org/10.1017/S1471068411000500},
  doi       = {10.1017/S1471068411000500},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/SwiftW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RiguzziS11,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {The {PITA} system: Tabling and answer subsumption for reasoning under
               uncertainty},
  journal   = {{TPLP}},
  volume    = {11},
  number    = {4-5},
  pages     = {433--449},
  year      = {2011},
  url       = {https://doi.org/10.1017/S147106841100010X},
  doi       = {10.1017/S147106841100010X},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/RiguzziS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SlotaLS11,
  author    = {Martin Slota and
               Jo{\~{a}}o Leite and
               Terrance Swift},
  title     = {Splitting and updating hybrid knowledge bases},
  journal   = {{TPLP}},
  volume    = {11},
  number    = {4-5},
  pages     = {801--819},
  year      = {2011},
  url       = {https://doi.org/10.1017/S1471068411000317},
  doi       = {10.1017/S1471068411000317},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/SlotaLS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-3949,
  author    = {Ana Sofia Gomes and
               Jos{\'{e}} J{\'{u}}lio Alferes and
               Terrance Swift},
  title     = {A Goal-Directed Implementation of Query Answering for Hybrid {MKNF}
               Knowledge Bases},
  journal   = {CoRR},
  volume    = {abs/1103.3949},
  year      = {2011},
  url       = {http://arxiv.org/abs/1103.3949},
  archivePrefix = {arXiv},
  eprint    = {1103.3949},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1103-3949},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-0288,
  author    = {Martin Slota and
               Jo{\~{a}}o Leite and
               Terrance Swift},
  title     = {Splitting and Updating Hybrid Knowledge Bases (Extended Version)},
  journal   = {CoRR},
  volume    = {abs/1105.0288},
  year      = {2011},
  url       = {http://arxiv.org/abs/1105.0288},
  archivePrefix = {arXiv},
  eprint    = {1105.0288},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1105-0288},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4747,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {The {PITA} System: Tabling and Answer Subsumption for Reasoning under
               Uncertainty},
  journal   = {CoRR},
  volume    = {abs/1107.4747},
  year      = {2011},
  url       = {http://arxiv.org/abs/1107.4747},
  archivePrefix = {arXiv},
  eprint    = {1107.4747},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-4747},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0631,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {Well-Definedness and Efficient Inference for Probabilistic Logic Programming
               under the Distribution Semantics},
  journal   = {CoRR},
  volume    = {abs/1110.0631},
  year      = {2011},
  url       = {http://arxiv.org/abs/1110.0631},
  archivePrefix = {arXiv},
  eprint    = {1110.0631},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1110-0631},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RiguzziS10,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {An Extended Semantics for Logic Programs with Annotated Disjunctions
               and its Efficient Implementation},
  booktitle = {Proceedings of the 25th Italian Conference on Computational Logic,
               Rende, Italy, July 7-9, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/cilc/2010},
  url       = {http://ceur-ws.org/Vol-598/paper16.pdf},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/RiguzziS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RiguzziS10,
  author    = {Fabrizio Riguzzi and
               Terrance Swift},
  title     = {Tabling and Answer Subsumption for Reasoning on Logic Programs with
               Annotated Disjunctions},
  booktitle = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  pages     = {162--171},
  year      = {2010},
  crossref  = {DBLP:conf/iclp/2010},
  url       = {https://doi.org/10.4230/LIPIcs.ICLP.2010.162},
  doi       = {10.4230/LIPIcs.ICLP.2010.162},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/RiguzziS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SwiftW10,
  author    = {Terrance Swift and
               David Scott Warren},
  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},
  pages     = {300--312},
  year      = {2010},
  crossref  = {DBLP:conf/jelia/2010},
  url       = {https://doi.org/10.1007/978-3-642-15675-5\_26},
  doi       = {10.1007/978-3-642-15675-5\_26},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/SwiftW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GomesAS10,
  author    = {Ana Sofia Gomes and
               Jos{\'{e}} J{\'{u}}lio Alferes and
               Terrance Swift},
  title     = {Implementing Query Answering for Hybrid {MKNF} Knowledge Bases},
  booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
               {PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  pages     = {25--39},
  year      = {2010},
  crossref  = {DBLP:conf/padl/2010},
  url       = {https://doi.org/10.1007/978-3-642-11503-5\_4},
  doi       = {10.1007/978-3-642-11503-5\_4},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/GomesAS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MarquesSC10,
  author    = {Rui Marques and
               Terrance Swift and
               Jos{\'{e}} C. Cunha},
  title     = {A Simple and Efficient Implementation of Concurrent Local Tabling},
  booktitle = {Practical Aspects of Declarative Languages, 12th International Symposium,
               {PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  pages     = {264--278},
  year      = {2010},
  crossref  = {DBLP:conf/padl/2010},
  url       = {https://doi.org/10.1007/978-3-642-11503-5\_22},
  doi       = {10.1007/978-3-642-11503-5\_22},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/MarquesSC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3515,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Matthias Knorr and
               Terrance Swift},
  title     = {Query-driven Procedures for Hybrid {MKNF} Knowledge Bases},
  journal   = {CoRR},
  volume    = {abs/1007.3515},
  year      = {2010},
  url       = {http://arxiv.org/abs/1007.3515},
  archivePrefix = {arXiv},
  eprint    = {1007.3515},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1007-3515},
  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},
  archivePrefix = {arXiv},
  eprint    = {1012.5123},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1012-5123},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Swift09,
  author    = {Terrance Swift},
  title     = {An Engine for Computing Well-Founded Models},
  booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
               CA, USA, July 14-17, 2009. Proceedings},
  pages     = {514--518},
  year      = {2009},
  crossref  = {DBLP:conf/iclp/2009},
  url       = {https://doi.org/10.1007/978-3-642-02846-5\_45},
  doi       = {10.1007/978-3-642-02846-5\_45},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/Swift09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SwiftPP09,
  author    = {Terrance Swift and
               Alexandre Miguel Pinto and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {Incremental Answer Completion in the {SLG-WAM}},
  booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
               CA, USA, July 14-17, 2009. Proceedings},
  pages     = {519--524},
  year      = {2009},
  crossref  = {DBLP:conf/iclp/2009},
  url       = {https://doi.org/10.1007/978-3-642-02846-5\_46},
  doi       = {10.1007/978-3-642-02846-5\_46},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/SwiftPP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Swift09,
  author    = {Terrance Swift},
  title     = {Design Patterns for Tabled Logic Programming},
  booktitle = {Applications of Declarative Programming and Knowledge Management -
               18th International Conference, {INAP} 2009, {\'{E}}vora, Portugal,
               November 3-5, 2009, Revised Selected Papers},
  pages     = {1--19},
  year      = {2009},
  crossref  = {DBLP:conf/inap/2009},
  url       = {https://doi.org/10.1007/978-3-642-20589-7\_1},
  doi       = {10.1007/978-3-642-20589-7\_1},
  timestamp = {Sun, 04 Jun 2017 10:05:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/inap/Swift09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AlferesKS09,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Matthias Knorr and
               Terrance Swift},
  title     = {Queries to Hybrid {MKNF} Knowledge Bases through Oracular Tabling},
  booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference,
               {ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings},
  pages     = {1--16},
  year      = {2009},
  crossref  = {DBLP:conf/semweb/2009},
  url       = {https://doi.org/10.1007/978-3-642-04930-9\_1},
  doi       = {10.1007/978-3-642-04930-9\_1},
  timestamp = {Wed, 14 Nov 2018 10:57:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/AlferesKS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2009,
  editor    = {Andy Gill and
               Terrance Swift},
  title     = {Practical Aspects of Declarative Languages, 11th International Symposium,
               {PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5418},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-540-92995-6},
  doi       = {10.1007/978-3-540-92995-6},
  isbn      = {978-3-540-92994-9},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2009,
  editor    = {Axel Polleres and
               Terrance Swift},
  title     = {Web Reasoning and Rule Systems, Third International Conference, {RR}
               2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5837},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05082-4},
  doi       = {10.1007/978-3-642-05082-4},
  isbn      = {978-3-642-05081-7},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rr/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarquesS08,
  author    = {Rui Marques and
               Terrance Swift},
  title     = {Concurrent and Local Evaluation of Normal Programs},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {206--222},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2\_24},
  doi       = {10.1007/978-3-540-89982-2\_24},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/MarquesS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlferesPS04,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Lu{\'{\i}}s Moniz Pereira and
               Terrance Swift},
  title     = {Abduction in Well-Founded Semantics and Generalized Stable Models
               via Tabled Dual Programs},
  journal   = {{TPLP}},
  volume    = {4},
  number    = {4},
  pages     = {383--428},
  year      = {2004},
  url       = {https://doi.org/10.1017/S1471068403001960},
  doi       = {10.1017/S1471068403001960},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/AlferesPS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/AlferesABDS04,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Francisco Azevedo and
               Pedro Barahona and
               Carlos Viegas Dam{\'{a}}sio and
               Terrance Swift},
  title     = {Deductive Diagnosis of Digital Circuits},
  booktitle = {Artificial Intelligence Applications and Innovations, {IFIP} 18th
               World Computer Congress, {TC12} First International Conference on
               Artificial Intelligence Applications and Innovations (AIAI-2004),
               22-27 August 2004, Toulouse, France},
  pages     = {155--165},
  year      = {2004},
  crossref  = {DBLP:conf/ifip12/2004},
  url       = {https://doi.org/10.1007/1-4020-8151-0\_14},
  doi       = {10.1007/1-4020-8151-0\_14},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip12/AlferesABDS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Swift04,
  author    = {Terrance Swift},
  title     = {Deduction in Ontologies via {ASP}},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
               {LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
  pages     = {275--288},
  year      = {2004},
  crossref  = {DBLP:conf/lpnmr/2004},
  url       = {https://doi.org/10.1007/978-3-540-24609-1\_24},
  doi       = {10.1007/978-3-540-24609-1\_24},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/Swift04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0312057,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Lu{\'{\i}}s Moniz Pereira and
               Terrance Swift},
  title     = {Abduction in Well-Founded Semantics and Generalized Stable Models},
  journal   = {CoRR},
  volume    = {cs.LO/0312057},
  year      = {2003},
  url       = {http://arxiv.org/abs/cs.LO/0312057},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-LO-0312057},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CuiS02,
  author    = {Baoqiu Cui and
               Terrance Swift},
  title     = {Preference Logic Grammars: Fixed point semantics and application to
               data standardization},
  journal   = {Artif. Intell.},
  volume    = {138},
  number    = {1-2},
  pages     = {117--147},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0004-3702(02)00185-6},
  doi       = {10.1016/S0004-3702(02)00185-6},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/CuiS02},
  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},
  title     = {Ensuring the Consistency of Self-Reported Data: {A} Case Study},
  booktitle = {Seventh International Conference on Information Quality {(ICIQ} 2002)},
  pages     = {155--166},
  year      = {2002},
  crossref  = {DBLP:conf/iq/2002},
  timestamp = {Wed, 23 Aug 2017 10:43:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iq/DavulcuJPRSVW02},
  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},
  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},
  pages     = {332--350},
  year      = {2002},
  crossref  = {DBLP:conf/padl/2002},
  url       = {https://doi.org/10.1007/3-540-45587-6\_21},
  doi       = {10.1007/3-540-45587-6\_21},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/CastroSW02},
  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 = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/SagonasSW01},
  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 = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/SagonasSW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Swift00,
  author    = {Terrance Swift},
  title     = {Principles, practice, and applications of tabled logic programming},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {25},
  number    = {1},
  pages     = {87--88},
  year      = {2000},
  url       = {https://doi.org/10.1145/340855.341031},
  doi       = {10.1145/340855.341031},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/Swift00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/GartnerSTDP00,
  author    = {Joseph Gartner and
               Terrance Swift and
               Allen Tien and
               Carlos Viegas Dam{\'{a}}sio and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {Psychiatric Diagnosis from the Viewpoint of Computational Logic},
  booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  pages     = {1362--1376},
  year      = {2000},
  crossref  = {DBLP:conf/cl/2000},
  url       = {https://doi.org/10.1007/3-540-44957-4\_91},
  doi       = {10.1007/3-540-44957-4\_91},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/GartnerSTDP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Swift99,
  author    = {Terrance Swift},
  title     = {Tabling for Non-Monotonic Programming},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {25},
  number    = {3-4},
  pages     = {201--240},
  year      = {1999},
  url       = {https://doi.org/10.1023/A:1018990308362},
  doi       = {10.1023/A:1018990308362},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/Swift99},
  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 = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/RamakrishnanRSSW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/Swift99,
  author    = {Terrance Swift},
  title     = {A New Formulation of Tabled Resolution with Delay},
  booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on
               Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September
               21-24, 1999, Proceedings},
  pages     = {163--177},
  year      = {1999},
  crossref  = {DBLP:conf/epia/1999},
  url       = {https://doi.org/10.1007/3-540-48159-1\_12},
  doi       = {10.1007/3-540-48159-1\_12},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epia/Swift99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlferesPS99,
  author    = {Jos{\'{e}} J{\'{u}}lio Alferes and
               Lu{\'{\i}}s Moniz Pereira and
               Terrance Swift},
  title     = {Well-founded Abduction via Tabled Dual Programs},
  booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  pages     = {426--440},
  year      = {1999},
  crossref  = {DBLP:conf/iclp/1999},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/AlferesPS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CuiSW99,
  author    = {Baoqiu Cui and
               Terrance Swift and
               David Scott Warren},
  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},
  pages     = {206--220},
  year      = {1999},
  crossref  = {DBLP:conf/lpnmr/1999},
  url       = {https://doi.org/10.1007/3-540-46767-X\_15},
  doi       = {10.1007/3-540-46767-X\_15},
  timestamp = {Fri, 02 Nov 2018 09:46:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/CuiSW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioPS99,
  author    = {Carlos Viegas Dam{\'{a}}sio and
               Lu{\'{\i}}s Moniz Pereira and
               Terrance Swift},
  title     = {Coherent Well-founded Annotated Logic Programs},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
               LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
  pages     = {262--276},
  year      = {1999},
  crossref  = {DBLP:conf/lpnmr/1999},
  url       = {https://doi.org/10.1007/3-540-46767-X\_19},
  doi       = {10.1007/3-540-46767-X\_19},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/DamasioPS99},
  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   = {Journal of Functional and Logic Programming},
  volume    = {1998},
  number    = {3},
  year      = {1998},
  url       = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1998/A98-03/A98-03.html},
  timestamp = {Fri, 21 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jflp/FreireSW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SagonasS98,
  author    = {Konstantinos Sagonas and
               Terrance Swift},
  title     = {An Abstract Machine for Tabled Execution of Fixed-Order Stratified
               Logic Programs},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {20},
  number    = {3},
  pages     = {586--634},
  year      = {1998},
  url       = {https://doi.org/10.1145/291889.291897},
  doi       = {10.1145/291889.291897},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/SagonasS98},
  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},
  year      = {1998},
  crossref  = {DBLP:conf/tapd/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/bib/conf/tapd/FreireSW98},
  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},
  title     = {Efficient Model Checking Using Tabled Resolution},
  booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
               Haifa, Israel, June 22-25, 1997, Proceedings},
  pages     = {143--154},
  year      = {1997},
  crossref  = {DBLP:conf/cav/1997},
  url       = {https://doi.org/10.1007/3-540-63166-6\_16},
  doi       = {10.1007/3-540-63166-6\_16},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/RamakrishnanRRSSW97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FreireSW97,
  author    = {Juliana Freire and
               Terrance Swift and
               David Scott Warren},
  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},
  year      = {1997},
  crossref  = {DBLP:conf/iclp/1997},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/FreireSW97},
  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},
  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},
  pages     = {431--441},
  year      = {1997},
  crossref  = {DBLP:conf/lpnmr/1997},
  url       = {https://doi.org/10.1007/3-540-63255-7\_33},
  doi       = {10.1007/3-540-63255-7\_33},
  timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/RaoSSWF97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DawsonRSS96,
  author    = {Steven Dawson and
               C. R. Ramakrishnan and
               Steven Skiena and
               Terrance Swift},
  title     = {Principles and Practice of Unification Factoring},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {18},
  number    = {5},
  pages     = {528--563},
  year      = {1996},
  url       = {https://doi.org/10.1145/232706.232722},
  doi       = {10.1145/232706.232722},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/DawsonRSS96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SagonasSW96,
  author    = {Konstantinos Sagonas and
               Terrance Swift and
               David Scott Warren},
  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},
  pages     = {328--342},
  year      = {1996},
  crossref  = {DBLP:conf/cade/1996},
  url       = {https://doi.org/10.1007/3-540-61511-3\_98},
  doi       = {10.1007/3-540-61511-3\_98},
  timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/SagonasSW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SagonasSW96,
  author    = {Konstantinos Sagonas and
               Terrance Swift and
               David Scott Warren},
  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},
  year      = {1996},
  crossref  = {DBLP:conf/iclp/1996},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278920},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/SagonasSW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FreireSW96,
  author    = {Juliana Freire and
               Terrance Swift and
               David Scott Warren},
  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},
  year      = {1996},
  crossref  = {DBLP:conf/iclp/1996},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278894},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/FreireSW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/SagonasSW96,
  author    = {Konstantinos Sagonas and
               Terrance Swift and
               David Scott Warren},
  title     = {The Limits of Fixed-Order Computation},
  booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  pages     = {343--363},
  year      = {1996},
  crossref  = {DBLP:conf/lid/1996},
  url       = {https://doi.org/10.1007/BFb0031750},
  doi       = {10.1007/BFb0031750},
  timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lid/SagonasSW96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FreireSW96,
  author    = {Juliana Freire and
               Terrance Swift and
               David Scott Warren},
  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},
  pages     = {243--258},
  year      = {1996},
  crossref  = {DBLP:conf/plilp/1996},
  url       = {https://doi.org/10.1007/3-540-61756-6\_89},
  doi       = {10.1007/3-540-61756-6\_89},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/FreireSW96},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/ChenSW95},
  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},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/iclp/1995},
  timestamp = {Tue, 18 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/RamakrishnanRSSW95},
  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},
  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},
  pages     = {115--132},
  year      = {1995},
  crossref  = {DBLP:conf/plilp/95},
  url       = {https://doi.org/10.1007/BFb0026817},
  doi       = {10.1007/BFb0026817},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/FreireHSW95},
  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},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/popl/1995},
  url       = {https://doi.org/10.1145/199448.199509},
  doi       = {10.1145/199448.199509},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/DawsonRRSSSW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DawsonRRS95,
  author    = {Steven Dawson and
               C. R. Ramakrishnan and
               I. V. Ramakrishnan and
               Terrance Swift},
  title     = {Optimizing Clause Resolution: Beyond Unification Factoring},
  booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  pages     = {194--208},
  year      = {1995},
  crossref  = {DBLP:conf/slp/1995},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300581},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/slp/DawsonRRS95},
  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},
  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},
  pages     = {117--129},
  year      = {1994},
  crossref  = {DBLP:conf/deductive/1994},
  timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/deductive/RaoRSW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iaai/SwiftHHNM94,
  author    = {Terrance Swift and
               Calvin C. Henderson and
               Richard Holberger and
               Edward Neham and
               John Murphy},
  title     = {{CCTIS:} An Expert Transactions Processing System},
  booktitle = {Proceedings of the Sixth Annual Conference on Innovative Applications
               of Artificial Intelligence, {IAAI} 1994, Seattle, Washington, USA,
               August 1-4, 1994},
  year      = {1994},
  crossref  = {DBLP:conf/iaai/1994},
  url       = {http://www.aaai.org/Library/IAAI/1994/iaai94-014.php},
  timestamp = {Tue, 18 Dec 2012 13:31:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iaai/SwiftHHNM94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SagonasSW94,
  author    = {Konstantinos Sagonas and
               Terrance Swift and
               David Scott Warren},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/sigmod/94},
  url       = {https://doi.org/10.1145/191839.191927},
  doi       = {10.1145/191839.191927},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/SagonasSW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SagonasSW94a,
  author    = {Konstantinos Sagonas and
               Terrance Swift and
               David Scott Warren},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/sigmod/94},
  url       = {https://doi.org/10.1145/191839.191970},
  doi       = {10.1145/191839.191970},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/SagonasSW94a},
  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},
  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},
  crossref  = {DBLP:conf/slp/1994w5},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/FreireHSW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SwiftW94,
  author    = {Terrance Swift and
               David Scott Warren},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/slp/1994},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/SwiftW94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SwiftW94a,
  author    = {Terrance Swift and
               David Scott Warren},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/slp/1994},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/SwiftW94a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deductive/SagonasSW93,
  author    = {Konstantinos F. Sagonas and
               Terrance Swift and
               David Scott Warren},
  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},
  pages     = {164},
  year      = {1993},
  crossref  = {DBLP:conf/deductive/1993},
  timestamp = {Wed, 20 Jun 2018 17:26:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/deductive/SagonasSW93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChenSW93,
  author    = {Weidong Chen and
               Terrance Swift and
               David Scott Warren},
  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},
  year      = {1993},
  crossref  = {DBLP:conf/slp/1993},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/ChenSW93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2015c,
  editor    = {Nick Bassiliades and
               Paul Fodor and
               Adrian Giurca and
               Georg Gottlob and
               Tom{\'{a}}s Kliegr and
               Grzegorz J. Nalepa and
               Monica Palmirani and
               Adrian Paschke and
               Mark Proctor and
               Dumitru Roman and
               Fariba Sadri and
               Nenad Stojanovic},
  title     = {Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based
               Recommender Systems for the Web of Data, the Special Industry Track
               and the RuleML 2015 Doctoral Consortium hosted by the 9th International
               Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1417},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1417},
  urn       = {urn:nbn:de:0074-1417-1},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/2015c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2013,
  editor    = {Marie desJardins and
               Michael L. Littman},
  title     = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  publisher = {{AAAI} Press},
  year      = {2013},
  url       = {http://www.aaai.org/Library/AAAI/aaai13contents.php},
  isbn      = {978-1-57735-615-8},
  timestamp = {Tue, 17 Dec 2013 19:26:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2013-2,
  editor    = {Paul Fodor and
               Dumitru Roman and
               Darko Anicic and
               Adam Z. Wyner and
               Monica Palmirani and
               Davide Sottara and
               Fran{\c{c}}ois L{\'{e}}vy},
  title     = {Joint Proceedings of the 7th International Rule Challenge, the Special
               Track on Human Language Technology and the 3rd RuleML Doctoral Consortium,
               Seattle, USA, July 11 -13, 2013},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1004},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1004},
  urn       = {urn:nbn:de:0074-1004-3},
  timestamp = {Mon, 29 Aug 2016 18:40:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ruleml/2013-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2010,
  editor    = {Wolfgang Faber and
               Nicola Leone},
  title     = {Proceedings of the 25th Italian Conference on Computational Logic,
               Rende, Italy, July 7-9, 2010},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {598},
  publisher = {CEUR-WS.org},
  year      = {2010},
  url       = {http://ceur-ws.org/Vol-598},
  urn       = {urn:nbn:de:0074-598-1},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cilc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2010,
  editor    = {Manuel V. Hermenegildo and
               Torsten Schaub},
  title     = {Technical Communications of the 26th International Conference on Logic
               Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series    = {LIPIcs},
  volume    = {7},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10003},
  isbn      = {978-3-939897-17-0},
  timestamp = {Tue, 26 Feb 2013 10:46:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2010,
  editor    = {Tomi Janhunen and
               Ilkka Niemel{\"{a}}},
  title     = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
               2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6341},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15675-5},
  doi       = {10.1007/978-3-642-15675-5},
  isbn      = {978-3-642-15674-8},
  timestamp = {Thu, 25 May 2017 00:42:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2010,
  editor    = {Manuel Carro and
               Ricardo Pe{\~{n}}a},
  title     = {Practical Aspects of Declarative Languages, 12th International Symposium,
               {PADL} 2010, Madrid, Spain, January 18-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5937},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11503-5},
  doi       = {10.1007/978-3-642-11503-5},
  isbn      = {978-3-642-11502-8},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2010},
  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 = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2009,
  editor    = {Salvador Abreu and
               Dietmar Seipel},
  title     = {Applications of Declarative Programming and Knowledge Management -
               18th International Conference, {INAP} 2009, {\'{E}}vora, Portugal,
               November 3-5, 2009, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6547},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20589-7},
  doi       = {10.1007/978-3-642-20589-7},
  isbn      = {978-3-642-20588-0},
  timestamp = {Sun, 04 Jun 2017 10:05:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/inap/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2009,
  editor    = {Abraham Bernstein and
               David R. Karger and
               Tom Heath and
               Lee Feigenbaum and
               Diana Maynard and
               Enrico Motta and
               Krishnaprasad Thirunarayan},
  title     = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference,
               {ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5823},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04930-9},
  doi       = {10.1007/978-3-642-04930-9},
  isbn      = {978-3-642-04929-3},
  timestamp = {Wed, 14 Nov 2018 10:57:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/semweb/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2},
  doi       = {10.1007/978-3-540-89982-2},
  isbn      = {978-3-540-89981-5},
  timestamp = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip12/2004,
  editor    = {Max Bramer and
               Vladan Devedzic},
  title     = {Artificial Intelligence Applications and Innovations, {IFIP} 18th
               World Computer Congress, {TC12} First International Conference on
               Artificial Intelligence Applications and Innovations (AIAI-2004),
               22-27 August 2004, Toulouse, France},
  series    = {{IFIP}},
  volume    = {154},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8150-2},
  timestamp = {Wed, 16 Jul 2014 09:02:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifip12/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2004,
  editor    = {Vladimir Lifschitz and
               Ilkka Niemel{\"{a}}},
  title     = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
               {LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2923},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b94792},
  doi       = {10.1007/b94792},
  isbn      = {3-540-20721-X},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iq/2002,
  editor    = {Craig Fisher and
               Bruce N. Davidson},
  title     = {Seventh International Conference on Information Quality {(ICIQ} 2002)},
  publisher = {{MIT}},
  year      = {2002},
  timestamp = {Wed, 23 Aug 2017 10:43:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iq/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2002,
  editor    = {Shriram Krishnamurthi and
               C. R. Ramakrishnan},
  title     = {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},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45587-6},
  doi       = {10.1007/3-540-45587-6},
  isbn      = {3-540-43092-X},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cl/2000,
  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     = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1861},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44957-4},
  doi       = {10.1007/3-540-44957-4},
  isbn      = {3-540-67797-6},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epia/1999,
  editor    = {Pedro Barahona and
               Jos{\'{e}} J{\'{u}}lio Alferes},
  title     = {Progress in Artificial Intelligence, 9th Portuguese Conference on
               Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September
               21-24, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1695},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48159-1},
  doi       = {10.1007/3-540-48159-1},
  isbn      = {3-540-66548-X},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/epia/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1999,
  editor    = {Danny De Schreye},
  title     = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  publisher = {{MIT} Press},
  year      = {1999},
  isbn      = {0-262-54104-1},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1999,
  editor    = {Michael Gelfond and
               Nicola Leone and
               Gerald Pfeifer},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46767-X},
  doi       = {10.1007/3-540-46767-X},
  isbn      = {3-540-66749-0},
  timestamp = {Fri, 02 Nov 2018 09:46:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapd/1998,
  title     = {Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction,
               TAPD'98, Paris, France, April 2-3, 1998},
  publisher = {{INRIA}},
  year      = {1998},
  timestamp = {Thu, 16 Mar 2017 15:12:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tapd/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1997,
  editor    = {Orna Grumberg},
  title     = {Computer Aided Verification, 9th International Conference, {CAV} '97,
               Haifa, Israel, June 22-25, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1254},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63166-6},
  doi       = {10.1007/3-540-63166-6},
  isbn      = {3-540-63166-6},
  timestamp = {Mon, 22 May 2017 17:10:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1997,
  editor    = {Lee Naish},
  title     = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  publisher = {{MIT} Press},
  year      = {1997},
  isbn      = {0-262-64035-X},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1997,
  editor    = {J{\"{u}}rgen Dix and
               Ulrich Furbach and
               Anil Nerode},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63255-7},
  doi       = {10.1007/3-540-63255-7},
  isbn      = {3-540-63255-7},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1996,
  editor    = {Michael A. McRobbie and
               John K. Slaney},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61511-3},
  doi       = {10.1007/3-540-61511-3},
  isbn      = {3-540-61511-3},
  timestamp = {Mon, 22 May 2017 16:14:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1996,
  editor    = {Michael J. Maher},
  title     = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  publisher = {{MIT} Press},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515},
  isbn      = {0-262-63173-3},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lid/1996,
  editor    = {Dino Pedreschi and
               Carlo Zaniolo},
  title     = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
               July 1-2, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1154},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0031733},
  doi       = {10.1007/BFb0031733},
  isbn      = {3-540-61814-7},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lid/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1996,
  editor    = {Herbert Kuchen and
               S. Doaitse Swierstra},
  title     = {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},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61756-6},
  doi       = {10.1007/3-540-61756-6},
  isbn      = {3-540-61756-6},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1995,
  editor    = {Leon Sterling},
  title     = {Logic Programming, Proceedings of the Twelfth International Conference
               on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  isbn      = {0-262-69177-9},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/95,
  editor    = {Manuel V. Hermenegildo and
               S. Doaitse Swierstra},
  title     = {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},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/BFb0026808},
  doi       = {10.1007/BFb0026808},
  isbn      = {3-540-60359-X},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/plilp/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1995,
  editor    = {Ron K. Cytron and
               Peter Lee},
  title     = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, San Francisco, California,
               USA, January 23-25, 1995},
  publisher = {{ACM} Press},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=199448},
  isbn      = {0-89791-692-1},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1995,
  editor    = {John W. Lloyd},
  title     = {Logic Programming, Proceedings of the 1995 International Symposium,
               Portland, Oregon, USA, December 4-7, 1995},
  publisher = {{MIT} Press},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853},
  isbn      = {0-262-62099-5},
  timestamp = {Thu, 17 Aug 2017 12:56:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1994,
  editor    = {Ulrich Geske and
               Dietmar Seipel},
  title     = {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},
  publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung {MBH}},
  year      = {1994},
  isbn      = {3-88457-231-8},
  timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/deductive/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iaai/1994,
  editor    = {Elizabeth Byrnes and
               Jan Aikins},
  title     = {Proceedings of the Sixth Annual Conference on Innovative Applications
               of Artificial Intelligence, {IAAI} 1994, Seattle, Washington, USA,
               August 1-4, 1994},
  publisher = {{AAAI} Press},
  year      = {1994},
  timestamp = {Tue, 18 Dec 2012 13:31:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iaai/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/94,
  editor    = {Richard T. Snodgrass and
               Marianne Winslett},
  title     = {Proceedings of the 1994 {ACM} {SIGMOD} International Conference on
               Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994},
  publisher = {{ACM} Press},
  year      = {1994},
  timestamp = {Thu, 21 Jun 2018 07:59:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1994w5,
  editor    = {Enrico Pontelli and
               Gopal Gupta},
  title     = {Proceedings of the {ILPS} 94 Workshop on Design and Implementation
               of Parallel Logic Programming Systems, Ithaca, New York, USA, November
               18, 1994},
  year      = {1994},
  timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1994w5},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1994,
  editor    = {Maurice Bruynooghe},
  title     = {Logic Programming, Proceedings of the 1994 International Symposium,
               Ithaca, New York, USA, November 13-17, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-52191-1},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1993,
  editor    = {Raghu Ramakrishnan},
  title     = {Proceedings of the Workshop on Programming with Logic Databases. In
               Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993},
  series    = {Technical Report},
  volume    = {{\#}1183},
  publisher = {University of Wisconsin},
  year      = {1993},
  timestamp = {Wed, 20 Jun 2018 17:26:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/deductive/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1993,
  editor    = {Dale Miller},
  title     = {Logic Programming, Proceedings of the 1993 International Symposium,
               Vancouver, British Columbia, Canada, October 26-29, 1993},
  publisher = {{MIT} Press},
  year      = {1993},
  isbn      = {0-262-63152-0},
  timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/slp/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier