Directed Recursive Labelnode Hypergraphs: A New Representation-Language. - Harold Boley (Artif. Intell., 1977)

Contributions to a practice-relevant AI theory. - Harold Boley (SIGART Newsl., 1977)

The Fit Approach to AI Languages. - Harold Boley (AISB/GI (ECAI), 1978)

A preliminary survey of artificial intelligence machines. - Harold Boley (SIGART Newsl., 1980)

AI Languages and AI Machines: An Overview. - Harold Boley (GWAI, 1981)

From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. - Harold Boley (GI Jahrestagung, 1983)

RELFUN: A relational/functional integration with valued clauses. - Harold Boley (ACM SIGPLAN Notices, 1986)

FIT: Deklaratives Programmieren als Transformer- und Adapteranpassung. - Harold Boley (1987)

Iconic-Declarative Programming and Adaptation Rules. - Harold Boley (ECAI, 1988)

Extended Logic-plus-Functional Programming. - Harold Boley (ELP, 1991)

Declarative and Procedural Paradigms - Do they Really Compete? (Panel). - Harold Boley; Micha Meier; Chris Moss; Michael M. Richter; Andrei Voronkov (PDK, 1991)

A Direct Semantic Characterization of RELFUN. - Harold Boley (ELP, 1992)

Finite Domains and Exclusions as First-Class Citizens. - Harold Boley (ELP, 1993)

Neuere Entwicklungen der deklarativen KI-Programmierung. - Harold Boley; François Bry; Ulrich Geske (KI, 1993)

An Environment for Exploring and Validating Declarative Knowledge. - Andreas Abecker; Harold Boley; Knut Hinkelmann; Holger Wache; Franz Schmalhofer (LPE, 1995)

CoLab: A hybrid knowledge representation and compilation laboratory. - Harold Boley; Philipp Hanschke; Knut Hinkelmann; Manfred Meyer (Ann. Oper. Res., 1995)

Funktional-logische Sprachen. - Harold Boley (Künstliche Intell., 1996)

Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. - Wolfgang Goerigk; Harold Boley; Ulrich Hoffmann 002; Markus Perling; Michael Sintek (Künstliche Intell., 1996)

A Relational-Functional Integration for Declarative Programming. - Harold Boley (Foundations of Computer Science: Potential - Theory - Cognition, 1997)

Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. - Harold Boley (WLP, 1997)

ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. - Harold Boley (EJC, 1998)

A Tight, Practical Integration of Relations and Functions. - Harold Boley (Springer, 1999)

Functional-Logic Integration via Minimal Reciprocal Extensions. - Harold Boley (Theor. Comput. Sci., 1999)

Relationships between Logic Programming and RDF. - Harold Boley (PRICAI Workshops, 2000)

Markup Languages for Functional-Logic Programming. - Harold Boley (WFLP, 2000)

Beziehungen zwischen Logikprogrammierung und XML. - Harold Boley (WLP, 2000)

The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. - Harold Boley (INAP, 2001)

Design Rationale for RuleML: A Markup Language for Semantic Web Rules. - Harold Boley; Said Tabet; Gerd Wagner 001 (SWWS, 2001)

An Introduction to Object-Oriented RuleML. - Harold Boley (EPIA, 2003)

Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. - Harold Boley (RuleML, 2003)

The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. - Gerd Wagner 001; Grigoris Antoniou; Said Tabet; Harold Boley (Web Intelligence, 2004)

A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. - Virendrakumar C. Bhavsar; Harold Boley; Lu Yang (Comput. Intell., 2004)

A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. - Lu Yang; Biplab Kumer Sarker; Virendrakumar C. Bhavsar; Harold Boley (IASSE, 2005)

Semantic Web Rules for Business Information. - Anna Maclachlan; Harold Boley (Web Technologies, Applications, and Services, 2005)

Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. - Lu Yang; Biplab Kumer Sarker; Virendrakumar C. Bhavsar; Harold Boley (IICAI, 2005)

The OO jDREW Reference Implementation of RuleML. - Marcel Ball; Harold Boley; David Hirtle; Jing Mei; Bruce Spencer (RuleML, 2005)

A Realistic Architecture for the Semantic Web. - Michael Kifer; Jos de Bruijn; Harold Boley; Dieter Fensel (RuleML, 2005)

Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. - Marcel Ball; Harold Boley; David Hirtle; Jing Mei; Bruce Spencer (Rule Languages for Interoperability, 2005)

RuleML Position Statement. - Harold Boley; Mike Dean; Benjamin N. Grosof; Michael Kifer; Said Tabet; Gerd Wagner 001 (Rule Languages for Interoperability, 2005)

RDF/RuleML Interoperability. - Harold Boley; Jing Mei; Michael Sintek; Gerd Wagner 001 (Rule Languages for Interoperability, 2005)

Interpreting SWRL Rules in RDF Graphs. - Jing Mei; Harold Boley (WLFM@FM, 2005)

A match-making system for learners and learning objects. - Harold Boley; Virendrakumar C. Bhavsar; David Hirtle; Anurag Singh; Zhongwei Sun; Lu Yang (Interact. Technol. Smart Educ., 2005)

Collaborative filtering and inference rules for context-aware learning object recommendation. - Daniel Lemire; Harold Boley; Sean McGrath; Marcel Ball (Interact. Technol. Smart Educ., 2005)

Preface. - Grigoris Antoniou; Harold Boley (J. Web Semant., 2005)

From HTML documents to web tables and rules. - Kai Simon; Georg Lausen; Harold Boley (ICEC, 2006)

DatalogDL: Datalog Rules Parameterized by Description Logics. - Jing Mei; Harold Boley; Jie Li; Virendrakumar C. Bhavsar; Zuoquan Lin (CSWWS, 2006)

A Bottom-up Strategy for Query Decomposition. - Le Thi Thu Thuy; Doan Dai Duong; Virendrakumar C. Bhavsar; Harold Boley (ICDIM, 2006)

The RuleML Family of Web Rule Languages. - Harold Boley (PPSWR, 2006)

Combining RDF Vocabularies for Expert Finding. - Boanerges Aleman-Meza; Uldis Bojars; Harold Boley; John G. Breslin; Malgorzata Mochól; Lyndon J. B. Nixon; Axel Polleres; Anna V. Zhdanova (ESWC, 2007)

Expert Querying and Redirection with Rule Responder. - Harold Boley; Adrian Paschke (FEWS, 2007)

Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. - Adrian Paschke; Harold Boley; Alexander Kozlenkov; Benjamin Larry Craig (ICPW, 2007)

ALCuP: An Integration of Description Logic and General Rules. - Jing Mei; Zuoquan Lin; Harold Boley (RR, 2007)

Are Your Rules Online? Four Web Rule Essentials. - Harold Boley (RuleML, 2007)

Rule Interchange on the Web. - Harold Boley; Michael Kifer; Paula-Lavinia Patranjan; Axel Polleres (Reasoning Web, 2007)

The DATALOGDL Combination of Deduction Rules and Description Logics. - Jing Mei; Zuoquan Lin; Harold Boley; Jie Li; Virendrakumar C. Bhavsar (Comput. Intell., 2007)

Combining Fuzzy Description Logics and Fuzzy Logic Programs. - Jidi Zhao; Harold Boley (Web Intelligence/IAT Workshops, 2008)

Personal Agents in the Rule Responder Architecture. - Benjamin Larry Craig; Harold Boley (RuleML, 2008)

A RuleML Study on Integrating Geographical and Health Information. - Sheng Gao; Darka Mioc; Harold Boley; Francois Anton; Xiaolun Yi (RuleML, 2008)

Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. - Magda Ilieva; Harold Boley (SEKE, 2008)

Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. - Jidi Zhao; Harold Boley (URSW, 2008)

RuleML-based learning object interoperability on the Semantic Web. - Yevgen Biletskiy; Harold Boley; Girish R. Ranganathan (Interact. Technol. Smart Educ., 2008)

A knowledge representation model for matchmaking systems in e-marketplaces. - Manish R. Joshi; Virendra C. Bhavsar; Harold Boley (ICEC, 2009)

Social Semantic Rule Sharing and Querying in Wellness Communities. - Harold Boley; Taylor Michael Osmun; Benjamin Larry Craig (ASWC, 2009)

Rule-Based Workflow Validation of Hierarchical Service Level Agreements. - Irfan Ul Haq; Adrian Paschke; Erich Schikuta; Harold Boley (GPC Workshops, 2009)

Hunt Fortune: A System for P2P E-Marketplace Matchmaking. - Manish R. Joshi; Virendrakumar C. Bhavsar; Harold Boley; Ravindra Vaidya (ICETET, 2009)

Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. - Jidi Zhao; Harold Boley; Weichang Du (ICIC (2), 2009)

Knowledge representation for a neuro-symbolic network in home care risk identification. - Nauman Qadeer; Rosemarie Velik; Gerhard Zucker; Harold Boley (INDIN, 2009)

RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. - Harold Boley (RuleML, 2009)

WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. - Harold Boley; Taylor Michael Osmun; Benjamin Larry Craig (RuleML, 2009)

Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. - Sheng Gao; Harold Boley; Darka Mioc; Francois Anton; Xiaolun Yi (RuleML, 2009)

WellnessRules: The Activity Rule Responder. - Taylor Michael Osmun; Benjamin Larry Craig; Harold Boley (RuleML Challenge, 2009)

Matchmaking in p2p e-marketplaces: soft constraints and compromise matching. - Manish R. Joshi; Virendrakumar C. Bhavsar; Harold Boley (ICEC, 2010)

SLA Validation of Service Value Chains. - Irfan Ul Haq; Erich Schikuta; Ivona Brandic; Adrian Paschke; Harold Boley (GCC, 2010)

Reasoning with the Fuzzy Description Logic fzSI. - Jidi Zhao; Harold Boley; Weichang Du (IJCCI (ICFC-ICNC), 2010)

A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web. - Jidi Zhao; Harold Boley; Weichang Du (IJCCI (Selected Papers), 2010)

RuleML 1.0: The Overarching Specification of Web Rules. - Harold Boley; Adrian Paschke; M. Omair Shafiq (RuleML, 2010)

SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. - Yuh-Jong Hu; Harold Boley (Web Intelligence, 2010)

A Homogeneous Reaction Rule Language for Complex Event Processing - Adrian Paschke; Alexander Kozlenkov; Harold Boley (CoRR, 2010)

Neurosymbolic Alerting Rules. - Rosemarie Velik; Harold Boley (IEEE Trans. Ind. Electron., 2010)

A Guide to the Basic Logic Dialect for Rule Interchange on the Web. - Harold Boley; Michael Kifer (IEEE Trans. Knowl. Data Eng., 2010)

The Social Semantic Subweb of Virtual Patient Support Groups. - Harold Boley; M. Omair Shafiq; Derek Smith; Taylor Michael Osmun (CSWS, 2011)

Feature Model Debugging based on Description Logic Reasoning. - Mahdi Noorian; Alireza Ensan; Ebrahim Bagheri; Harold Boley; Yevgen Biletskiy (DMS, 2011)

Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. - Manish R. Joshi; Virendrakumar C. Bhavsar; Harold Boley (MIWAI, 2011)

Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. - Tara Athan; Harold Boley (RuleML America, 2011)

A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. - Harold Boley (RuleML Europe, 2011)

Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. - Kalliopi Kravari; Taylor Michael Osmun; Harold Boley; Nick Bassiliades (RuleML Europe, 2011)

LegalRuleML: XML-Based Rules and Norms. - Monica Palmirani; Guido Governatori; Antonino Rotolo; Said Tabet; Harold Boley; Adrian Paschke (RuleML America, 2011)

Principles of the SymposiumPlanner Instantiations of Rule Responder. - Zhili Zhao; Adrian Paschke; Chaudhry Usman Ali; Harold Boley (RuleML America, 2011)

SymposiumPlanner-2011: Querying Two Virtual Organization Committees. - Zhili Zhao; Adrian Paschke; Chaudhry Usman Ali; Harold Boley (RuleML America (2), 2011)

Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. - Adrian Paschke; Harold Boley (Int. J. Artif. Intell. Tools, 2011)

An intensional perspective on the semantic and pragmatic web. - Terje Aaberge; Rajendra Akerkar; Harold Boley (Int. J. Metadata Semant. Ontologies, 2011)

Machine learning for resource management in smart environments. - Christian Fabbricatore; Harold Boley; Achim P. Karduck (DEST, 2012)

Towards an Ontology for Autonomous Robots. - Liam Paull; Gaëtan Séverac; 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; et al. (IROS, 2012)

PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Christopher J. O. Baker (RuleML, 2012)

Reaction RuleML 1.0: Standardized Semantic Reaction Rules. - Adrian Paschke; Harold Boley; Zhili Zhao; Kia Teymourian; Tara Athan (RuleML, 2012)

Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder. - Zhili Zhao; Kia Teymourian; Adrian Paschke; Harold Boley; Tara Athan (RuleML (2), 2012)

PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. - Gen Zou; Reuben Peter-Paul; Harold Boley; Alexandre Riazanov (RuleML, 2012)

PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. - Gen Zou; Reuben Peter-Paul; Harold Boley; Alexandre Riazanov (RuleML (2), 2012)

Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder. - Kalliopi Kravari; Nick Bassiliades; Harold Boley (Expert Syst. Appl., 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]. - Kalliopi Kravari; Nick Bassiliades; Harold Boley (Expert Syst. Appl., 2012)

Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog. - Ismail Akbari; Bo Yan; Junyan Zhang; Harold Boley (CSWS, 2013)

Combined Structure-Weight Graph Similarity and its Application in E-Health. - Mahsa Kiani; Virendrakumar C. Bhavsar; Harold Boley (CSWS, 2013)

Generating Semantic Web Services from Declarative Descriptions. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Christopher J. O. Baker (CSWS, 2013)

Track F: Healthcare and sustainable living. - Rémi Bastide; Harold Boley; Amadou Sienou; Matthew Smith 001 (DEST, 2013)

OASIS LegalRuleML. - Tara Athan; Harold Boley; Guido Governatori; Monica Palmirani; Adrian Paschke; Adam Z. Wyner (ICAIL, 2013)

LegalRuleML: From Metamodel to Use Cases - (A Tutorial). - Tara Athan; Harold Boley; Guido Governatori; Monica Palmirani; Adrian Paschke; Adam Z. Wyner (RuleML, 2013)

Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. - Harold Boley (RuleML, 2013)

Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG. - Martin Koch 006; Sven Schmidt; Harold Boley; Rainer Herpers (RuleML (2), 2013)

A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. - Jidi Zhao; Harold Boley; Jing Dong (URSW (LNCS Vol.), 2013)

Rule-based validation of SLA choreographies. - Irfan Ul Haq; Adrian Paschke; Erich Schikuta; Harold Boley (J. Supercomput., 2013)

A fuzzy structure similarity algorithm for attributed generalized trees. - Mahsa Kiani; Virendrakumar C. Bhavsar; Harold Boley (ICCI*CC, 2014)

The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. - Tara Athan; Harold Boley (Challenge+DC@RuleML, 2014)

A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. - Harold Boley; Rolf Grütter; Gen Zou; Tara Athan; Sophia Etzold (RuleML, 2014)

Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations. - Benjamin Dönz; Harold Boley (Challenge+DC@RuleML, 2014)

Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0. - Adrian Paschke; Harold Boley (Challenge+DC@RuleML, 2014)

Structure Similarity of Attributed Generalized Trees. - Mahsa Kiani; Virendrakumar C. Bhavsar; Harold Boley (ICSC, 2014)

Rule-Based Exploration of Structured Data in the Browser. - Sudhir Agarwal 001; Abhijeet Mohapatra; Michael R. Genesereth; Harold Boley (RuleML, 2015)

RuleML 1.02: Deliberation, Reaction and Consumer Families. - Tara Athan; Harold Boley; Adrian Paschke (Challenge+DC@RuleML, 2015)

PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. - Gen Zou; Harold Boley (RuleML, 2015)

PSOA RuleML: Integrated Object-Relational Data and Rules. - Harold Boley (Reasoning Web, 2015)

Similarity of Attributed Generalized Tree Structures: A Comparative Study. - Mahsa Kiani; Virendrakumar C. Bhavsar; Harold Boley (SISAP, 2015)

Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Artjom Klein; Christopher J. O. Baker (SWAT4LS, 2015)

Semantic computing of simplicity in attributed generalized trees. - Mahsa Kiani; Virendrakumar C. Bhavsar; Harold Boley (ICCI*CC, 2016)

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 (IDEAS, 2016)

The RuleML Knowledge-Interoperation Hub. - Harold Boley (RuleML, 2016)

Translating Higher-Order Modal Logic from RuleML to TPTP. - Harold Boley; Christoph Benzmüller; Meng Luan; Zhendong Sha (RuleML (Supplement), 2016)

Minimal Objectification and Maximal Unnesting in PSOA RuleML. - Gen Zou; Harold Boley (RuleML, 2016)

Automated generation of SADI semantic web services for clinical intelligence. - Mohammad Sadnan Al Manir; Alexandre Riazanov; Harold Boley; Artjom Klein; Christopher J. O. Baker (SBD@SIGMOD, 2016)

Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator. - Zainab Almugbel; Harold Boley (RuleML+RR (Supplement), 2017)

Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic. - Gen Zou; Harold Boley; Dylan Wood; Kieran Lea (RuleML+RR (Supplement), 2017)

Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. - Harold Boley; Gen Zou (CoRR, 2017)

Object-Relational Rules for Medical Devices: Classification and Conformity. - Sofia Almpani; Petros S. Stefaneas; Harold Boley; Theodoros Mitsikas; Panayiotis Frangos (OTM Conferences (2), 2018)

Computational Regulation of Medical Devices in PSOA RuleML. - Sofia Almpani; Petros S. Stefaneas; Harold Boley; Theodoros Mitsikas; Panayiotis Frangos (RuleML+RR, 2018)

PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. - Lukas Grätz; Harold Boley; Adrian Paschke (RuleML+RR (Supplement), 2018)

Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and Knowledge. - Tara Athan; Harold Boley; Rima Chaudhari (RuleML+RR (Supplement), 2019)

Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. - Marjolein Deryck; Theodoros Mitsikas; Sofia Almpani; Petros S. Stefaneas; Panayiotis Frangos; Iakovos Ouranos; Harold Boley; Joost Vennekens (RuleML+RR, 2019)

Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying. - Mark Thom; Harold Boley; Theodoros Mitsikas (RuleML+RR, 2020)

Nearness as context-dependent expression: an integrative review of modeling, measurement and contextual properties. - Marc Novel; Rolf Grütter; Harold Boley; Abraham Bernstein (Spatial Cogn. Comput., 2020)

cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. - Mark Thom; Harold Boley; Theodoros Mitsikas (RuleML+RR, 2021)