| 2016 | IDEAS | Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. | Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker |
| 2016 | SIGMOD | Automated generation of SADI semantic web services for clinical intelligence. | Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker |
| 2015 | SISAP | Similarity of Attributed Generalized Tree Structures: A Comparative Study. | Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley |
| 2013 | ICAIL | OASIS LegalRuleML. | Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner |
| 2012 | IROS | Towards an Ontology for Autonomous Robots. | Liam Paull, Gatan Sverac, Guilherme V. Raffo, Julian Mauricio Angel, Harold Boley, Phillip J. Durst, Wendell Gray, Maki K. Habib, Bao Nguyen, S. Veera Ragavan, Sajad Saeedi G., Ricardo Sanz, Mae L. Seto, Aleksandar Stefanovski, Michael Trentini, Howard Li |
| 2010 | IJCCI | Reasoning with the Fuzzy Description Logic f | Jidi Zhao, Harold Boley, Weichang Du |
| 2010 | IJCCI | A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web. | Jidi Zhao, Harold Boley, Weichang Du |
| 2009 | GPC | Rule-Based Workflow Validation of Hierarchical Service Level Agreements. | Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley |
| 2009 | INDIN | Knowledge representation for a neuro-symbolic network in home care risk identification. | Nauman Qadeer, Rosemarie Velik, Gerhard Zucker, Harold Boley |
| 2008 | SEKE | Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. | Magda Ilieva, Harold Boley |
| 2003 | EPIA | An Introduction to Object-Oriented RuleML. | Harold Boley |
| 2000 | PRICAI | Relationships between Logic Programming and RDF. | Harold Boley |
| 1998 | EJC | ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. | Harold Boley |
| 1993 | KI | Neuere Entwicklungen der deklarativen KI-Programmierung. | Harold Boley, Franois Bry, Ulrich Geske |
| 1988 | ECAI | Iconic-Declarative Programming and Adaptation Rules. | Harold Boley |
| 1983 | GI | From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. | Harold Boley |
| 1981 | KI | AI Languages and AI Machines: An Overview. | Harold Boley |
| 1978 | ECAI | The Fit Approach to AI Languages. | Harold Boley |