BibTeX records: Paul Fodor

download as .bib file

@article{DBLP:journals/tplp/WangFK23,
  author       = {Yuheng Wang and
                  Paul Fodor and
                  Michael Kifer},
  title        = {Knowledge Authoring for Rules and Actions},
  journal      = {Theory Pract. Log. Program.},
  volume       = {23},
  number       = {4},
  pages        = {797--811},
  year         = {2023},
  url          = {https://doi.org/10.1017/s1471068423000169},
  doi          = {10.1017/S1471068423000169},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/WangFK23.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    = {Tue, 23 Jan 2024 13:25:47 +0100},
  biburl       = {https://dblp.org/rec/series/lncs/GrosofKSFB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2023c,
  editor       = {Jan Vanthienen and
                  Tom{\'{a}}s Kliegr and
                  Paul Fodor and
                  Davide Lanti and
                  D{\"{o}}rthe Arndt and
                  Egor V. Kostylev and
                  Theodoros Mitsikas and
                  Ahmet Soylu},
  title        = {Proceedings of the 17th International Rule Challenge and 7th Doctoral
                  Consortium @ RuleML+RR 2023 co-located with 19th Reasoning Web Summer
                  School {(RW} 2023) and 15th DecisionCAMP 2023 as part of Declarative
                  {AI} 2023, Oslo, Norway, 18 - 20 September, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3485},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3485},
  urn          = {urn:nbn:de:0074-3485-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2023c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-07687,
  author       = {Sam van der Poel and
                  Dakotah Lambert and
                  Kalina Kostyszyn and
                  Tiantian Gao and
                  Rahul Verma and
                  Derek Andersen and
                  Joanne Chau and
                  Emily Peterson and
                  Cody St. Clair and
                  Paul Fodor and
                  Chihiro Shibata and
                  Jeffrey Heinz},
  title        = {MLRegTest: {A} Benchmark for the Machine Learning of Regular Languages},
  journal      = {CoRR},
  volume       = {abs/2304.07687},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.07687},
  doi          = {10.48550/ARXIV.2304.07687},
  eprinttype    = {arXiv},
  eprint       = {2304.07687},
  timestamp    = {Fri, 21 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-07687.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07763,
  author       = {Yuheng Wang and
                  Paul Fodor and
                  Michael Kifer},
  title        = {Knowledge Authoring for Rules and Actions},
  journal      = {CoRR},
  volume       = {abs/2305.07763},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.07763},
  doi          = {10.48550/ARXIV.2305.07763},
  eprinttype    = {arXiv},
  eprint       = {2305.07763},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-07763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FodorM22,
  author       = {Paul Fodor and
                  Marco Montali},
  title        = {Introduction to the Special Issue on the International Joint Conference
                  on Rules and Reasoning, RuleML+RR 2019},
  journal      = {Theory Pract. Log. Program.},
  volume       = {22},
  number       = {2},
  pages        = {158--161},
  year         = {2022},
  url          = {https://doi.org/10.1017/S1471068422000023},
  doi          = {10.1017/S1471068422000023},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/FodorM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-03094,
  author       = {Yuheng Wang and
                  Giorgian Borca{-}Tasciuc and
                  Nikhil Goel and
                  Paul Fodor and
                  Michael Kifer},
  editor       = {Yuliya Lierler and
                  Jos{\'{e}} F. Morales and
                  Carmine Dodaro and
                  Ver{\'{o}}nica Dahl and
                  Martin Gebser and
                  K. Tuncay Tekle},
  title        = {Knowledge Authoring with Factual English},
  booktitle    = {Proceedings 38th International Conference on Logic Programming, {ICLP}
                  2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
                  31st July 2022 - 6th August 2022},
  series       = {{EPTCS}},
  volume       = {364},
  pages        = {107--122},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.364.10},
  doi          = {10.4204/EPTCS.364.10},
  timestamp    = {Mon, 21 Aug 2023 17:48:16 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-03094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-07914,
  editor       = {Andrea Formisano and
                  Yanhong Annie Liu and
                  Bart Bogaerts and
                  Alex Brik and
                  Ver{\'{o}}nica Dahl and
                  Carmine Dodaro and
                  Paul Fodor and
                  Gian Luca Pozzato and
                  Joost Vennekens and
                  Neng{-}Fa Zhou},
  title        = {Proceedings 37th International Conference on Logic Programming (Technical
                  Communications), {ICLP} Technical Communications 2021, Porto (virtual
                  event), 20-27th September 2021},
  series       = {{EPTCS}},
  volume       = {345},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.345},
  doi          = {10.4204/EPTCS.345},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-07914.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/CalvaneseFM20,
  author       = {Diego Calvanese and
                  Paul Fodor and
                  Marco Montali},
  title        = {Report on the 3rd International Joint Conference on Rules and Reasoning
                  (RuleML+RR 2019)},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {7},
  number       = {2},
  pages        = {16--18},
  year         = {2020},
  url          = {https://doi.org/10.1145/3397619.3397623},
  doi          = {10.1145/3397619.3397623},
  timestamp    = {Wed, 27 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/CalvaneseFM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2020s,
  editor       = {Sotiris Moschoyiannis and
                  Paul Fodor and
                  Jan Vanthienen and
                  Daniela Inclezan and
                  Nikolay Nikolov and
                  Francisco Mart{\'{\i}}n{-}Recuerda and
                  Ioan Toma},
  title        = {Proceedings of the 14th International Rule Challenge, 4th Doctoral
                  Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with
                  16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020
                  as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19
                  pandemic), 29 June - 1 July, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2644},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2644},
  urn          = {urn:nbn:de:0074-2644-0},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/2020s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-09158,
  editor       = {Francesco Ricca and
                  Alessandra Russo and
                  Sergio Greco and
                  Nicola Leone and
                  Alexander Artikis and
                  Gerhard Friedrich and
                  Paul Fodor and
                  Angelika Kimmig and
                  Francesca A. Lisi and
                  Marco Maratea and
                  Alessandra Mileo and
                  Fabrizio Riguzzi},
  title        = {Proceedings 36th International Conference on Logic Programming (Technical
                  Communications), {ICLP} Technical Communications 2020, (Technical
                  Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
  series       = {{EPTCS}},
  volume       = {325},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.325},
  doi          = {10.4204/EPTCS.325},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-09158.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GaoFK19,
  author       = {Tiantian Gao and
                  Paul Fodor and
                  Michael Kifer},
  title        = {Querying Knowledge via Multi-Hop English Questions},
  journal      = {Theory Pract. Log. Program.},
  volume       = {19},
  number       = {5-6},
  pages        = {636--653},
  year         = {2019},
  url          = {https://doi.org/10.1017/S1471068419000103},
  doi          = {10.1017/S1471068419000103},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GaoFK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2019,
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Rules and Reasoning - Third International Joint Conference, RuleML+RR
                  2019, Bolzano, Italy, September 16-19, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11784},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0},
  doi          = {10.1007/978-3-030-31095-0},
  isbn         = {978-3-030-31094-3},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1909-07646,
  editor       = {Bart Bogaerts and
                  Esra Erdem and
                  Paul Fodor and
                  Andrea Formisano and
                  Giovambattista Ianni and
                  Daniela Inclezan and
                  Germ{\'{a}}n Vidal and
                  Alicia Villanueva and
                  Marina De Vos and
                  Fangkai Yang},
  title        = {Proceedings 35th International Conference on Logic Programming (Technical
                  Communications), {ICLP} 2019 Technical Communications, Las Cruces,
                  NM, USA, September 20-25, 2019},
  series       = {{EPTCS}},
  volume       = {306},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.306},
  doi          = {10.4204/EPTCS.306},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-07646.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-08176,
  author       = {Tiantian Gao and
                  Paul Fodor and
                  Michael Kifer},
  title        = {Querying Knowledge via Multi-Hop English Questions},
  journal      = {CoRR},
  volume       = {abs/1907.08176},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.08176},
  eprinttype    = {arXiv},
  eprint       = {1907.08176},
  timestamp    = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-08176.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/GaoFK18,
  author       = {Tiantian Gao and
                  Paul Fodor and
                  Michael Kifer},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Henderik A. Proper and
                  Claudio Agostino Ardagna and
                  Dumitru Roman and
                  Robert Meersman},
  title        = {Knowledge Authoring for Rule-Based Reasoning},
  booktitle    = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11230},
  pages        = {461--480},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02671-4\_28},
  doi          = {10.1007/978-3-030-02671-4\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/GaoFK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/GaoFK18,
  author       = {Tiantian Gao and
                  Paul Fodor and
                  Michael Kifer},
  title        = {High Accuracy Question Answering via Hybrid Controlled Natural Language},
  booktitle    = {2018 {IEEE/WIC/ACM} International Conference on Web Intelligence,
                  {WI} 2018, Santiago, Chile, December 3-6, 2018},
  pages        = {17--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/WI.2018.0-112},
  doi          = {10.1109/WI.2018.0-112},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webi/GaoFK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2018,
  editor       = {Alessandro Dal Pal{\`{u}} and
                  Paul Tarau and
                  Neda Saeedloei and
                  Paul Fodor},
  title        = {Technical Communications of the 34th International Conference on Logic
                  Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
  series       = {OASIcs},
  volume       = {64},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-090-3},
  isbn         = {978-3-95977-090-3},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2018s,
  editor       = {Wolfgang Faber and
                  Paul Fodor and
                  Giovanni De Gasperis and
                  Adrian Giurca and
                  Kia Teymourian},
  title        = {Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018
                  hosted by 2nd International Joint Conference on Rules and Reasoning
                  (RuleML+RR 2018), Luxembourg, September 20-26, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2204},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2204},
  urn          = {urn:nbn:de:0074-2204-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/2018s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/FoderGAB17,
  author       = {Paul Fodor and
                  Guido Governatori and
                  Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi},
  title        = {RuleML (Web Rule Symposium) 2016 Report},
  journal      = {{AI} Mag.},
  volume       = {38},
  number       = {1},
  pages        = {109--110},
  year         = {2017},
  url          = {https://doi.org/10.1609/aimag.v38i1.2720},
  doi          = {10.1609/AIMAG.V38I1.2720},
  timestamp    = {Fri, 11 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/FoderGAB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GrosofKF17,
  author       = {Benjamin N. Grosof and
                  Michael Kifer and
                  Paul Fodor},
  editor       = {Nick Bassiliades and
                  Antonis Bikakis and
                  Stefania Costantini and
                  Enrico Franconi and
                  Adrian Giurca and
                  Roman Kontchakov and
                  Theodore Patkos and
                  Fariba Sadri and
                  William Van Woensel},
  title        = {Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning},
  booktitle    = {Proceedings of the Doctoral Consortium, Challenge, Industry Track,
                  Tutorials and Posters @ RuleML+RR 2017 hosted by International Joint
                  Conference on Rules and Reasoning 2017 (RuleML+RR 2017), London, UK,
                  July 11-15, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1875},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1875/paper18.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/GrosofKF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Fodor16,
  author       = {Paul Fodor},
  title        = {10th International Web Rule Symposium (RuleML 2016) report},
  journal      = {{ACM} {SIGLOG} News},
  volume       = {3},
  number       = {4},
  pages        = {48--49},
  year         = {2016},
  url          = {https://doi.org/10.1145/3026744.3044204},
  doi          = {10.1145/3026744.3044204},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siglog/Fodor16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BikakisFGM16,
  author       = {Antonis Bikakis and
                  Paul Fodor and
                  Adrian Giurca and
                  Leora Morgenstern},
  title        = {Introduction to the special issue on the International Web Rule Symposia
                  2012-2014},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {3},
  pages        = {243--246},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068416000028},
  doi          = {10.1017/S1471068416000028},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BikakisFGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GaoFK16,
  author       = {Tiantian Gao and
                  Paul Fodor and
                  Michael Kifer},
  title        = {Paraconsistency and word puzzles},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {5-6},
  pages        = {703--720},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068416000326},
  doi          = {10.1017/S1471068416000326},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/GaoFK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2016,
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Rule Technologies. Research, Tools, and Applications - 10th International
                  Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9718},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6},
  doi          = {10.1007/978-3-319-42019-6},
  isbn         = {978-3-319-42018-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaoFK16,
  author       = {Tiantian Gao and
                  Paul Fodor and
                  Michael Kifer},
  title        = {Paraconsistency and Word Puzzles},
  journal      = {CoRR},
  volume       = {abs/1608.01338},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.01338},
  eprinttype    = {arXiv},
  eprint       = {1608.01338},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GaoFK16.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}
}
@inproceedings{DBLP:conf/rweb/GrosofKF15,
  author       = {Benjamin N. Grosof and
                  Michael Kifer and
                  Paul Fodor},
  editor       = {Wolfgang Faber and
                  Adrian Paschke},
  title        = {The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress
                  (Extended Abstract of Tutorial Presentation)},
  booktitle    = {Reasoning Web. Web Logic Rules - 11th International Summer School
                  2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {9203},
  pages        = {189--192},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21768-0\_7},
  doi          = {10.1007/978-3-319-21768-0\_7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/GrosofKF15.bib},
  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          = {https://ceur-ws.org/Vol-1417},
  urn          = {urn:nbn:de:0074-1417-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/2015c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2014,
  editor       = {Antonis Bikakis and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Rules on the Web. From Theory to Applications - 8th International
                  Symposium, RuleML 2014, Co-located with the 21st European Conference
                  on Artificial Intelligence, {ECAI} 2014, Prague, Czech Republic, August
                  18-20, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8620},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09870-8},
  doi          = {10.1007/978-3-319-09870-8},
  isbn         = {978-3-319-09869-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/BassedaKKGF13,
  author       = {Reza Basseda and
                  Michael Kifer and
                  John P. Kane and
                  Steven Greenspan and
                  Paul Fodor},
  title        = {Developing Troubleshooting Systems Using Ontologies},
  booktitle    = {2013 {IEEE/WIC/ACM} International Conferences on Web Intelligence
                  and Intelligent Agent Technology, Atlanta, Georgia, USA, 17-20 November
                  2013, Workshop Proceedings},
  pages        = {274--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WI-IAT.2013.204},
  doi          = {10.1109/WI-IAT.2013.204},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/BassedaKKGF13.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}
}
@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          = {https://ceur-ws.org/Vol-1004},
  urn          = {urn:nbn:de:0074-1004-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/2013-2.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/aai/AnicicRFS12,
  author       = {Darko Anicic and
                  Sebastian Rudolph and
                  Paul Fodor and
                  Nenad Stojanovic},
  title        = {Real-Time Complex Event Recognition and Reasoning-a Logic Programming
                  Approach},
  journal      = {Appl. Artif. Intell.},
  volume       = {26},
  number       = {1-2},
  pages        = {6--57},
  year         = {2012},
  url          = {https://doi.org/10.1080/08839514.2012.636616},
  doi          = {10.1080/08839514.2012.636616},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aai/AnicicRFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/LallyPMBPFFC12,
  author       = {Adam Lally and
                  John M. Prager and
                  Michael C. McCord and
                  Branimir Boguraev and
                  Siddharth Patwardhan and
                  James Fan and
                  Paul Fodor and
                  Jennifer Chu{-}Carroll},
  title        = {Question analysis: How Watson reads a clue},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {56},
  number       = {3},
  pages        = {2},
  year         = {2012},
  url          = {https://doi.org/10.1147/JRD.2012.2184637},
  doi          = {10.1147/JRD.2012.2184637},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/LallyPMBPFFC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/AnicicRFS12,
  author       = {Darko Anicic and
                  Sebastian Rudolph and
                  Paul Fodor and
                  Nenad Stojanovic},
  title        = {Stream reasoning and complex event processing in {ETALIS}},
  journal      = {Semantic Web},
  volume       = {3},
  number       = {4},
  pages        = {397--407},
  year         = {2012},
  url          = {https://doi.org/10.3233/SW-2011-0053},
  doi          = {10.3233/SW-2011-0053},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/semweb/AnicicRFS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FodorK11,
  author       = {Paul Fodor and
                  Michael Kifer},
  editor       = {John P. Gallagher and
                  Michael Gelfond},
  title        = {Transaction Logic with Defaults and Argumentation Theories},
  booktitle    = {Technical Communications of the 27th International Conference on Logic
                  Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
  series       = {LIPIcs},
  volume       = {11},
  pages        = {162--174},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2011.162},
  doi          = {10.4230/LIPICS.ICLP.2011.162},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/FodorK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FodorAR11,
  author       = {Paul Fodor and
                  Darko Anicic and
                  Sebastian Rudolph},
  editor       = {Ricardo Rocha and
                  John Launchbury},
  title        = {Results on Out-of-Order Event Processing},
  booktitle    = {Practical Aspects of Declarative Languages - 13th International Symposium,
                  {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6539},
  pages        = {220--234},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18378-2\_18},
  doi          = {10.1007/978-3-642-18378-2\_18},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/FodorAR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AnicicRFS11,
  author       = {Darko Anicic and
                  Sebastian Rudolph and
                  Paul Fodor and
                  Nenad Stojanovic},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {Retractable Complex Event Processing and Stream Reasoning},
  booktitle    = {Rule-Based Reasoning, Programming, and Applications - 5th International
                  Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6826},
  pages        = {122--137},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22546-8\_11},
  doi          = {10.1007/978-3-642-22546-8\_11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AnicicRFS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AnicicRFS11a,
  author       = {Darko Anicic and
                  Sebastian Rudolph and
                  Paul Fodor and
                  Nenad Stojanovic},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {A Declarative Framework for Matching Iterative and Aggregative Patterns
                  against Event Streams},
  booktitle    = {Rule-Based Reasoning, Programming, and Applications - 5th International
                  Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6826},
  pages        = {138--153},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22546-8\_12},
  doi          = {10.1007/978-3-642-22546-8\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AnicicRFS11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AnicicFRS11,
  author       = {Darko Anicic and
                  Paul Fodor and
                  Sebastian Rudolph and
                  Nenad Stojanovic},
  editor       = {Sadagopan Srinivasan and
                  Krithi Ramamritham and
                  Arun Kumar and
                  M. P. Ravindra and
                  Elisa Bertino and
                  Ravi Kumar},
  title        = {{EP-SPARQL:} a unified language for event processing and stream reasoning},
  booktitle    = {Proceedings of the 20th International Conference on World Wide Web,
                  {WWW} 2011, Hyderabad, India, March 28 - April 1, 2011},
  pages        = {635--644},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1963405.1963495},
  doi          = {10.1145/1963405.1963495},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/AnicicFRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FodorK10,
  author       = {Paul Fodor and
                  Michael Kifer},
  editor       = {Temur Kutsia and
                  Wolfgang Schreiner and
                  Maribel Fern{\'{a}}ndez},
  title        = {Tabling for transaction logic},
  booktitle    = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
                  Principles and Practice of Declarative Programming, July 26-28, 2010,
                  Hagenberg, Austria},
  pages        = {199--208},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1836089.1836115},
  doi          = {10.1145/1836089.1836115},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/FodorK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AnicicFRSSS10,
  author       = {Darko Anicic and
                  Paul Fodor and
                  Sebastian Rudolph and
                  Roland St{\"{u}}hmer and
                  Nenad Stojanovic and
                  Rudi Studer},
  editor       = {Pascal Hitzler and
                  Thomas Lukasiewicz},
  title        = {A Rule-Based Language for Complex Event Processing and Reasoning},
  booktitle    = {Web Reasoning and Rule Systems - Fourth International Conference,
                  {RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6333},
  pages        = {42--57},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15918-3\_5},
  doi          = {10.1007/978-3-642-15918-3\_5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/AnicicFRSSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Fodor09,
  author       = {Paul Fodor},
  title        = {Initial Results on Justification for the Tabled Transaction Logic},
  booktitle    = {Intelligent Event Processing, Papers from the 2009 {AAAI} Spring Symposium,
                  Technical Report SS-09-05, Stanford, California, USA, March 23-25,
                  2009},
  pages        = {52--53},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2009/ss09-05-009.php},
  timestamp    = {Fri, 17 Feb 2012 13:46:59 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Fodor09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cse/AnicicFSS09,
  author       = {Darko Anicic and
                  Paul Fodor and
                  Roland St{\"{u}}hmer and
                  Nenad Stojanovic},
  title        = {Event-Driven Approach for Logic-Based Complex Event Processing},
  booktitle    = {Proceedings of the 12th {IEEE} International Conference on Computational
                  Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
                  29-31, 2009},
  pages        = {56--63},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CSE.2009.402},
  doi          = {10.1109/CSE.2009.402},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cse/AnicicFSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/AnicicFSS09,
  author       = {Darko Anicic and
                  Paul Fodor and
                  Nenad Stojanovic and
                  Roland St{\"{u}}hmer},
  editor       = {Aniruddha S. Gokhale and
                  Douglas C. Schmidt},
  title        = {An approach for data-driven and logic-based complex Event Processing},
  booktitle    = {Proceedings of the Third {ACM} International Conference on Distributed
                  Event-Based Systems, {DEBS} 2009, Nashville, Tennessee, USA, July
                  6-9, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1619258.1619293},
  doi          = {10.1145/1619258.1619293},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/debs/AnicicFSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/AnicicFSS09a,
  author       = {Darko Anicic and
                  Paul Fodor and
                  Nenad Stojanovic and
                  Roland St{\"{u}}hmer},
  editor       = {Aniruddha S. Gokhale and
                  Douglas C. Schmidt},
  title        = {Computing complex events in an event-driven and logic-based approach},
  booktitle    = {Proceedings of the Third {ACM} International Conference on Distributed
                  Event-Based Systems, {DEBS} 2009, Nashville, Tennessee, USA, July
                  6-9, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1619258.1619304},
  doi          = {10.1145/1619258.1619304},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/debs/AnicicFSS09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WanGKFL09,
  author       = {Hui Wan and
                  Benjamin N. Grosof and
                  Michael Kifer and
                  Paul Fodor and
                  Senlin Liang},
  editor       = {Patricia M. Hill and
                  David Scott Warren},
  title        = {Logic Programming with Defaults and Argumentation Theories},
  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        = {432--448},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02846-5\_35},
  doi          = {10.1007/978-3-642-02846-5\_35},
  timestamp    = {Sat, 23 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/WanGKFL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fodor09,
  author       = {Paul Fodor},
  editor       = {Patricia M. Hill and
                  David Scott Warren},
  title        = {Research Summary: Tabled Evaluation for Transaction Logic Programs},
  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        = {525--526},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02846-5\_47},
  doi          = {10.1007/978-3-642-02846-5\_47},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Fodor09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/LiangFWK09,
  author       = {Senlin Liang and
                  Paul Fodor and
                  Hui Wan and
                  Michael Kifer},
  editor       = {Juan Quemada and
                  Gonzalo Le{\'{o}}n and
                  Yo{\"{e}}lle S. Maarek and
                  Wolfgang Nejdl},
  title        = {OpenRuleBench: an analysis of the performance of rule engines},
  booktitle    = {Proceedings of the 18th International Conference on World Wide Web,
                  {WWW} 2009, Madrid, Spain, April 20-24, 2009},
  pages        = {601--610},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1526709.1526790},
  doi          = {10.1145/1526709.1526790},
  timestamp    = {Sat, 23 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/LiangFWK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-3510,
  author       = {Diptikalyan Saha and
                  Paul Fodor},
  title        = {A simple and efficient explicit parallelization of logic programs
                  using low-level threading primitives},
  journal      = {CoRR},
  volume       = {abs/0912.3510},
  year         = {2009},
  url          = {http://arxiv.org/abs/0912.3510},
  eprinttype    = {arXiv},
  eprint       = {0912.3510},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-3510.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Fodor08,
  author       = {Paul Fodor},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Existentially Quantified Values for Queries and Updates of Facts in
                  Transaction Logic Programs},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {1798--1799},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-289.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Fodor08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Fodor08a,
  author       = {Paul Fodor},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Querying Sequential and Concurrent Horn Transaction Logic Programs
                  Using Tabling Techniques},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {1800--1801},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-290.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Fodor08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Fodor08b,
  author       = {Paul Fodor},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Optimizations and Extensions for the Horn Transaction Logic Programs},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {1849--1850},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-314.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Fodor08b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-1721,
  author       = {Paul Fodor},
  title        = {Initial Results on the F-logic to {OWL} Bi-directional Translation
                  on a Tabled Prolog Engine},
  journal      = {CoRR},
  volume       = {abs/0808.1721},
  year         = {2008},
  url          = {http://arxiv.org/abs/0808.1721},
  eprinttype    = {arXiv},
  eprint       = {0808.1721},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0808-1721.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0680,
  author       = {Paul Fodor and
                  Adam Lally and
                  David A. Ferrucci},
  title        = {The Prolog Interface to the Unstructured Information Management Architecture},
  journal      = {CoRR},
  volume       = {abs/0809.0680},
  year         = {2008},
  url          = {http://arxiv.org/abs/0809.0680},
  eprinttype    = {arXiv},
  eprint       = {0809.0680},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0809-0680.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0709-1699,
  author       = {Paul Fodor},
  title        = {Efficient Tabling Mechanisms for Transaction Logic Programs},
  journal      = {CoRR},
  volume       = {abs/0709.1699},
  year         = {2007},
  url          = {http://arxiv.org/abs/0709.1699},
  eprinttype    = {arXiv},
  eprint       = {0709.1699},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0709-1699.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703069,
  author       = {Paul Fodor},
  title        = {Portlet Wrappers using JavaScript},
  journal      = {CoRR},
  volume       = {abs/cs/0703069},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703069},
  eprinttype    = {arXiv},
  eprint       = {cs/0703069},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703069.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703070,
  author       = {Paul Fodor},
  title        = {Flexible Audio Streams},
  journal      = {CoRR},
  volume       = {abs/cs/0703070},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703070},
  eprinttype    = {arXiv},
  eprint       = {cs/0703070},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703071,
  author       = {Paul Fodor},
  title        = {Automatic Annotation of {XHTML} Pages with Audio Components},
  journal      = {CoRR},
  volume       = {abs/cs/0703071},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703071},
  eprinttype    = {arXiv},
  eprint       = {cs/0703071},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703072,
  author       = {Paul Fodor},
  title        = {Domain Directed Dialogs for Decision Processes},
  journal      = {CoRR},
  volume       = {abs/cs/0703072},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703072},
  eprinttype    = {arXiv},
  eprint       = {cs/0703072},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703080,
  author       = {Joy Dutta and
                  Paul Fodor},
  title        = {A Systematic Approach to Web-Application Development},
  journal      = {CoRR},
  volume       = {abs/cs/0703080},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703080},
  eprinttype    = {arXiv},
  eprint       = {cs/0703080},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703080.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slt/FodorH06,
  author       = {Paul Fodor and
                  Juan M. Huerta},
  editor       = {Mazin Gilbert and
                  Hermann Ney},
  title        = {Planning and Logic Programming for Dialog Management},
  booktitle    = {2006 {IEEE} {ACL} Spoken Language Technology Workshop, {SLT} 2006,
                  Palm Beach, Aruba, December 10-13, 2006},
  pages        = {214--217},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/SLT.2006.326793},
  doi          = {10.1109/SLT.2006.326793},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/slt/FodorH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics