Harold Boley

Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley: Rule-based validation of SLA choreographies. The Journal of Supercomputing 63(1): 24-45 (2013)

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

Kalliopi Kravari, Nick Bassiliades, Harold Boley: Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder. Expert Syst. Appl. 39(10): 9571-9587 (2012)

Kalliopi Kravari, Nick Bassiliades, Harold Boley: 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. 39(18): 13549 (2012)

Liam Paull, Gaëtan Séverac, Guilherme V. Raffo, Julian Mauricio Angel, Harold Boley, Phillip J. Durst, Wendell Gray, Maki Habib, Bao Nguyen, S. Veera Ragavan, Sajad Saeedi G., Ricardo Sanz, Mae L. Seto, Aleksandar Stefanovski, Michael Trentini, Howard Li: Towards an Ontology for Autonomous Robots. IROS 2012: 1359-1364

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

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

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

Adrian Paschke, Harold Boley: Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. International Journal on Artificial Intelligence Tools 20(6): 1043-1081 (2011)

Terje Aaberge, Rajendra Akerkar, Harold Boley: An intensional perspective on the semantic and pragmatic web. IJMSO 6(1): 74-80 (2011)

Mahdi Noorian, Alireza Ensan, Ebrahim Bagheri, Harold Boley, Yevgen Biletskiy: Feature Model Debugging based on Description Logic Reasoning. DMS 2011: 158-164

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

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

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

Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley: Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America 2011: 97-111

Harold Boley: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe 2011: 194-211

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

Rosemarie Velik, Harold Boley: Neurosymbolic Alerting Rules. IEEE Transactions on Industrial Electronics 57(11): 3661-3668 (2010)

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

Irfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley: SLA Validation of Service Value Chains. GCC 2010: 308-313

Jidi Zhao, Harold Boley, Weichang Du: Reasoning with the Fuzzy Description Logic f_zSI. IJCCI (ICFC-ICNC) 2010: 21-30

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

Harold Boley, Adrian Paschke, Omair Shafiq: RuleML 1.0: The Overarching Specification of Web Rules. RuleML 2010: 162-178

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

Adrian Paschke, Alexander Kozlenkov, Harold Boley: A Homogeneous Reaction Rule Language for Complex Event Processing. CoRR abs/1008.0823 (2010)

Manish Joshi, Virendra Bhavsar, Harold Boley: A knowledge representation model for matchmaking systems in e-marketplaces. ICEC 2009: 362-365

Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig: Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC 2009: 347-361

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

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

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

Harold Boley: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML 2009: 29-42

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

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

Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan, Harold Boley: RuleML-based learning object interoperability on the Semantic Web. Interact. Techn. Smart Edu. 5(1): 39-58 (2008)

Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan, Harold Boley: RuleML-based learning object interoperability on the Semantic Web. Interact. Techn. Smart Edu. 5(1): 39-58 (2008)

Jidi Zhao, Harold Boley: Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops 2008: 273-278

Benjamin Larry Craig, Harold Boley: Personal Agents in the Rule Responder Architecture. RuleML 2008: 150-165

Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi: A RuleML Study on Integrating Geographical and Health Information. RuleML 2008: 174-181

Magda Ilieva, Harold Boley: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483

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

Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar: The DATALOG^DL Combination of Deduction Rules and Description Logics. Computational Intelligence 23(3): 356-372 (2007)

Boanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochol, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova: Combining RDF Vocabularies for Expert Finding. ESWC 2007: 235-250

Harold Boley, Adrian Paschke: Expert Querying and Redirection with Rule Responder. FEWS 2007: 9-22

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

Jing Mei, Zuoquan Lin, Harold Boley: ALC^u_P: An Integration of Description Logic and General Rules. RR 2007: 163-177

Harold Boley: Are Your Rules Online? Four Web Rule Essentials. RuleML 2007: 7-24

Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres: Rule Interchange on the Web. Reasoning Web 2007: 269-309

Jing Mei, Harold Boley: Interpreting SWRL Rules in RDF Graphs. Electr. Notes Theor. Comput. Sci. 151(2): 53-69 (2006)

Kai Simon, Georg Lausen, Harold Boley: From HTML documents to web tables and rules. ICEC 2006: 125-131

Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin: Datalog^DL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187

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

Harold Boley: The RuleML Family of Web Rule Languages. PPSWR 2006: 1-17

Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang: A match-making system for learners and learning objects. Interact. Techn. Smart Edu. 2(3): 171-178 (2005)

Daniel Lemire, Harold Boley, Sean McGrath, Marcel Ball: Collaborative filtering and inference rules for context-aware learning object recommendation. Interact. Techn. Smart Edu. 2(3): 179-188 (2005)

Grigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005)

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

Anna Maclachlan, Harold Boley: Semantic Web Rules for Business Information. Web Technologies, Applications, and Services 2005: 146-153

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

Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel: A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29

Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: The OO jDREW Reference Implementation of RuleML. RuleML 2005: 218-223

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

Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner: RuleML Position Statement. Rule Languages for Interoperability 2005

Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner: RDF/RuleML Interoperability. Rule Languages for Interoperability 2005

Virendrakumar C. Bhavsar, Harold Boley, Lu Yang: A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Computational Intelligence 20(4): 584-602 (2004)

Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley: The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence 2004: 628-631

Grigoris Antoniou, Harold Boley (Eds.): Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings. Lecture Notes in Computer Science 3323, Springer 2004, isbn 3-540-23842-5

Harold Boley: An Introduction to Object-Oriented RuleML. EPIA 2003: 4

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

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

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

Harold Boley, Said Tabet, Gerd Wagner: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS 2001: 381-401

Harold Boley: Relationships between Logic Programming and RDF. PRICAI Workshops 2000: 201-218

Harold Boley: Markup Languages for Functional-Logic Programming. WFLP 2000: 391-403

Harold Boley: Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34

Harold Boley: A Tight, Practical Integration of Relations and Functions. Lecture Notes in Computer Science 1712, Springer 1999, isbn 3-540-66644-3

Harold Boley: Functional-Logic Integration via Minimal Reciprocal Extensions. Theor. Comput. Sci. 212(1-2): 77-99 (1999)

Harold Boley: ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. EJC 1998: 307-326

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

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

Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek: Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. KI 10(2): 31-33 (1996)

Harold Boley: Funktional-logische Sprachen. KI 10(3): 62-63 (1996)

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

Harold Boley: Finite Domains and Exclusions as First-Class Citizens. ELP 1993: 37-61

Harold Boley, François Bry, Ulrich Geske: Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236

Harold Boley: A Direct Semantic Characterization of RELFUN. ELP 1992: 120-149

Harold Boley: Extended Logic-plus-Functional Programming. ELP 1991: 45-72

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

Harold Boley, Michael M. Richter (Eds.): Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Lecture Notes in Computer Science 567, Springer 1991, isbn 3-540-55033-X

Harold Boley: Iconic-Declarative Programming and Adaptation Rules. ECAI 1988: 27-29

Harold Boley: From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. GI Jahrestagung 1983: 86-100

Harold Boley: AI Languages and AI Machines: An Overview. GWAI 1981: 136-155

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

Harold Boley: Directed Recursive Labelnode Hypergraphs: A New Representation-Language. Artif. Intell. 9(1): 49-85 (1977)