BibTeX records: Harold Boley

download as .bib file

@inproceedings{DBLP:conf/ruleml/ThomBM21,
  author       = {Mark Thom and
                  Harold Boley and
                  Theodoros Mitsikas},
  editor       = {Sotiris Moschoyiannis and
                  Rafael Pe{\~{n}}aloza and
                  Jan Vanthienen and
                  Ahmet Soylu and
                  Dumitru Roman},
  title        = {cl-psoatransrun: An Efficiently Executable Specification of {PSOA}
                  RuleML in Common Lisp},
  booktitle    = {Rules and Reasoning - 5th International Joint Conference, RuleML+RR
                  2021, Leuven, Belgium, September 13-15, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12851},
  pages        = {234--249},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91167-6\_16},
  doi          = {10.1007/978-3-030-91167-6\_16},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/ThomBM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scc/NovelGBB20,
  author       = {Marc Novel and
                  Rolf Gr{\"{u}}tter and
                  Harold Boley and
                  Abraham Bernstein},
  title        = {Nearness as context-dependent expression: an integrative review of
                  modeling, measurement and contextual properties},
  journal      = {Spatial Cogn. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {161--233},
  year         = {2020},
  url          = {https://doi.org/10.1080/13875868.2020.1754832},
  doi          = {10.1080/13875868.2020.1754832},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scc/NovelGBB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ThomBM20,
  author       = {Mark Thom and
                  Harold Boley and
                  Theodoros Mitsikas},
  editor       = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and
                  Tom{\'{a}}s Kliegr and
                  Ahmet Soylu and
                  Martin Giese and
                  Dumitru Roman},
  title        = {Invertible Bidirectional Metalogical Translation Between Prolog and
                  RuleML for Knowledge Representation and Querying},
  booktitle    = {Rules and Reasoning - 4th International Joint Conference, RuleML+RR
                  2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12173},
  pages        = {112--128},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-57977-7\_8},
  doi          = {10.1007/978-3-030-57977-7\_8},
  timestamp    = {Wed, 26 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ThomBM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AthanBC19,
  author       = {Tara Athan and
                  Harold Boley and
                  Rima Chaudhari},
  editor       = {Ahmet Soylu and
                  Sotiris Moschoyiannis and
                  Guido Governatori and
                  Mantas Simkus and
                  Petros S. Stefaneas and
                  Alexander Steen and
                  Adrian Giurca},
  title        = {Specifying {PSOA} RuleML/XML 1.03: MYNG-modularized Schemas for the
                  {RNC} {\&} {XSD} Validation of XSLT-normalized Data and Knowledge},
  booktitle    = {Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule
                  Challenge, September 16-19, 2019 - Bolzano, Italy co-located with
                  3rd International Joint Conference on Rules and Reasoning (RuleML+RR
                  2019) 5th Global Conference on Artificial Intelligence {(GCAI} 2019)
                  15th Reasoning Web Summer School {(RW} 2019) DecisionCAMP 2019 (DecisionCAMP
                  2019), Bolzano, Italy, September 16-24, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2438},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2438/paper7.pdf},
  timestamp    = {Mon, 26 Jun 2023 20:49:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AthanBC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/DeryckMASFOBV19,
  author       = {Marjolein Deryck and
                  Theodoros Mitsikas and
                  Sofia Almpani and
                  Petros S. Stefaneas and
                  Panayiotis Frangos and
                  Iakovos Ouranos and
                  Harold Boley and
                  Joost Vennekens},
  editor       = {Paul Fodor and
                  Marco Montali and
                  Diego Calvanese and
                  Dumitru Roman},
  title        = {Aligning, Interoperating, and Co-executing Air Traffic Control Rules
                  Across {PSOA} RuleML and {IDP}},
  booktitle    = {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},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-31095-0\_4},
  doi          = {10.1007/978-3-030-31095-0\_4},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/DeryckMASFOBV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AlmpaniSBMF18,
  author       = {Sofia Almpani and
                  Petros S. Stefaneas and
                  Harold Boley and
                  Theodoros Mitsikas and
                  Panayiotis Frangos},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Henderik A. Proper and
                  Claudio Agostino Ardagna and
                  Dumitru Roman and
                  Robert Meersman},
  title        = {Object-Relational Rules for Medical Devices: Classification and Conformity},
  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        = {584--591},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02671-4\_37},
  doi          = {10.1007/978-3-030-02671-4\_37},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/AlmpaniSBMF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AlmpaniSBMF18,
  author       = {Sofia Almpani and
                  Petros S. Stefaneas and
                  Harold Boley and
                  Theodoros Mitsikas and
                  Panayiotis Frangos},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Francesco Ricca and
                  Xavier Parent and
                  Dumitru Roman},
  title        = {Computational Regulation of Medical Devices in {PSOA} RuleML},
  booktitle    = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
                  2018, Luxembourg, September 18-21, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11092},
  pages        = {203--210},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99906-7\_13},
  doi          = {10.1007/978-3-319-99906-7\_13},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AlmpaniSBMF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GratzBP18,
  author       = {Lukas Gr{\"{a}}tz and
                  Harold Boley and
                  Adrian Paschke},
  editor       = {Wolfgang Faber and
                  Paul Fodor and
                  Giovanni De Gasperis and
                  Adrian Giurca and
                  Kia Teymourian},
  title        = {{PSOA} Prova: {PSOA} Translation of Pure Production Rules to the Prova
                  Engine},
  booktitle    = {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/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/GratzBP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AlmugbelB17,
  author       = {Zainab Almugbel and
                  Harold Boley},
  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        = {Representing, Querying, and Visualizing Health-Insurance Knowledge
                  in a Cost-Sharing Estimator},
  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/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AlmugbelB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZouBWL17,
  author       = {Gen Zou and
                  Harold Boley and
                  Dylan Wood and
                  Kieran Lea},
  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        = {Port Clearance Rules in {PSOA} RuleML: From Controlled-English Regulation
                  to Object-Relational Logic},
  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/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZouBWL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-02869,
  author       = {Harold Boley and
                  Gen Zou},
  title        = {Perspectival Knowledge in {PSOA} RuleML: Representation, Model Theory,
                  and Translation},
  journal      = {CoRR},
  volume       = {abs/1712.02869},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.02869},
  eprinttype    = {arXiv},
  eprint       = {1712.02869},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-02869.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEicci/KianiBB16,
  author       = {Mahsa Kiani and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Yingxu Wang and
                  Newton Howard and
                  Bernard Widrow and
                  Konstantinos N. Plataniotis and
                  Lotfi A. Zadeh},
  title        = {Semantic computing of simplicity in attributed generalized trees},
  booktitle    = {15th {IEEE} International Conference on Cognitive Informatics {\&}
                  Cognitive Computing ,ICCI*CC 2016, Palo Alto, CA, USA, August 22-23,
                  2016},
  pages        = {244--251},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICCI-CC.2016.7862043},
  doi          = {10.1109/ICCI-CC.2016.7862043},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEicci/KianiBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/ManirRBKB16,
  author       = {Mohammad Sadnan Al Manir and
                  Alexandre Riazanov and
                  Harold Boley and
                  Artjom Klein and
                  Christopher J. O. Baker},
  editor       = {Evan Desai and
                  Bipin C. Desai and
                  Motomichi Toyama and
                  Jorge Bernardino},
  title        = {Valet {SADI:} Provisioning {SADI} Web Services for Semantic Querying
                  of Relational Databases},
  booktitle    = {Proceedings of the 20th International Database Engineering {\&}
                  Applications Symposium, {IDEAS} 2016, Montreal, QC, Canada, July 11-13,
                  2016},
  pages        = {248--255},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2938503.2938543},
  doi          = {10.1145/2938503.2938543},
  timestamp    = {Tue, 06 Nov 2018 16:58:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ideas/ManirRBKB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Boley16,
  author       = {Harold Boley},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {The RuleML Knowledge-Interoperation Hub},
  booktitle    = {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},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_2},
  doi          = {10.1007/978-3-319-42019-6\_2},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Boley16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BoleyBLS16,
  author       = {Harold Boley and
                  Christoph Benzm{\"{u}}ller and
                  Meng Luan and
                  Zhendong Sha},
  editor       = {Tara Athan and
                  Adrian Giurca and
                  Rolf Gr{\"{u}}tter and
                  Mark Proctor and
                  Kia Teymourian and
                  William Van Woensel},
  title        = {Translating Higher-Order Modal Logic from RuleML to {TPTP}},
  booktitle    = {Supplementary Proceedings of the RuleML 2016 Challenge, Doctoral Consortium
                  and Industry Track hosted by the 10th International Web Rule Symposium,
                  RuleML 2016, New York, USA, July 6-9, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1620},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1620/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/BoleyBLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZouB16,
  author       = {Gen Zou and
                  Harold Boley},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Leopoldo E. Bertossi and
                  Guido Governatori and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {Minimal Objectification and Maximal Unnesting in {PSOA} RuleML},
  booktitle    = {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},
  pages        = {130--147},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42019-6\_9},
  doi          = {10.1007/978-3-319-42019-6\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZouB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ManirRBKB16,
  author       = {Mohammad Sadnan Al Manir and
                  Alexandre Riazanov and
                  Harold Boley and
                  Artjom Klein and
                  Christopher J. O. Baker},
  editor       = {Sven Groppe and
                  Le Gruenwald},
  title        = {Automated generation of {SADI} semantic web services for clinical
                  intelligence},
  booktitle    = {Proceedings of the International Workshop on Semantic Big Data, San
                  Francisco, CA, USA, July 1, 2016},
  pages        = {6},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2928294.2928298},
  doi          = {10.1145/2928294.2928298},
  timestamp    = {Tue, 06 Nov 2018 11:07:39 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/ManirRBKB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AgarwalMGB15,
  author       = {Sudhir Agarwal and
                  Abhijeet Mohapatra and
                  Michael R. Genesereth and
                  Harold Boley},
  editor       = {Nick Bassiliades and
                  Georg Gottlob and
                  Fariba Sadri and
                  Adrian Paschke and
                  Dumitru Roman},
  title        = {Rule-Based Exploration of Structured Data in the Browser},
  booktitle    = {Rule Technologies: Foundations, Tools, and Applications - 9th International
                  Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9202},
  pages        = {161--175},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21542-6\_11},
  doi          = {10.1007/978-3-319-21542-6\_11},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AgarwalMGB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AthanBP15,
  author       = {Tara Athan and
                  Harold Boley and
                  Adrian Paschke},
  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        = {RuleML 1.02: Deliberation, Reaction and Consumer Families},
  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/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AthanBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZouB15,
  author       = {Gen Zou and
                  Harold Boley},
  editor       = {Nick Bassiliades and
                  Georg Gottlob and
                  Fariba Sadri and
                  Adrian Paschke and
                  Dumitru Roman},
  title        = {PSOA2Prolog: Object-Relational Rule Interoperation and Implementation
                  by Translation from {PSOA} RuleML to {ISO} Prolog},
  booktitle    = {Rule Technologies: Foundations, Tools, and Applications - 9th International
                  Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9202},
  pages        = {176--192},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21542-6\_12},
  doi          = {10.1007/978-3-319-21542-6\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZouB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Boley15,
  author       = {Harold Boley},
  editor       = {Wolfgang Faber and
                  Adrian Paschke},
  title        = {{PSOA} RuleML: Integrated Object-Relational Data and Rules},
  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        = {114--150},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21768-0\_5},
  doi          = {10.1007/978-3-319-21768-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/Boley15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sisap/KianiBB15,
  author       = {Mahsa Kiani and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Giuseppe Amato and
                  Richard Connor and
                  Fabrizio Falchi and
                  Claudio Gennaro},
  title        = {Similarity of Attributed Generalized Tree Structures: {A} Comparative
                  Study},
  booktitle    = {Similarity Search and Applications - 8th International Conference,
                  {SISAP} 2015, Glasgow, UK, October 12-14, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9371},
  pages        = {150--161},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25087-8\_14},
  doi          = {10.1007/978-3-319-25087-8\_14},
  timestamp    = {Fri, 18 Nov 2022 17:12:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sisap/KianiBB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/ManirRBKB15,
  author       = {Mohammad Sadnan Al Manir and
                  Alexandre Riazanov and
                  Harold Boley and
                  Artjom Klein and
                  Christopher J. O. Baker},
  editor       = {James Malone and
                  Robert Stevens and
                  Kerstin Forsberg and
                  Andrea Splendiani},
  title        = {Automated Generation of {SADI} Web Services for Clinical Intelligence
                  using Ruled-Based Semantic Mappings},
  booktitle    = {Proceedings of the 8th Semantic Web Applications and Tools for Life
                  Sciences International Conference, Cambridge UK, December 7-10, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1546},
  pages        = {203--204},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1546/poster\_45.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:03 +0100},
  biburl       = {https://dblp.org/rec/conf/swat4ls/ManirRBKB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEicci/KianiBB14,
  author       = {Mahsa Kiani and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  title        = {A fuzzy structure similarity algorithm for attributed generalized
                  trees},
  booktitle    = {{IEEE} 13th International Conference on Cognitive Informatics and
                  Cognitive Computing, ICCI*CC 2014, London, UK, August 18-20, 2014},
  pages        = {203--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCI-CC.2014.6921461},
  doi          = {10.1109/ICCI-CC.2014.6921461},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEicci/KianiBB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AthanB14,
  author       = {Tara Athan and
                  Harold Boley},
  editor       = {Theodore Patkos and
                  Adam Z. Wyner and
                  Adrian Giurca},
  title        = {The {MYNG} 1.01 Suite for Deliberation RuleML 1.01: Taming the Language
                  Lattice},
  booktitle    = {Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral
                  Consortium hosted by the 8th International Web Rule Symposium, Challenge+DC@RuleML
                  2014, Prague, Czech Republic, August 18-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1211},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1211/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/AthanB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BoleyGZAE14,
  author       = {Harold Boley and
                  Rolf Gr{\"{u}}tter and
                  Gen Zou and
                  Tara Athan and
                  Sophia Etzold},
  editor       = {Antonis Bikakis and
                  Paul Fodor and
                  Dumitru Roman},
  title        = {A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access
                  in Ecosystem Research},
  booktitle    = {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},
  pages        = {112--126},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09870-8\_8},
  doi          = {10.1007/978-3-319-09870-8\_8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BoleyGZAE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/DonzB14,
  author       = {Benjamin D{\"{o}}nz and
                  Harold Boley},
  editor       = {Theodore Patkos and
                  Adam Z. Wyner and
                  Adrian Giurca},
  title        = {Extracting Data from the Deep Web with Global-as-View Mediators Using
                  Rule-Enriched Semantic Annotations},
  booktitle    = {Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral
                  Consortium hosted by the 8th International Web Rule Symposium, Challenge+DC@RuleML
                  2014, Prague, Czech Republic, August 18-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1211},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1211/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/DonzB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/PaschkeB14,
  author       = {Adrian Paschke and
                  Harold Boley},
  editor       = {Theodore Patkos and
                  Adam Z. Wyner and
                  Adrian Giurca},
  title        = {Distributed Rule-based Agents with Rule Responder and Reaction RuleML
                  1.0},
  booktitle    = {Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral
                  Consortium hosted by the 8th International Web Rule Symposium, Challenge+DC@RuleML
                  2014, Prague, Czech Republic, August 18-20, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1211},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1211/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/PaschkeB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/KianiBB14,
  author       = {Mahsa Kiani and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  title        = {Structure Similarity of Attributed Generalized Trees},
  booktitle    = {2014 {IEEE} International Conference on Semantic Computing, Newport
                  Beach, CA, USA, June 16-18, 2014},
  pages        = {100--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICSC.2014.33},
  doi          = {10.1109/ICSC.2014.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semco/KianiBB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/HaqPSB13,
  author       = {Irfan Ul Haq and
                  Adrian Paschke and
                  Erich Schikuta and
                  Harold Boley},
  title        = {Rule-based validation of {SLA} choreographies},
  journal      = {J. Supercomput.},
  volume       = {63},
  number       = {1},
  pages        = {24--45},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11227-010-0492-1},
  doi          = {10.1007/S11227-010-0492-1},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/HaqPSB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csws/KianiBB13,
  author       = {Mahsa Kiani and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Ren{\'{e}} Witte and
                  Christopher J. O. Baker and
                  Greg Butler and
                  Michel Dumontier},
  title        = {Combined Structure-Weight Graph Similarity and its Application in
                  E-Health},
  booktitle    = {Proceedings of the 4th Canadian Semantic Web Symposium part of the
                  Semantic Trilogy 2013, Montreal, QC, Canada, July 10th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1054},
  pages        = {12--18},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1054/paper-04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/csws/KianiBB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csws/ManirRBB13,
  author       = {Mohammad Sadnan Al Manir and
                  Alexandre Riazanov and
                  Harold Boley and
                  Christopher J. O. Baker},
  editor       = {Ren{\'{e}} Witte and
                  Christopher J. O. Baker and
                  Greg Butler and
                  Michel Dumontier},
  title        = {Generating Semantic Web Services from Declarative Descriptions},
  booktitle    = {Proceedings of the 4th Canadian Semantic Web Symposium part of the
                  Semantic Trilogy 2013, Montreal, QC, Canada, July 10th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1054},
  pages        = {33--36},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1054/paper-08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csws/ManirRBB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csws/AkbariYZB13,
  author       = {Ismail Akbari and
                  Bo Yan and
                  Junyan Zhang and
                  Harold Boley},
  editor       = {Ren{\'{e}} Witte and
                  Christopher J. O. Baker and
                  Greg Butler and
                  Michel Dumontier},
  title        = {Visualizing {SWRL} Rules: From Unary/Binary Datalog and {PSOA} RuleML
                  to Graphviz and Grailog},
  booktitle    = {Proceedings of the 4th Canadian Semantic Web Symposium part of the
                  Semantic Trilogy 2013, Montreal, QC, Canada, July 10th, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1054},
  pages        = {56--57},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1054/paper-15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csws/AkbariYZB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dest/BastideBSS13,
  author       = {R{\'{e}}mi Bastide and
                  Harold Boley and
                  Amadou Sienou and
                  Matthew Smith},
  title        = {Track {F:} Healthcare and sustainable living},
  booktitle    = {7th {IEEE} International Conference on Digital Ecosystems and Technologies,
                  {DEST} 2013, Menlo Park, CA, USA, July 24-26, 2013},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/DEST.2013.6611313},
  doi          = {10.1109/DEST.2013.6611313},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/dest/BastideBSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icail/AthanBGPPW13,
  author       = {Tara Athan and
                  Harold Boley and
                  Guido Governatori and
                  Monica Palmirani and
                  Adrian Paschke and
                  Adam Z. Wyner},
  editor       = {Enrico Francesconi and
                  Bart Verheij},
  title        = {{OASIS} LegalRuleML},
  booktitle    = {International Conference on Artificial Intelligence and Law, {ICAIL}
                  '13, Rome, Italy, June 10-14, 2013},
  pages        = {3--12},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2514601.2514603},
  doi          = {10.1145/2514601.2514603},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icail/AthanBGPPW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AthanBGPPW13,
  author       = {Tara Athan and
                  Harold Boley and
                  Guido Governatori and
                  Monica Palmirani and
                  Adrian Paschke and
                  Adam Z. Wyner},
  editor       = {Leora Morgenstern and
                  Petros S. Stefaneas and
                  Fran{\c{c}}ois L{\'{e}}vy and
                  Adam Z. Wyner and
                  Adrian Paschke},
  title        = {LegalRuleML: From Metamodel to Use Cases - {(A} Tutorial)},
  booktitle    = {Theory, Practice, and Applications of Rules on the Web - 7th International
                  Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8035},
  pages        = {13--18},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39617-5\_4},
  doi          = {10.1007/978-3-642-39617-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AthanBGPPW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Boley13,
  author       = {Harold Boley},
  editor       = {Leora Morgenstern and
                  Petros S. Stefaneas and
                  Fran{\c{c}}ois L{\'{e}}vy and
                  Adam Z. Wyner and
                  Adrian Paschke},
  title        = {Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules},
  booktitle    = {Theory, Practice, and Applications of Rules on the Web - 7th International
                  Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8035},
  pages        = {52--67},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39617-5\_9},
  doi          = {10.1007/978-3-642-39617-5\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Boley13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/KochSBH13,
  author       = {Martin Koch and
                  Sven Schmidt and
                  Harold Boley and
                  Rainer Herpers},
  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        = {Grailog {KS} Viz: {A} Grailog Visualizer for Datalog RuleML Using
                  an {XSLT} Translator to {SVG}},
  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/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/KochSBH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZhaoBD13,
  author       = {Jidi Zhao and
                  Harold Boley and
                  Jing Dong},
  editor       = {Fernando Bobillo and
                  Paulo Cesar G. da Costa and
                  Claudia d'Amato and
                  Nicola Fanizzi and
                  Kathryn B. Laskey and
                  Kenneth J. Laskey and
                  Thomas Lukasiewicz and
                  Matthias Nickles and
                  Michael Pool},
  title        = {A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule
                  Interchange Format: From Encoding to Extension},
  booktitle    = {Uncertainty Reasoning for the Semantic Web II, International Workshops
                  {URSW} 2008-2010 Held at {ISWC} and UniDL 2010 Held at FLoC, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7123},
  pages        = {197--216},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35975-0\_11},
  doi          = {10.1007/978-3-642-35975-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/semweb/ZhaoBD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/KravariBB12,
  author       = {Kalliopi Kravari and
                  Nick Bassiliades and
                  Harold Boley},
  title        = {Cross-community interoperation between knowledge-based multi-agent
                  systems: {A} study on {EMERALD} and Rule Responder},
  journal      = {Expert Syst. Appl.},
  volume       = {39},
  number       = {10},
  pages        = {9571--9587},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.eswa.2012.02.160},
  doi          = {10.1016/J.ESWA.2012.02.160},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/KravariBB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/KravariBB12a,
  author       = {Kalliopi Kravari and
                  Nick Bassiliades and
                  Harold Boley},
  title        = {Erratum to "Cross-community interoperation between knowledge-based
                  multi-agent systems: {A} study on {EMERALD} and Rule Responder"
                  [Expert Systems with Applications 39 {(10)} {(2012)} 9571-9587]},
  journal      = {Expert Syst. Appl.},
  volume       = {39},
  number       = {18},
  pages        = {13549},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.eswa.2012.07.001},
  doi          = {10.1016/J.ESWA.2012.07.001},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/KravariBB12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dest/FabbricatoreBK12,
  author       = {Christian Fabbricatore and
                  Harold Boley and
                  Achim P. Karduck},
  title        = {Machine learning for resource management in smart environments},
  booktitle    = {6th {IEEE} International Conference on Digital Ecosystems and Technologies,
                  {DEST} 2012, Campione d'Italia, Italy, June 18-20, 2012},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/DEST.2012.6227910},
  doi          = {10.1109/DEST.2012.6227910},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/dest/FabbricatoreBK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PaullSRABDGHNRGSSSTL12,
  author       = {Liam Paull and
                  Ga{\"{e}}tan S{\'{e}}verac and
                  Guilherme V. Raffo and
                  Julian Mauricio Angel and
                  Harold Boley and
                  Phillip J. Durst and
                  Wendell Gray and
                  Maki K. Habib and
                  Bao Nguyen and
                  S. Veera Ragavan and
                  Sajad Saeedi G. and
                  Ricardo Sanz and
                  Mae L. Seto and
                  Aleksandar Stefanovski and
                  Michael Trentini and
                  Howard Li},
  title        = {Towards an Ontology for Autonomous Robots},
  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
                  2012},
  pages        = {1359--1364},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/IROS.2012.6386119},
  doi          = {10.1109/IROS.2012.6386119},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/PaullSRABDGHNRGSSSTL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/PaschkeBZTA12,
  author       = {Adrian Paschke and
                  Harold Boley and
                  Zhili Zhao and
                  Kia Teymourian and
                  Tara Athan},
  editor       = {Antonis Bikakis and
                  Adrian Giurca},
  title        = {Reaction RuleML 1.0: Standardized Semantic Reaction Rules},
  booktitle    = {Rules on the Web: Research and Applications - 6th International Symposium,
                  RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7438},
  pages        = {100--119},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32689-9\_9},
  doi          = {10.1007/978-3-642-32689-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/PaschkeBZTA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZouPBR12,
  author       = {Gen Zou and
                  Reuben Peter{-}Paul and
                  Harold Boley and
                  Alexandre Riazanov},
  editor       = {Antonis Bikakis and
                  Adrian Giurca},
  title        = {{PSOA2TPTP:} {A} Reference Translator for Interoperating {PSOA} RuleML
                  with {TPTP} Reasoners},
  booktitle    = {Rules on the Web: Research and Applications - 6th International Symposium,
                  RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7438},
  pages        = {264--279},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32689-9\_22},
  doi          = {10.1007/978-3-642-32689-9\_22},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZouPBR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ManirRBB12,
  author       = {Mohammad Sadnan Al Manir and
                  Alexandre Riazanov and
                  Harold Boley and
                  Christopher J. O. Baker},
  editor       = {Antonis Bikakis and
                  Adrian Giurca},
  title        = {{PSOA} RuleML {API:} {A} Tool for Processing Abstract and Concrete
                  Syntaxes},
  booktitle    = {Rules on the Web: Research and Applications - 6th International Symposium,
                  RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7438},
  pages        = {280--288},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32689-9\_23},
  doi          = {10.1007/978-3-642-32689-9\_23},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ManirRBB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZhaoTPBA12,
  author       = {Zhili Zhao and
                  Kia Teymourian and
                  Adrian Paschke and
                  Harold Boley and
                  Tara Athan},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Yuh{-}Jong Hu and
                  Grzegorz J. Nalepa and
                  Monica Palmirani and
                  Dumitru Roman},
  title        = {Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML
                  1.0 in Rule Responder},
  booktitle    = {Proceedings of the RuleML2012@ECAI Challenge, at the 6th International
                  Symposium on Rules, Montpellier, France, August 27th-29th, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {874},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-874/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZhaoTPBA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZouPBR12a,
  author       = {Gen Zou and
                  Reuben Peter{-}Paul and
                  Harold Boley and
                  Alexandre Riazanov},
  editor       = {Hassan A{\"{\i}}t{-}Kaci and
                  Yuh{-}Jong Hu and
                  Grzegorz J. Nalepa and
                  Monica Palmirani and
                  Dumitru Roman},
  title        = {PSOATransRun: Translating and Running {PSOA} RuleML via the {TPTP}
                  Interchange Language for Theorem Provers},
  booktitle    = {Proceedings of the RuleML2012@ECAI Challenge, at the 6th International
                  Symposium on Rules, Montpellier, France, August 27th-29th, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {874},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-874/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZouPBR12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/PaschkeB11,
  author       = {Adrian Paschke and
                  Harold Boley},
  title        = {Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {20},
  number       = {6},
  pages        = {1043--1081},
  year         = {2011},
  url          = {https://doi.org/10.1142/S0218213011000528},
  doi          = {10.1142/S0218213011000528},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijait/PaschkeB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmso/AabergeAB11,
  author       = {Terje Aaberge and
                  Rajendra Akerkar and
                  Harold Boley},
  title        = {An intensional perspective on the semantic and pragmatic web},
  journal      = {Int. J. Metadata Semant. Ontologies},
  volume       = {6},
  number       = {1},
  pages        = {74--80},
  year         = {2011},
  url          = {https://doi.org/10.1504/IJMSO.2011.042491},
  doi          = {10.1504/IJMSO.2011.042491},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmso/AabergeAB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csws/BoleySSO11,
  author       = {Harold Boley and
                  M. Omair Shafiq and
                  Derek Smith and
                  Taylor Michael Osmun},
  editor       = {Christopher J. O. Baker and
                  Helen Chen and
                  Ebrahim Bagheri and
                  Weichang Du},
  title        = {The Social Semantic Subweb of Virtual Patient Support Groups},
  booktitle    = {Proceedings of the 3rd Canadian Semantic Web Symposium (CSWS2011),
                  Vancouver, British Columbia, Canada, August 5, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {774},
  pages        = {1--18},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-774/boley.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/csws/BoleySSO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dms/NoorianEBBB11,
  author       = {Mahdi Noorian and
                  Alireza Ensan and
                  Ebrahim Bagheri and
                  Harold Boley and
                  Yevgen Biletskiy},
  title        = {Feature Model Debugging based on Description Logic Reasoning},
  booktitle    = {Proceedings of the 17th International Conference on Distributed Multimedia
                  Systems, {DMS} 2011, October 18-20, 2011, Convitto della Calza, Florence,
                  Italy},
  pages        = {158--164},
  publisher    = {Knowledge Systems Institute},
  year         = {2011},
  timestamp    = {Mon, 29 Oct 2012 12:45:42 +0100},
  biburl       = {https://dblp.org/rec/conf/dms/NoorianEBBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miwai/JoshiBB11,
  author       = {Manish R. Joshi and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Chattrakul Sombattheera and
                  Arun Agarwal and
                  Siba K. Udgata and
                  Kittichai Lavangnananda},
  title        = {Compromise Matching in {P2P} e-Marketplaces: Concept, Algorithm and
                  Use Case},
  booktitle    = {Multi-disciplinary Trends in Artificial Intelligence - 5th International
                  Workshop, {MIWAI} 2011, Hyderabad, India, December 7-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7080},
  pages        = {384--394},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25725-4\_34},
  doi          = {10.1007/978-3-642-25725-4\_34},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/miwai/JoshiBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/AthanB11,
  author       = {Tara Athan and
                  Harold Boley},
  editor       = {Frank Olken and
                  Monica Palmirani and
                  Davide Sottara},
  title        = {Design and Implementation of Highly Modular Schemas for {XML:} Customization
                  of RuleML in Relax {NG}},
  booktitle    = {Rule-Based Modeling and Computing on the Semantic Web, 5th International
                  Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA,
                  November 3-5, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7018},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24908-2\_9},
  doi          = {10.1007/978-3-642-24908-2\_9},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/AthanB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/KravariOBB11,
  author       = {Kalliopi Kravari and
                  Taylor Michael Osmun and
                  Harold Boley and
                  Nick Bassiliades},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {Cross-Community Interoperation between the {EMERALD} and Rule Responder
                  Multi-Agent Systems},
  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        = {44--51},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22546-8\_5},
  doi          = {10.1007/978-3-642-22546-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/KravariOBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZhaoPAB11,
  author       = {Zhili Zhao and
                  Adrian Paschke and
                  Chaudhry Usman Ali and
                  Harold Boley},
  editor       = {Frank Olken and
                  Monica Palmirani and
                  Davide Sottara},
  title        = {Principles of the SymposiumPlanner Instantiations of Rule Responder},
  booktitle    = {Rule-Based Modeling and Computing on the Semantic Web, 5th International
                  Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA,
                  November 3-5, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7018},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24908-2\_15},
  doi          = {10.1007/978-3-642-24908-2\_15},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZhaoPAB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Boley11,
  author       = {Harold Boley},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative
                  Rules},
  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        = {194--211},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22546-8\_16},
  doi          = {10.1007/978-3-642-22546-8\_16},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Boley11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/PalmiraniGRTBP11,
  author       = {Monica Palmirani and
                  Guido Governatori and
                  Antonino Rotolo and
                  Said Tabet and
                  Harold Boley and
                  Adrian Paschke},
  editor       = {Frank Olken and
                  Monica Palmirani and
                  Davide Sottara},
  title        = {LegalRuleML: XML-Based Rules and Norms},
  booktitle    = {Rule-Based Modeling and Computing on the Semantic Web, 5th International
                  Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA,
                  November 3-5, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7018},
  pages        = {298--312},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24908-2\_30},
  doi          = {10.1007/978-3-642-24908-2\_30},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/PalmiraniGRTBP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ZhaoPAB11a,
  author       = {Zhili Zhao and
                  Adrian Paschke and
                  Chaudhry Usman Ali and
                  Harold Boley},
  editor       = {Stefano Bragaglia and
                  Carlos Viegas Dam{\'{a}}sio and
                  Marco Montali and
                  Alun D. Preece and
                  Charles J. Petrie and
                  Mark Proctor and
                  Umberto Straccia},
  title        = {SymposiumPlanner-2011: Querying Two Virtual Organization Committees},
  booktitle    = {Proceedings of the 5th International RuleML2011@BRF Challenge, co-located
                  with the 5th International Rule Symposium, Fort Lauderdale, Florida,
                  USA, November 3-5, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {799},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-799/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/ZhaoPAB11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/VelikB10,
  author       = {Rosemarie Velik and
                  Harold Boley},
  title        = {Neurosymbolic Alerting Rules},
  journal      = {{IEEE} Trans. Ind. Electron.},
  volume       = {57},
  number       = {11},
  pages        = {3661--3668},
  year         = {2010},
  url          = {https://doi.org/10.1109/TIE.2010.2044113},
  doi          = {10.1109/TIE.2010.2044113},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tie/VelikB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/BoleyK10,
  author       = {Harold Boley and
                  Michael Kifer},
  title        = {A Guide to the Basic Logic Dialect for Rule Interchange on the Web},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {22},
  number       = {11},
  pages        = {1593--1608},
  year         = {2010},
  url          = {https://doi.org/10.1109/TKDE.2010.84},
  doi          = {10.1109/TKDE.2010.84},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/BoleyK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/JoshiBB10,
  author       = {Manish R. Joshi and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Tung Bui and
                  Matthias Jarke and
                  Vasant Dhar and
                  Kai Lung Hui and
                  Helmut Krcmar},
  title        = {Matchmaking in p2p e-marketplaces: soft constraints and compromise
                  matching},
  booktitle    = {Proceedings of the 12th International Conference on Electronic Commerce
                  - Roadmap for the Future of Electronic Business, {ICEC} 2010, Honolulu,
                  Hawaii, USA, August 2-4, 2010},
  pages        = {134--140},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/2389376.2389395},
  doi          = {10.1145/2389376.2389395},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMicec/JoshiBB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcc/HaqSBPB10,
  author       = {Irfan Ul Haq and
                  Erich Schikuta and
                  Ivona Brandic and
                  Adrian Paschke and
                  Harold Boley},
  title        = {{SLA} Validation of Service Value Chains},
  booktitle    = {{GCC} 2010, The Ninth International Conference on Grid and Cloud Computing,
                  Nanjing, Jiangsu, China, 1-5 November 2010},
  pages        = {308--313},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/GCC.2010.67},
  doi          = {10.1109/GCC.2010.67},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gcc/HaqSBPB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/ZhaoBD10,
  author       = {Jidi Zhao and
                  Harold Boley and
                  Weichang Du},
  editor       = {Joaquim Filipe and
                  Janusz Kacprzyk},
  title        = {Reasoning with the Fuzzy Description Logic f\({}_{\mbox{z}}\)SI},
  booktitle    = {{ICFC-ICNC} 2010 - Proceedings of the International Conference on
                  Fuzzy Computation and International Conference on Neural Computation,
                  [parts of the International Joint Conference on Computational Intelligence
                  {IJCCI} 2010], Valencia, Spain, October 24-26, 2010},
  pages        = {21--30},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Fri, 09 Nov 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcci/ZhaoBD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcci/ZhaoBD10a,
  author       = {Jidi Zhao and
                  Harold Boley and
                  Weichang Du},
  editor       = {Kurosh Madani and
                  Ant{\'{o}}nio Dourado Correia and
                  Agostinho C. Rosa and
                  Joaquim Filipe},
  title        = {A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain
                  Knowledge on the Semantic Web},
  booktitle    = {Computational Intelligence - Revised and Selected Papers of the International
                  Joint Conference, {IJCCI} 2010, Valencia, Spain, October 2010},
  series       = {Studies in Computational Intelligence},
  volume       = {399},
  pages        = {167--181},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-27534-0\_11},
  doi          = {10.1007/978-3-642-27534-0\_11},
  timestamp    = {Sat, 19 Oct 2019 20:21:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcci/ZhaoBD10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BoleyPS10,
  author       = {Harold Boley and
                  Adrian Paschke and
                  M. Omair Shafiq},
  editor       = {Mike Dean and
                  John Hall and
                  Antonino Rotolo and
                  Said Tabet},
  title        = {RuleML 1.0: The Overarching Specification of Web Rules},
  booktitle    = {Semantic Web Rules - International Symposium, RuleML 2010, Washington,
                  DC, USA, October 21-23, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6403},
  pages        = {162--178},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16289-3\_15},
  doi          = {10.1007/978-3-642-16289-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BoleyPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/HuB10,
  author       = {Yuh{-}Jong Hu and
                  Harold Boley},
  editor       = {Jimmy Xiangji Huang and
                  Irwin King and
                  Vijay V. Raghavan and
                  Stefan M. R{\"{u}}ger},
  title        = {SemPIF: {A} Semantic Meta-policy Interchange Format for Multiple Web
                  Policies},
  booktitle    = {2010 {IEEE/WIC/ACM} International Conference on Web Intelligence,
                  {WI} 2010, Toronto, Canada, August 31 - September 3, 2010, Main Conference
                  Proceedings},
  pages        = {302--307},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/WI-IAT.2010.238},
  doi          = {10.1109/WI-IAT.2010.238},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webi/HuB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-0823,
  author       = {Adrian Paschke and
                  Alexander Kozlenkov and
                  Harold Boley},
  title        = {A Homogeneous Reaction Rule Language for Complex Event Processing},
  journal      = {CoRR},
  volume       = {abs/1008.0823},
  year         = {2010},
  url          = {http://arxiv.org/abs/1008.0823},
  eprinttype    = {arXiv},
  eprint       = {1008.0823},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-0823.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/JoshiBB09,
  author       = {Manish R. Joshi and
                  Virendra C. Bhavsar and
                  Harold Boley},
  editor       = {Patrick Y. K. Chau and
                  Kalle Lyytinen and
                  Chih{-}Ping Wei and
                  Christopher C. Yang and
                  Fu{-}ren Lin},
  title        = {A knowledge representation model for matchmaking systems in e-marketplaces},
  booktitle    = {Proceedings of the 11th International Conference on Electronic Commerce
                  2009, Taipei, Taiwan, August 12-15, 2009},
  pages        = {362--365},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1593254.1593314},
  doi          = {10.1145/1593254.1593314},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACMicec/JoshiBB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswc/BoleyOC09,
  author       = {Harold Boley and
                  Taylor Michael Osmun and
                  Benjamin Larry Craig},
  editor       = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
                  Yong Yu and
                  Ying Ding},
  title        = {Social Semantic Rule Sharing and Querying in Wellness Communities},
  booktitle    = {The Semantic Web, Fourth Asian Conference, {ASWC} 2009, Shanghai,
                  China, December 6-9, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5926},
  pages        = {347--361},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10871-6\_24},
  doi          = {10.1007/978-3-642-10871-6\_24},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/aswc/BoleyOC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpc/HaqPSB09,
  author       = {Irfan Ul Haq and
                  Adrian Paschke and
                  Erich Schikuta and
                  Harold Boley},
  title        = {Rule-Based Workflow Validation of Hierarchical Service Level Agreements},
  booktitle    = {Workshops at the Grid and Pervasive Computing Conference, {GPC} 2009,
                  Geneva, Switzerland, May 4-8, 2009},
  pages        = {96--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/GPC.2009.25},
  doi          = {10.1109/GPC.2009.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gpc/HaqPSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icetet/JoshiBBV09,
  author       = {Manish R. Joshi and
                  Virendrakumar C. Bhavsar and
                  Harold Boley and
                  Ravindra Vaidya},
  title        = {Hunt Fortune: {A} System for {P2P} E-Marketplace Matchmaking},
  booktitle    = {Proceedings of the Second International Conference on Emerging Trends
                  in Engineering {\&} Technology, {ICETET} 2009, Nagpur, Maharashtra,
                  India, 16-18 December 2009},
  pages        = {420--427},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICETET.2009.117},
  doi          = {10.1109/ICETET.2009.117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icetet/JoshiBBV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icic/ZhaoBD09,
  author       = {Jidi Zhao and
                  Harold Boley and
                  Weichang Du},
  editor       = {De{-}Shuang Huang and
                  Kang{-}Hyun Jo and
                  Hong{-}Hee Lee and
                  Hee{-}Jun Kang and
                  Vitoantonio Bevilacqua},
  title        = {Knowledge Representation and Consistency Checking in a Norm-Parameterized
                  Fuzzy Description Logic},
  booktitle    = {Emerging Intelligent Computing Technology and Applications. With Aspects
                  of Artificial Intelligence, 5th International Conference on Intelligent
                  Computing, {ICIC} 2009, Ulsan, South Korea, September 16-19, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5755},
  pages        = {111--123},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04020-7\_13},
  doi          = {10.1007/978-3-642-04020-7\_13},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/icic/ZhaoBD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/QadeerVZB09,
  author       = {Nauman Qadeer and
                  Rosemarie Velik and
                  Gerhard Zucker and
                  Harold Boley},
  title        = {Knowledge representation for a neuro-symbolic network in home care
                  risk identification},
  booktitle    = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
                  2009, Cardiff, UK, 23-26 June 2009},
  pages        = {277--282},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/INDIN.2009.5195817},
  doi          = {10.1109/INDIN.2009.5195817},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/indin/QadeerVZB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Boley09,
  author       = {Harold Boley},
  editor       = {Guido Governatori and
                  John Hall and
                  Adrian Paschke},
  title        = {{RIF} RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog
                  RuleML and RIF-Core},
  booktitle    = {Rule Interchange and Applications, International Symposium, RuleML
                  2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5858},
  pages        = {29--42},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04985-9\_6},
  doi          = {10.1007/978-3-642-04985-9\_6},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Boley09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BoleyOC09,
  author       = {Harold Boley and
                  Taylor Michael Osmun and
                  Benjamin Larry Craig},
  editor       = {Guido Governatori and
                  John Hall and
                  Adrian Paschke},
  title        = {WellnessRules: {A} Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile
                  Interoperation},
  booktitle    = {Rule Interchange and Applications, International Symposium, RuleML
                  2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5858},
  pages        = {43--52},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04985-9\_7},
  doi          = {10.1007/978-3-642-04985-9\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BoleyOC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GaoBMAY09,
  author       = {Sheng Gao and
                  Harold Boley and
                  Darka Mioc and
                  Francois Anton and
                  Xiaolun Yi},
  editor       = {Guido Governatori and
                  John Hall and
                  Adrian Paschke},
  title        = {Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease
                  Information},
  booktitle    = {Rule Interchange and Applications, International Symposium, RuleML
                  2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5858},
  pages        = {272--281},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04985-9\_25},
  doi          = {10.1007/978-3-642-04985-9\_25},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/GaoBMAY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/OsmunCB09,
  author       = {Taylor Michael Osmun and
                  Benjamin Larry Craig and
                  Harold Boley},
  editor       = {Yuh{-}Jong Hu and
                  Ching{-}Long Yeh and
                  Wolfgang Laun and
                  Guido Governatori and
                  John Hall and
                  Adrian Paschke},
  title        = {WellnessRules: The Activity Rule Responder},
  booktitle    = {Proceedings of the 3rd International RuleML-2009 Challenge, collocated
                  with the 3rd International Symposium on Rules, Applications and Interoperability
                  (RuleML-2009), Las Vegas, Nevada, USA, November 5-7, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {549},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-549/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/ruleml/OsmunCB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itse/BiletskiyBRB08,
  author       = {Yevgen Biletskiy and
                  Harold Boley and
                  Girish R. Ranganathan},
  title        = {RuleML-based learning object interoperability on the Semantic Web},
  journal      = {Interact. Technol. Smart Educ.},
  volume       = {5},
  number       = {1},
  pages        = {39--58},
  year         = {2008},
  url          = {https://doi.org/10.1108/17415650810871574},
  doi          = {10.1108/17415650810871574},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itse/BiletskiyBRB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/ZhaoB08,
  author       = {Jidi Zhao and
                  Harold Boley},
  title        = {Combining Fuzzy Description Logics and Fuzzy Logic Programs},
  booktitle    = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on
                  Web Intelligence and International Conference on Intelligent Agent
                  Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia},
  pages        = {273--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/WIIAT.2008.363},
  doi          = {10.1109/WIIAT.2008.363},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iat/ZhaoB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/CraigB08,
  author       = {Benjamin Larry Craig and
                  Harold Boley},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {Personal Agents in the Rule Responder Architecture},
  booktitle    = {Rule Representation, Interchange and Reasoning on the Web, International
                  Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5321},
  pages        = {150--165},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88808-6\_17},
  doi          = {10.1007/978-3-540-88808-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/CraigB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/GaoMBAY08,
  author       = {Sheng Gao and
                  Darka Mioc and
                  Harold Boley and
                  Francois Anton and
                  Xiaolun Yi},
  editor       = {Nick Bassiliades and
                  Guido Governatori and
                  Adrian Paschke},
  title        = {A RuleML Study on Integrating Geographical and Health Information},
  booktitle    = {Rule Representation, Interchange and Reasoning on the Web, International
                  Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5321},
  pages        = {174--181},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88808-6\_19},
  doi          = {10.1007/978-3-540-88808-6\_19},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/GaoMBAY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/IlievaB08,
  author       = {Magda Ilieva and
                  Harold Boley},
  title        = {Representing Textual Requirements as Graphical Natural Language for
                  {UML} Diagram Generation},
  booktitle    = {Proceedings of the Twentieth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
                  CA, USA, July 1-3, 2008},
  pages        = {478--483},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2008},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/IlievaB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ZhaoB08,
  author       = {Jidi Zhao and
                  Harold Boley},
  editor       = {Fernando Bobillo and
                  Paulo Cesar G. da Costa and
                  Claudia d'Amato and
                  Nicola Fanizzi and
                  Kathryn B. Laskey and
                  Kenneth J. Laskey and
                  Thomas Lukasiewicz and
                  Trevor P. Martin and
                  Matthias Nickles and
                  Michael Pool and
                  Pavel Smrz},
  title        = {Uncertainty Treatment in the Rule Interchange Format: From Encoding
                  to Extension},
  booktitle    = {Proceedings of the Fourth International Workshop on Uncertainty Reasoning
                  for the Semantic Web, Karlsruhe, Germany, October 26, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {423},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-423/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:05 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/ZhaoB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/MeiLBLB07,
  author       = {Jing Mei and
                  Zuoquan Lin and
                  Harold Boley and
                  Jie Li and
                  Virendrakumar C. Bhavsar},
  title        = {The DATALOG\({}^{\mbox{DL}}\) Combination of Deduction Rules and Description
                  Logics},
  journal      = {Comput. Intell.},
  volume       = {23},
  number       = {3},
  pages        = {356--372},
  year         = {2007},
  url          = {https://doi.org/10.1111/j.1467-8640.2007.00311.x},
  doi          = {10.1111/J.1467-8640.2007.00311.X},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/MeiLBLB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/Aleman-MezaBBBMNPZ07,
  author       = {Boanerges Aleman{-}Meza and
                  Uldis Bojars and
                  Harold Boley and
                  John G. Breslin and
                  Malgorzata Moch{\'{o}}l and
                  Lyndon J. B. Nixon and
                  Axel Polleres and
                  Anna V. Zhdanova},
  editor       = {Enrico Franconi and
                  Michael Kifer and
                  Wolfgang May},
  title        = {Combining {RDF} Vocabularies for Expert Finding},
  booktitle    = {The Semantic Web: Research and Applications, 4th European Semantic
                  Web Conference, {ESWC} 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4519},
  pages        = {235--250},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72667-8\_18},
  doi          = {10.1007/978-3-540-72667-8\_18},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esws/Aleman-MezaBBBMNPZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fews/BoleyP07,
  author       = {Harold Boley and
                  Adrian Paschke},
  editor       = {Anna V. Zhdanova and
                  Lyndon J. B. Nixon and
                  Malgorzata Moch{\'{o}}l and
                  John G. Breslin},
  title        = {Expert Querying and Redirection with Rule Responder},
  booktitle    = {Proceedings of the 2nd International {ISWC+ASWC} Workshop on Finding
                  Experts on the Web with Semantics, Busan, Korea, November 12, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {290},
  pages        = {9--22},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-290/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/fews/BoleyP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpw/PaschkeBKC07,
  author       = {Adrian Paschke and
                  Harold Boley and
                  Alexander Kozlenkov and
                  Benjamin Larry Craig},
  editor       = {Simon Buckingham Shum and
                  Mikael Lind and
                  Hans Weigand},
  title        = {Rule responder: RuleML-based agents for distributed collaboration
                  on the pragmatic web},
  booktitle    = {Proceedings of the 2nd International Conference on Pragmatic Web,
                  {ICPW} 2007, Tilburg, The Netherlands, October 22-23, 2007},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {280},
  pages        = {17--28},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1324237.1324240},
  doi          = {10.1145/1324237.1324240},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpw/PaschkeBKC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/MeiLB07,
  author       = {Jing Mei and
                  Zuoquan Lin and
                  Harold Boley},
  editor       = {Massimo Marchiori and
                  Jeff Z. Pan and
                  Christian de Sainte Marie},
  title        = {\emph{ALC}\({}^{\mbox{\emph{u}}}\)\({}_{\mbox{\emph{P}}}\): An Integration
                  of Description Logic and General Rules},
  booktitle    = {Web Reasoning and Rule Systems, First International Conference, {RR}
                  2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4524},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72982-2\_12},
  doi          = {10.1007/978-3-540-72982-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/MeiLB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Boley07,
  author       = {Harold Boley},
  editor       = {Adrian Paschke and
                  Yevgen Biletskiy},
  title        = {Are Your Rules Online? Four Web Rule Essentials},
  booktitle    = {Advances in Rule Interchange and Applications, International Symposium,
                  RuleML 2007, Orlando, Florida, USA, October 25-26, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4824},
  pages        = {7--24},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75975-1\_2},
  doi          = {10.1007/978-3-540-75975-1\_2},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/Boley07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/BoleyKPP07,
  author       = {Harold Boley and
                  Michael Kifer and
                  Paula{-}Lavinia Patranjan and
                  Axel Polleres},
  editor       = {Grigoris Antoniou and
                  Uwe A{\ss}mann and
                  Cristina Baroglio and
                  Stefan Decker and
                  Nicola Henze and
                  Paula{-}Lavinia Patranjan and
                  Robert Tolksdorf},
  title        = {Rule Interchange on the Web},
  booktitle    = {Reasoning Web, Third International Summer School 2007, Dresden, Germany,
                  September 3-7, 2007, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {4636},
  pages        = {269--309},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74615-7\_5},
  doi          = {10.1007/978-3-540-74615-7\_5},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rweb/BoleyKPP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/SimonLB06,
  author       = {Kai Simon and
                  Georg Lausen and
                  Harold Boley},
  editor       = {Mark S. Fox and
                  Bruce Spencer},
  title        = {From {HTML} documents to web tables and rules},
  booktitle    = {Proceedings of the 8th International Conference on Electronic Commerce:
                  The new e-commerce - Innovations for Conquering Current Barriers,
                  Obstacles and Limitations to Conducting Successful Business on the
                  Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16,
                  2006},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {156},
  pages        = {125--131},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1151454.1151484},
  doi          = {10.1145/1151454.1151484},
  timestamp    = {Tue, 06 Apr 2021 12:12:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ACMicec/SimonLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cswws/MeiBLBL06,
  author       = {Jing Mei and
                  Harold Boley and
                  Jie Li and
                  Virendrakumar C. Bhavsar and
                  Zuoquan Lin},
  editor       = {Mamadou Tadiou Kone and
                  Daniel Lemire},
  title        = {Datalog\({}^{\mbox{DL}}\): Datalog Rules Parameterized by Description
                  Logics},
  booktitle    = {Canadian Semantic Web, {CSWWS} 2006, first Canadian Semantic Web Working
                  Symposium, June 2006, Quebec, Canada},
  series       = {Semantic Web and Beyond: Computing for Human Experience},
  volume       = {2},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-34347-1\_12},
  doi          = {10.1007/978-0-387-34347-1\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cswws/MeiBLBL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdim/ThuyDBB06,
  author       = {Le Thi Thu Thuy and
                  Doan Dai Duong and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  title        = {A Bottom-up Strategy for Query Decomposition},
  booktitle    = {First {IEEE} International Conference on Digital Information Management
                  (ICDIM), December 6-8, 2006, Christ College, Bangalore, India, Proceedings},
  pages        = {215--221},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICDIM.2007.369356},
  doi          = {10.1109/ICDIM.2007.369356},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icdim/ThuyDBB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/Boley06,
  author       = {Harold Boley},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  James Bailey and
                  Wolfgang May and
                  Uta Schwertel},
  title        = {The RuleML Family of Web Rule Languages},
  booktitle    = {Principles and Practice of Semantic Web Reasoning, 4th International
                  Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4187},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853107\_1},
  doi          = {10.1007/11853107\_1},
  timestamp    = {Wed, 25 Sep 2019 18:02:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ppswr/Boley06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itse/BoleyBHSSY05,
  author       = {Harold Boley and
                  Virendrakumar C. Bhavsar and
                  David Hirtle and
                  Anurag Singh and
                  Zhongwei Sun and
                  Lu Yang},
  title        = {A match-making system for learners and learning objects},
  journal      = {Interact. Technol. Smart Educ.},
  volume       = {2},
  number       = {3},
  pages        = {171--178},
  year         = {2005},
  url          = {https://doi.org/10.1108/17415650580000042},
  doi          = {10.1108/17415650580000042},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itse/BoleyBHSSY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itse/LemireBMB05,
  author       = {Daniel Lemire and
                  Harold Boley and
                  Sean McGrath and
                  Marcel Ball},
  title        = {Collaborative filtering and inference rules for context-aware learning
                  object recommendation},
  journal      = {Interact. Technol. Smart Educ.},
  volume       = {2},
  number       = {3},
  pages        = {179--188},
  year         = {2005},
  url          = {https://doi.org/10.1108/17415650580000043},
  doi          = {10.1108/17415650580000043},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/itse/LemireBMB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/AntoniouB05,
  author       = {Grigoris Antoniou and
                  Harold Boley},
  title        = {Preface},
  journal      = {J. Web Semant.},
  volume       = {3},
  number       = {1},
  pages        = {3--4},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.websem.2005.05.005},
  doi          = {10.1016/J.WEBSEM.2005.05.005},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/AntoniouB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasse/YangSBB05,
  author       = {Lu Yang and
                  Biplab Kumer Sarker and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Richard T. Hurley and
                  Wenying Feng},
  title        = {A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial
                  Product Descriptions},
  booktitle    = {Proceedings of the {ISCA} 14th International Conference on Intelligent
                  and Adaptive Systems and Software Engineering, July 20-22, 2005, Novotel
                  Toronto Centre, Toronto, Canada},
  pages        = {55--60},
  publisher    = {{ISCA}},
  year         = {2005},
  timestamp    = {Mon, 28 Nov 2022 08:32:15 +0100},
  biburl       = {https://dblp.org/rec/conf/iasse/YangSBB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedWTAS/MaclachlanB05,
  author       = {Anna Maclachlan and
                  Harold Boley},
  editor       = {M. H. Hamza},
  title        = {Semantic Web Rules for Business Information},
  booktitle    = {{IASTED} International Conference on Web Technologies, Applications,
                  and Services, Calgary, Alberta, Canada, July 4-6, 2005},
  pages        = {146--153},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2005},
  timestamp    = {Thu, 27 Oct 2005 13:02:12 +0200},
  biburl       = {https://dblp.org/rec/conf/iastedWTAS/MaclachlanB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/YangSBB05,
  author       = {Lu Yang and
                  Biplab Kumer Sarker and
                  Virendrakumar C. Bhavsar and
                  Harold Boley},
  editor       = {Bhanu Prasad},
  title        = {Range Similarity Measures Between Buyers and Sellers in e-Marketplaces},
  booktitle    = {Proceedings of the 2nd Indian International Conference on Artificial
                  Intelligence, Pune, India, December 20-22, 2005},
  pages        = {2559--2572},
  publisher    = {{IICAI}},
  year         = {2005},
  timestamp    = {Fri, 15 Dec 2023 18:26:01 +0100},
  biburl       = {https://dblp.org/rec/conf/iicai/YangSBB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/KiferBBF05,
  author       = {Michael Kifer and
                  Jos de Bruijn and
                  Harold Boley and
                  Dieter Fensel},
  editor       = {Asaf Adi and
                  Suzette Stoutenburg and
                  Said Tabet},
  title        = {A Realistic Architecture for the Semantic Web},
  booktitle    = {Rules and Rule Markup Languages for the Semantic Web, First International
                  Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3791},
  pages        = {17--29},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11580072\_3},
  doi          = {10.1007/11580072\_3},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/KiferBBF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BallBHMS05,
  author       = {Marcel Ball and
                  Harold Boley and
                  David Hirtle and
                  Jing Mei and
                  Bruce Spencer},
  editor       = {Asaf Adi and
                  Suzette Stoutenburg and
                  Said Tabet},
  title        = {The {OO} jDREW Reference Implementation of RuleML},
  booktitle    = {Rules and Rule Markup Languages for the Semantic Web, First International
                  Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3791},
  pages        = {218--223},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11580072\_20},
  doi          = {10.1007/11580072\_20},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/BallBHMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/BallBHMS05,
  author       = {Marcel Ball and
                  Harold Boley and
                  David Hirtle and
                  Jing Mei and
                  Bruce Spencer},
  title        = {Implementing RuleML Using Schemas, Translators, and Bidirectional
                  Interpreters},
  booktitle    = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
                  2005, Washington, DC, {USA}},
  publisher    = {{W3C}},
  year         = {2005},
  url          = {http://www.w3.org/2004/12/rules-ws/paper/49},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/w3c/BallBHMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/BoleyDGKTW05,
  author       = {Harold Boley and
                  Mike Dean and
                  Benjamin N. Grosof and
                  Michael Kifer and
                  Said Tabet and
                  Gerd Wagner},
  title        = {RuleML Position Statement},
  booktitle    = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
                  2005, Washington, DC, {USA}},
  publisher    = {{W3C}},
  year         = {2005},
  url          = {http://www.w3.org/2004/12/rules-ws/paper/96},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/w3c/BoleyDGKTW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/BoleyMSW05,
  author       = {Harold Boley and
                  Jing Mei and
                  Michael Sintek and
                  Gerd Wagner},
  title        = {RDF/RuleML Interoperability},
  booktitle    = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
                  2005, Washington, DC, {USA}},
  publisher    = {{W3C}},
  year         = {2005},
  url          = {http://www.w3.org/2004/12/rules-ws/paper/93},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/w3c/BoleyMSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeiB06,
  author       = {Jing Mei and
                  Harold Boley},
  editor       = {Alvaro Arenas and
                  Jin Song Dong and
                  Andrew Martin and
                  Brian Matthews},
  title        = {Interpreting {SWRL} Rules in {RDF} Graphs},
  booktitle    = {Proceedings of the International Workshop on Web Languages and Formal
                  Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {2},
  pages        = {53--69},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.07.036},
  doi          = {10.1016/J.ENTCS.2005.07.036},
  timestamp    = {Fri, 20 Jan 2023 10:05:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MeiB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/BhavsarBY04,
  author       = {Virendrakumar C. Bhavsar and
                  Harold Boley and
                  Lu Yang},
  title        = {A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business
                  Environments},
  journal      = {Comput. Intell.},
  volume       = {20},
  number       = {4},
  pages        = {584--602},
  year         = {2004},
  url          = {https://doi.org/10.1111/j.0824-7935.2004.00255.x},
  doi          = {10.1111/J.0824-7935.2004.00255.X},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ci/BhavsarBY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/WagnerATB04,
  author       = {Gerd Wagner and
                  Grigoris Antoniou and
                  Said Tabet and
                  Harold Boley},
  title        = {The Abstract Syntax of RuleML - Towards a General Web Rule Language
                  Framework},
  booktitle    = {2004 {IEEE/WIC/ACM} International Conference on Web Intelligence {(WI}
                  2004), 20-24 September 2004, Beijing, China},
  pages        = {628--631},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/WI.2004.10036},
  doi          = {10.1109/WI.2004.10036},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webi/WagnerATB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2004,
  editor       = {Grigoris Antoniou and
                  Harold Boley},
  title        = {Rules and Rule Markup Languages for the Semantic Web: Third International
                  Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3323},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b102922},
  doi          = {10.1007/B102922},
  isbn         = {3-540-23842-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ruleml/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/Boley03,
  author       = {Harold Boley},
  editor       = {Fernando Moura{-}Pires and
                  Salvador Abreu},
  title        = {An Introduction to Object-Oriented RuleML},
  booktitle    = {Progress in Artificial Intelligence, 11th Protuguese Conference on
                  Artificial Intelligence, {EPIA} 2003, Beja, Portugal, December 4-7,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2902},
  pages        = {4},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24580-3\_4},
  doi          = {10.1007/978-3-540-24580-3\_4},
  timestamp    = {Sun, 02 Jun 2019 21:25:42 +0200},
  biburl       = {https://dblp.org/rec/conf/epia/Boley03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Boley03,
  author       = {Harold Boley},
  editor       = {Michael Schroeder and
                  Gerd Wagner},
  title        = {Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and
                  Order-Sorted Terms},
  booktitle    = {Rules and Rule Markup Languages for the Semantic Web, Second International
                  Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2876},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39715-1\_1},
  doi          = {10.1007/978-3-540-39715-1\_1},
  timestamp    = {Wed, 06 Nov 2019 16:45:49 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/Boley03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Boley01a,
  author       = {Harold Boley},
  editor       = {Oskar Bartenstein and
                  Ulrich Geske and
                  Markus Hannebauer and
                  Osama Yoshie},
  title        = {The Rule Markup Language: {RDF-XML} Data Model, {XML} Schema Hierarchy,
                  and {XSL} Transformations},
  booktitle    = {Web Knowledge Management and Decision Support, 14th International
                  Conference on Applications of Prolog, {INAP} 2001, Tokyo, Japan, October
                  20-22, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2543},
  pages        = {5--22},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-36524-9\_2},
  doi          = {10.1007/3-540-36524-9\_2},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Boley01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Boley01,
  author       = {Harold Boley},
  title        = {The Rule Markup Language: {RDF-XML} Data Model, {XML} Schema Hierarchy,
                  and {XSL} Transformations},
  booktitle    = {Proceedings of the 14th International Conference on Applications of
                  Prolog, {INAP} 2001, University of Tokyo, Tokyo, Japan, October 20-22,
                  2001},
  pages        = {124--139},
  publisher    = {The Prolog Association of Japan},
  year         = {2001},
  timestamp    = {Wed, 28 Jun 2017 14:25:33 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Boley01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BoleyTW01,
  author       = {Harold Boley and
                  Said Tabet and
                  Gerd Wagner},
  editor       = {Isabel F. Cruz and
                  Stefan Decker and
                  J{\'{e}}r{\^{o}}me Euzenat and
                  Deborah L. McGuinness},
  title        = {Design Rationale for RuleML: {A} Markup Language for Semantic Web
                  Rules},
  booktitle    = {Proceedings of SWWS'01, The first Semantic Web Working Symposium,
                  Stanford University, California, USA, July 30 - August 1, 2001},
  pages        = {381--401},
  year         = {2001},
  url          = {http://www.semanticweb.org/SWWS/program/full/paper20.pdf},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/BoleyTW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/Boley00,
  author       = {Harold Boley},
  editor       = {Ryszard Kowalczyk and
                  Seng Wai Loke and
                  Nancy E. Reed and
                  Graham J. Williams},
  title        = {Relationships between Logic Programming and {RDF}},
  booktitle    = {Advances in Artificial Intelligence. {PRICAI} 2000 Workshop Reader,
                  Four Workshops held at {PRICAI} 2000, Melbourne, Australia, August
                  28 - September 1, 2000, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2112},
  pages        = {201--218},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45408-X\_21},
  doi          = {10.1007/3-540-45408-X\_21},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pricai/Boley00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Boley00,
  author       = {Harold Boley},
  editor       = {Mar{\'{\i}}a Alpuente},
  title        = {Markup Languages for Functional-Logic Programming},
  booktitle    = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
                  Benicassim, Spain, September 28-30, 2000},
  pages        = {391--403},
  year         = {2000},
  timestamp    = {Tue, 30 Nov 2004 09:20:36 +0100},
  biburl       = {https://dblp.org/rec/conf/wflp/Boley00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Boley00,
  author       = {Harold Boley},
  editor       = {Fran{\c{c}}ois Bry and
                  Ulrich Geske and
                  Dietmar Seipel},
  title        = {Beziehungen zwischen Logikprogrammierung und {XML}},
  booktitle    = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
                  26.-28. Januar 2000},
  series       = {{GMD} Report},
  volume       = {90},
  pages        = {19--34},
  year         = {2000},
  timestamp    = {Sat, 07 Sep 2019 11:59:25 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Boley00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Boley99,
  author       = {Harold Boley},
  title        = {A Tight, Practical Integration of Relations and Functions},
  series       = {Lecture Notes in Computer Science},
  volume       = {1712},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/BFb0103291},
  doi          = {10.1007/BFB0103291},
  isbn         = {3-540-66644-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/Boley99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Boley99,
  author       = {Harold Boley},
  title        = {Functional-Logic Integration via Minimal Reciprocal Extensions},
  journal      = {Theor. Comput. Sci.},
  volume       = {212},
  number       = {1-2},
  pages        = {77--99},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0304-3975(98)00136-4},
  doi          = {10.1016/S0304-3975(98)00136-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Boley99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ejc/Boley98,
  author       = {Harold Boley},
  editor       = {Hannu Jaakkola and
                  Hannu Kangassalo and
                  Eiji Kawaguchi},
  title        = {{ONTOFILE:} Exterior and Interior Ontologies of File/HTTP URLs},
  booktitle    = {Information Modelling and Knowledge Bases {X:} 8th European-Japanese
                  Conferences on Information Modelling and Knowledge Bases, {EJC} 1998,
                  Vammala, Finland, May 26-29, 1998},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {51},
  pages        = {307--326},
  publisher    = {{IOS} Press},
  year         = {1998},
  timestamp    = {Thu, 16 Mar 2017 14:14:16 +0100},
  biburl       = {https://dblp.org/rec/conf/ejc/Boley98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Boley97,
  author       = {Harold Boley},
  editor       = {Christian Freksa and
                  Matthias Jantzen and
                  R{\"{u}}diger Valk},
  title        = {A Relational-Functional Integration for Declarative Programming},
  booktitle    = {Foundations of Computer Science: Potential - Theory - Cognition, to
                  Wilfried Brauer on the occasion of his sixtieth birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {1337},
  pages        = {351--358},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0052103},
  doi          = {10.1007/BFB0052103},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Boley97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Boley97,
  author       = {Harold Boley},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Wissensbasen im World Wide Web: Eine Herausforderung f{\"{u}}r
                  die logische Programimerung},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Boley97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/GoerigkBHPS96,
  author       = {Wolfgang Goerigk and
                  Harold Boley and
                  Ulrich Hoffmann and
                  Markus Perling and
                  Michael Sintek},
  title        = {Komplettkompilation von Lisp: eine Studie zur {\"{U}}bersetzung
                  von Lisp-Software f{\"{u}}r C-Umgebungen},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {10},
  number       = {2},
  pages        = {31--33},
  year         = {1996},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ki/GoerigkBHPS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Boley96,
  author       = {Harold Boley},
  title        = {Funktional-logische Sprachen},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {10},
  number       = {3},
  pages        = {62--63},
  year         = {1996},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ki/Boley96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BoleyHHM95,
  author       = {Harold Boley and
                  Philipp Hanschke and
                  Knut Hinkelmann and
                  Manfred Meyer},
  title        = {CoLab: {A} hybrid knowledge representation and compilation laboratory},
  journal      = {Ann. Oper. Res.},
  volume       = {55},
  number       = {1},
  pages        = {9--79},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF02031716},
  doi          = {10.1007/BF02031716},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/anor/BoleyHHM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/AbeckerBHWS95,
  author       = {Andreas Abecker and
                  Harold Boley and
                  Knut Hinkelmann and
                  Holger Wache and
                  Franz Schmalhofer},
  editor       = {Markus P. J. Fromherz and
                  Marc Kirschenbaum and
                  Anthony J. Kusalik},
  title        = {An Environment for Exploring and Validating Declarative Knowledge},
  booktitle    = {Proceedings of the 7th Workshop on Logic Programming Environments,
                  {LPR} '95, in conjunction with {ILPS} '95, Portland, Oregon, USA,
                  December 8, 1995},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/AbeckerBHWS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Boley93,
  author       = {Harold Boley},
  editor       = {Roy Dyckhoff},
  title        = {Finite Domains and Exclusions as First-Class Citizens},
  booktitle    = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
                  St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {798},
  pages        = {37--61},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58025-5\_49},
  doi          = {10.1007/3-540-58025-5\_49},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Boley93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/BoleyBG93,
  author       = {Harold Boley and
                  Fran{\c{c}}ois Bry and
                  Ulrich Geske},
  editor       = {Otthein Herzog and
                  Thomas Christaller and
                  Dieter Sch{\"{u}}tt},
  title        = {Neuere Entwicklungen der deklarativen KI-Programmierung},
  booktitle    = {Grundlagen und Anwendungen der K{\"{u}}nstlichen Intelligenz,
                  17. Fachtagung f{\"{u}}r K{\"{u}}nstliche Intelligenz, Humboldt-Universit{\"{a}}t
                  zu Berlin, 13.-16. September 1993, Proceedings},
  series       = {Informatik Aktuell},
  pages        = {226--236},
  publisher    = {Springer},
  year         = {1993},
  timestamp    = {Thu, 05 Jun 2003 14:47:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/BoleyBG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Boley92,
  author       = {Harold Boley},
  editor       = {Evelina Lamma and
                  Paola Mello},
  title        = {A Direct Semantic Characterization of {RELFUN}},
  booktitle    = {Extensions of Logic Programming, Third International Workshop, ELP'92,
                  Bologna, Italy, February 26-28, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {660},
  pages        = {120--149},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56454-3\_7},
  doi          = {10.1007/3-540-56454-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Boley92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Boley91,
  author       = {Harold Boley},
  editor       = {Lars{-}Henrik Eriksson and
                  Lars Halln{\"{a}}s and
                  Peter Schroeder{-}Heister},
  title        = {Extended Logic-plus-Functional Programming},
  booktitle    = {Extensions of Logic Programming, Second International Workshop, ELP'91,
                  Stockholm, Sweden, January 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {596},
  pages        = {45--72},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013603},
  doi          = {10.1007/BFB0013603},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Boley91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdk/BoleyMMRV91,
  author       = {Harold Boley and
                  Micha Meier and
                  Chris Moss and
                  Michael M. Richter and
                  Andrei Voronkov},
  editor       = {Harold Boley and
                  Michael M. Richter},
  title        = {Declarative and Procedural Paradigms - Do they Really Compete? (Panel)},
  booktitle    = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
                  Germany, July 1-3, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {567},
  pages        = {383--398},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013545},
  doi          = {10.1007/BFB0013545},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/pdk/BoleyMMRV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdk/1991,
  editor       = {Harold Boley and
                  Michael M. Richter},
  title        = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
                  Germany, July 1-3, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {567},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0013516},
  doi          = {10.1007/BFB0013516},
  isbn         = {3-540-55033-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pdk/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Boley88,
  author       = {Harold Boley},
  editor       = {Yves Kodratoff},
  title        = {Iconic-Declarative Programming and Adaptation Rules},
  booktitle    = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,
                  Germany, August 1-5, 1988, Proceedings},
  pages        = {27--29},
  publisher    = {Pitmann Publishing, London},
  year         = {1988},
  timestamp    = {Tue, 30 Jul 2019 13:42:25 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Boley88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Boley87,
  author       = {Harold Boley},
  title        = {{FIT:} Deklaratives Programmieren als Transformer- und Adapteranpassung},
  school       = {University of Hamburg, Germany},
  year         = {1987},
  url          = {https://d-nb.info/881230650},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Boley87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Boley86,
  author       = {Harold Boley},
  title        = {{RELFUN:} {A} relational/functional integration with valued clauses},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {21},
  number       = {12},
  pages        = {87--98},
  year         = {1986},
  url          = {https://doi.org/10.1145/15042.15045},
  doi          = {10.1145/15042.15045},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/Boley86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Boley83,
  author       = {Harold Boley},
  editor       = {Ingbert Kupka},
  title        = {From Pattern-Directed to Adapter-Driven Computation via Function-Applying
                  Matching},
  booktitle    = {{GI} - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {73},
  pages        = {86--100},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/978-3-642-69298-7\_8},
  doi          = {10.1007/978-3-642-69298-7\_8},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Boley83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Boley81,
  author       = {Harold Boley},
  editor       = {J{\"{o}}rg H. Siekmann},
  title        = {{AI} Languages and {AI} Machines: An Overview},
  booktitle    = {GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, Germany,
                  January 26-31, 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {47},
  pages        = {136--155},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-02328-0\_12},
  doi          = {10.1007/978-3-662-02328-0\_12},
  timestamp    = {Wed, 20 Jun 2018 08:22:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ki/Boley81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Boley80,
  author       = {Harold Boley},
  title        = {A preliminary survey of artificial intelligence machines},
  journal      = {{SIGART} Newsl.},
  volume       = {72},
  pages        = {21--28},
  year         = {1980},
  url          = {https://doi.org/10.1145/1056447.1056449},
  doi          = {10.1145/1056447.1056449},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigart/Boley80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Boley78,
  author       = {Harold Boley},
  editor       = {Derek H. Sleeman},
  title        = {The Fit Approach to {AI} Languages},
  booktitle    = {Proceedings of {AISB/GI} Conference (Proceedings of the 4th European
                  Conference on Artificial Intelligence), Hamburg, Germany, 18-20 July
                  1978},
  pages        = {35--41},
  publisher    = {Leeds University},
  year         = {1978},
  timestamp    = {Fri, 26 Jul 2019 09:34:22 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai/Boley78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Boley77,
  author       = {Harold Boley},
  title        = {Directed Recursive Labelnode Hypergraphs: {A} New Representation-Language},
  journal      = {Artif. Intell.},
  volume       = {9},
  number       = {1},
  pages        = {49--85},
  year         = {1977},
  url          = {https://doi.org/10.1016/0004-3702(77)90014-5},
  doi          = {10.1016/0004-3702(77)90014-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Boley77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Boley77,
  author       = {Harold Boley},
  title        = {Contributions to a practice-relevant {AI} theory},
  journal      = {{SIGART} Newsl.},
  volume       = {61},
  pages        = {35--36},
  year         = {1977},
  url          = {https://doi.org/10.1145/1045283.1045303},
  doi          = {10.1145/1045283.1045303},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigart/Boley77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics