Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Theresa Swift
@inproceedings{DBLP:journals/corr/abs-2308-15893,
author = {Theresa Swift and
Carl Andersen},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {The Janus System: Multi-paradigm Programming in Prolog and Python},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {241--255},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.24},
doi = {10.4204/EPTCS.385.24},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/0001S23,
author = {Carl Andersen and
Theresa Swift},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {The Janus System: {A} Bridge to New Prolog Applications},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {93--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_8},
doi = {10.1007/978-3-031-35254-6\_8},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/0001S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/GrosofKSFB23,
author = {Benjamin N. Grosof and
Michael Kifer and
Theresa Swift and
Paul Fodor and
Janine Bloomfield},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Ergo: {A} Quest for Declarativity in Logic Programming},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {224--236},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_18},
doi = {10.1007/978-3-031-35254-6\_18},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/GrosofKSFB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GrosofS19,
author = {Benjamin N. Grosof and
Theresa Swift},
editor = {Andreas Martin and
Knut Hinkelmann and
Aurona Gerber and
Doug Lenat and
Frank van Harmelen and
Peter Clark},
title = {{PLOW:} Probabilistic Logic Over the Well-Founded Semantics},
booktitle = {Proceedings of the {AAAI} 2019 Spring Symposium on Combining Machine
Learning with Knowledge Engineering {(AAAI-MAKE} 2019) Stanford University,
Palo Alto, California, USA, March 25-27, 2019., Stanford University,
Palo Alto, California, USA, March 25-27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2350},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2350/xposter1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/GrosofS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tac/AndersenWTHGCHN19,
author = {Carl Andersen and
Drew Wicke and
Kyle Tunis and
Wheeler Howard and
Mark Gerken and
Dustin Carroll and
Cassidy Harless and
Cecilia Newell and
Theresa Swift},
title = {{KB} Construction and Hypothesis Generation Using {SAMSON}},
booktitle = {Proceedings of the 2019 Text Analysis Conference, {TAC} 2019, Gaithersburg,
Maryland, USA, November 12-13, 2019},
publisher = {{NIST}},
year = {2019},
url = {https://tac.nist.gov/publications/2019/participant.papers/TAC2019.SAMSON.proceedings.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tac/AndersenWTHGCHN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LammaS18,
author = {Evelina Lamma and
Terrance Swift},
title = {Editorial: 29th International conference on logic programming special
issue - {ADDENDUM}},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {121},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000229},
doi = {10.1017/S1471068417000229},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LammaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/RiguzziS18,
author = {Fabrizio Riguzzi and
Theresa Swift},
editor = {Michael Kifer and
Yanhong Annie Liu},
title = {A survey of probabilistic logic programming},
booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
series = {{ACM} Books},
volume = {20},
pages = {185--228},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3191315.3191319},
doi = {10.1145/3191315.3191319},
timestamp = {Fri, 18 Aug 2023 18:13:14 +0200},
biburl = {https://dblp.org/rec/books/mc/18/RiguzziS18.bib},
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 = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SlotaLS15.bib},
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 = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/Swift15.bib},
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},
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 = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1417},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1417/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/GrosofBFKGCS15.bib},
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/journals/tocl/RiguzziS14.bib},
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 = {Theory Pract. Log. Program.},
volume = {14},
number = {2},
pages = {239--264},
year = {2014},
url = {https://doi.org/10.1017/S1471068412000439},
doi = {10.1017/S1471068412000439},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GomesAS14.bib},
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 = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {553--567},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000209},
doi = {10.1017/S1471068414000209},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Swift14.bib},
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},
eprinttype = {arXiv},
eprint = {1405.3547},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Swift14.bib},
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 = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AlferesKS13.bib},
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 = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {279--302},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000664},
doi = {10.1017/S1471068411000664},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiguzziS13.bib},
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 = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {465--470},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000112},
doi = {10.1017/S1471068413000112},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LammaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GrosofS13,
author = {Benjamin Nathan Grosof and
Terrance Swift},
editor = {Marie desJardins and
Michael L. Littman},
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}},
pages = {379--386},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8682},
doi = {10.1609/AAAI.V27I1.8682},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GrosofS13.bib},
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},
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 = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1004},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1004/paper8.pdf},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/AndersenBCDFGKLS13.bib},
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},
eprinttype = {arXiv},
eprint = {1308.4125},
timestamp = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AndersenBCDFGKLS13.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}
}
@article{DBLP:journals/tplp/RiguzziS11,
author = {Fabrizio Riguzzi and
Terrance Swift},
title = {The {PITA} system: Tabling and answer subsumption for reasoning under
uncertainty},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {433--449},
year = {2011},
url = {https://doi.org/10.1017/S147106841100010X},
doi = {10.1017/S147106841100010X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RiguzziS11.bib},
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 = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {801--819},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000317},
doi = {10.1017/S1471068411000317},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SlotaLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ilp/RiguzziS11,
author = {Fabrizio Riguzzi and
Terrance Swift},
editor = {Stephen H. Muggleton and
Hiroaki Watanabe},
title = {The {PITA} System for Logical-Probabilistic Inference},
booktitle = {Latest Advances in Inductive Logic Programming, {ILP} 2011, Late Breaking
Papers, Windsor Great Park, UK, July 31 - August 3, 2011},
pages = {79--86},
publisher = {Imperial College Press / World Scientific},
year = {2011},
url = {https://doi.org/10.1142/9781783265091\_0010},
doi = {10.1142/9781783265091\_0010},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ilp/RiguzziS11.bib},
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},
eprinttype = {arXiv},
eprint = {1103.3949},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-3949.bib},
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},
eprinttype = {arXiv},
eprint = {1105.0288},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-0288.bib},
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},
eprinttype = {arXiv},
eprint = {1107.4747},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-4747.bib},
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},
eprinttype = {arXiv},
eprint = {1110.0631},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/RiguzziS10,
author = {Fabrizio Riguzzi and
Terrance Swift},
editor = {Wolfgang Faber and
Nicola Leone},
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},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/RiguzziS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RiguzziS10,
author = {Fabrizio Riguzzi and
Terrance Swift},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
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}},
series = {LIPIcs},
volume = {7},
pages = {162--171},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.162},
doi = {10.4230/LIPICS.ICLP.2010.162},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RiguzziS10.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}
}
@inproceedings{DBLP:conf/padl/GomesAS10,
author = {Ana Sofia Gomes and
Jos{\'{e}} J{\'{u}}lio Alferes and
Terrance Swift},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
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},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {25--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11503-5\_4},
doi = {10.1007/978-3-642-11503-5\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GomesAS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MarquesSC10,
author = {Rui Marques and
Terrance Swift and
Jos{\'{e}} C. Cunha},
editor = {Manuel Carro and
Ricardo Pe{\~{n}}a},
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},
series = {Lecture Notes in Computer Science},
volume = {5937},
pages = {264--278},
publisher = {Springer},
year = {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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/MarquesSC10.bib},
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},
eprinttype = {arXiv},
eprint = {1007.3515},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3515.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}
}
@inproceedings{DBLP:conf/iclp/Swift09,
author = {Terrance Swift},
editor = {Patricia M. Hill and
David Scott Warren},
title = {An Engine for Computing Well-Founded Models},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {514--518},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_45},
doi = {10.1007/978-3-642-02846-5\_45},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Swift09.bib},
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},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Incremental Answer Completion in the {SLG-WAM}},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {519--524},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_46},
doi = {10.1007/978-3-642-02846-5\_46},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SwiftPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Swift09,
author = {Terrance Swift},
editor = {Salvador Abreu and
Dietmar Seipel},
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},
series = {Lecture Notes in Computer Science},
volume = {6547},
pages = {1--19},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-20589-7\_1},
doi = {10.1007/978-3-642-20589-7\_1},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/Swift09.bib},
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},
editor = {Abraham Bernstein and
David R. Karger and
Tom Heath and
Lee Feigenbaum and
Diana Maynard and
Enrico Motta and
Krishnaprasad Thirunarayan},
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},
series = {Lecture Notes in Computer Science},
volume = {5823},
pages = {1--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04930-9\_1},
doi = {10.1007/978-3-642-04930-9\_1},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/AlferesKS09.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2009.bib},
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 = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarquesS08,
author = {Rui Marques and
Terrance Swift},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Concurrent and Local Evaluation of Normal Programs},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {206--222},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_24},
doi = {10.1007/978-3-540-89982-2\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarquesS08.bib},
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 = {Theory Pract. Log. Program.},
volume = {4},
number = {4},
pages = {383--428},
year = {2004},
url = {https://doi.org/10.1017/S1471068403001960},
doi = {10.1017/S1471068403001960},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlferesPS04.bib},
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},
editor = {Max Bramer and
Vladan Devedzic},
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},
series = {{IFIP}},
volume = {154},
pages = {155--165},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8151-0\_14},
doi = {10.1007/1-4020-8151-0\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/AlferesABDS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Swift04,
author = {Terrance Swift},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
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},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {275--288},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_24},
doi = {10.1007/978-3-540-24609-1\_24},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Swift04.bib},
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/0312057},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0312057.bib},
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/journals/ai/CuiS02.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}
}
@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/Swift00,
author = {Terrance Swift},
title = {Principles, practice, and applications of tabled logic programming},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {87--88},
year = {2000},
url = {https://doi.org/10.1145/340855.341031},
doi = {10.1145/340855.341031},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Swift00.bib},
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},
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 = {Psychiatric Diagnosis from the Viewpoint of Computational Logic},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1362--1376},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_91},
doi = {10.1007/3-540-44957-4\_91},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/GartnerSTDP00.bib},
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/journals/amai/Swift99.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/epia/Swift99,
author = {Terrance Swift},
editor = {Pedro Barahona and
Jos{\'{e}} J{\'{u}}lio Alferes},
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},
series = {Lecture Notes in Computer Science},
volume = {1695},
pages = {163--177},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48159-1\_12},
doi = {10.1007/3-540-48159-1\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/Swift99.bib},
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},
editor = {Danny De Schreye},
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},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AlferesPS99.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/lpnmr/DamasioPS99,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira and
Terrance Swift},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
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},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {262--276},
publisher = {Springer},
year = {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/conf/lpnmr/DamasioPS99.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}
}
@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 = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/SagonasS98.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}
}
@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 = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/DawsonRSS96.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/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/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/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/slp/DawsonRRS95,
author = {Steven Dawson and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Terrance Swift},
editor = {John W. Lloyd},
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},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300581},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/DawsonRRS95.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/iaai/SwiftHHNM94,
author = {Terrance Swift and
Calvin C. Henderson and
Richard Holberger and
Edward Neham and
John Murphy},
editor = {Elizabeth Byrnes and
Jan Aikins},
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},
publisher = {{AAAI} Press},
year = {1994},
url = {http://www.aaai.org/Library/IAAI/1994/iaai94-014.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iaai/SwiftHHNM94.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/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 = {Wed, 20 Jun 2018 17:26:07 +0200},
biburl = {https://dblp.org/rec/conf/deductive/SagonasSW93.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}
}
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-04-21 18:05 CEST 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:
