Harold Boley
Orcid: 0000-0002-8940-7469Affiliations:
- University of New Brunswick, NB, Canada
According to our database1,
Harold Boley
authored at least 139 papers
between 1977 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2021
cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp.
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
2020
Nearness as context-dependent expression: an integrative review of modeling, measurement and contextual properties.
Spatial Cogn. Comput., 2020
Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020
2019
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and Knowledge.
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019, 2019
2018
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
2017
Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation.
CoRR, 2017
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic.
Proceedings of the Doctoral Consortium, 2017
Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator.
Proceedings of the Doctoral Consortium, 2017
2016
Proceedings of the International Workshop on Semantic Big Data, 2016
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016
Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases.
Proceedings of the 20th International Database Engineering & Applications Symposium, 2016
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016
2015
Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings.
Proceedings of the 8th Semantic Web Applications and Tools for Life Sciences International Conference, 2015
Proceedings of the Similarity Search and Applications - 8th International Conference, 2015
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015
Proceedings of the RuleML 2015 Challenge, 2015
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015
2014
Proceedings of the 2014 IEEE International Conference on Semantic Computing, 2014
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, 2014
Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations.
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, 2014
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research.
Proceedings of the Rules on the Web. From Theory to Applications, 2014
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, 2014
Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014
2013
A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.
Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013
Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG.
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013
Proceedings of the International Conference on Artificial Intelligence and Law, 2013
Proceedings of the 7th IEEE International Conference on Digital Ecosystems and Technologies, 2013
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013
Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog.
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013
2012
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].
Expert Syst. Appl., 2012
Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder.
Expert Syst. Appl., 2012
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.
Proceedings of the RuleML2012@ECAI Challenge, 2012
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners.
Proceedings of the Rules on the Web: Research and Applications, 2012
Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder.
Proceedings of the RuleML2012@ECAI Challenge, 2012
Proceedings of the Rules on the Web: Research and Applications, 2012
Proceedings of the Rules on the Web: Research and Applications, 2012
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012
Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012
2011
Int. J. Metadata Semant. Ontologies, 2011
Int. J. Artif. Intell. Tools, 2011
Proceedings of the 5th International RuleML2011@BRF Challenge, 2011
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2011
Feature Model Debugging based on Description Logic Reasoning.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011
Proceedings of the 3rd Canadian Semantic Web Symposium (CSWS2011), 2011
2010
IEEE Trans. Knowl. Data Eng., 2010
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010
Proceedings of the Semantic Web Rules - International Symposium, 2010
A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web.
Proceedings of the Computational Intelligence, 2010
Reasoning with the Fuzzy Description Logic f<sub>z</sub>SI.
Proceedings of the ICFC-ICNC 2010, 2010
Proceedings of the 12th International Conference on Electronic Commerce, 2010
2009
Proceedings of the 3rd International RuleML-2009 Challenge, 2009
Proceedings of the Rule Interchange and Applications, International Symposium, 2009
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009
Knowledge representation for a neuro-symbolic network in home care risk identification.
Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009
Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic.
Proceedings of the Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 2009
Proceedings of the Second International Conference on Emerging Trends in Engineering & Technology, 2009
Proceedings of the Workshops at the Grid and Pervasive Computing Conference, 2009
Proceedings of the Semantic Web, Fourth Asian Conference, 2009
Proceedings of the 11th International Conference on Electronic Commerce 2009, 2009
2008
Interact. Technol. Smart Educ., 2008
Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, 2008
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the Rule Representation, 2008
Proceedings of the Rule Representation, 2008
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008
2007
Comput. Intell., 2007
Proceedings of the Advances in Rule Interchange and Applications, International Symposium, 2007
<i>ALC</i><sup><i>u</i></sup><sub><i>P</i></sub>: An Integration of Description Logic and General Rules.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web.
Proceedings of the 2nd International Conference on Pragmatic Web, 2007
Proceedings of the 2nd International ISWC+ASWC Workshop on Finding Experts on the Web with Semantics, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
2006
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006
Proceedings of the First IEEE International Conference on Digital Information Management (ICDIM), 2006
Proceedings of the Canadian Semantic Web, 2006
Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce, 2006
2005
Collaborative filtering and inference rules for context-aware learning object recommendation.
Interact. Technol. Smart Educ., 2005
Interact. Technol. Smart Educ., 2005
Proceedings of the International Workshop on Web Languages and Formal Methods, 2005
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005
Range Similarity Measures Between Buyers and Sellers in e-Marketplaces.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005
Semantic Web Rules for Business Information.
Proceedings of the IASTED International Conference on Web Technologies, 2005
A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005
2004
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments.
Comput. Intell., 2004
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004
2003
Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
2001
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations.
Proceedings of the 14th International Conference on Applications of Prolog, 2001
2000
Beziehungen zwischen Logikprogrammierung und XML.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Markup Languages for Functional-Logic Programming.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Proceedings of the Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000, Melbourne, Australia, August 28, 2000
1999
Theor. Comput. Sci., 1999
Lecture Notes in Computer Science 1712, Springer, ISBN: 3-540-66644-3, 1999
1998
ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs.
Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998
1997
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung.
Proceedings of the Twelfth Workshop Logic Programming, 1997
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
1996
Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen.
Künstliche Intell., 1996
Funktional-logische Sprachen.
Künstliche Intell., 1996
1995
Ann. Oper. Res., 1995
An Environment for Exploring and Validating Declarative Knowledge.
Proceedings of the 7th Workshop on Logic Programming Environments, 1995
1993
Neuere Entwicklungen der deklarativen KI-Programmierung.
Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
1992
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
1991
Proceedings of the Processing Declarative Knowledge, 1991
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991
1988
Iconic-Declarative Programming and Adaptation Rules.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988
1987
PhD thesis, 1987
1986
ACM SIGPLAN Notices, 1986
1983
Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983
1981
1980
1978
The Fit Approach to AI Languages.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978
1977
Artif. Intell., 1977