![]() | ![]() |
| 2012 | ||
|---|---|---|
| 84 | 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) | |
| 2011 | ||
| 83 | Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley: Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. MIWAI 2011: 384-394 | |
| 82 | Tara Athan, Harold Boley: Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. RuleML America 2011: 17-32 | |
| 81 | Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke: LegalRuleML: XML-Based Rules and Norms. RuleML America 2011: 298-312 | |
| 80 | Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley: Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America 2011: 97-111 | |
| 79 | Harold Boley: A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe 2011: 194-211 | |
| 78 | 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 | |
| 77 | Terje Aaberge, Rajendra Akerkar, Harold Boley: An intensional perspective on the semantic and pragmatic web. IJMSO 6(1): 74-80 (2011) | |
| 76 | 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) | |
| 2010 | ||
| 75 | Irfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley: SLA Validation of Service Value Chains. GCC 2010: 308-313 | |
| 74 | Jidi Zhao, Harold Boley, Weichang Du: Reasoning with the Fuzzy Description Logic zSI. IJCCI (ICFC-ICNC) 2010: 21-30 | |
| 73 | 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 | |
| 72 | Harold Boley, Adrian Paschke, Omair Shafiq: RuleML 1.0: The Overarching Specification of Web Rules. RuleML 2010: 162-178 | |
| 71 | Yuh-Jong Hu, Harold Boley: SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. Web Intelligence 2010: 302-307 | |
| 70 | Adrian Paschke, Alexander Kozlenkov, Harold Boley: A Homogeneous Reaction Rule Language for Complex Event Processing CoRR abs/1008.0823: (2010) | |
| 69 | 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) | |
| 2009 | ||
| 68 | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig: Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC 2009: 347-361 | |
| 67 | Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley: Rule-Based Workflow Validation of Hierarchical Service Level Agreements. GPC Workshops 2009: 96-103 | |
| 66 | Manish Joshi, Virendra Bhavsar, Harold Boley: A knowledge representation model for matchmaking systems in e-marketplaces. ICEC 2009: 362-365 | |
| 65 | Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya: Hunt Fortune: A System for P2P E-Marketplace Matchmaking. ICETET 2009: 420-427 | |
| 64 | Jidi Zhao, Harold Boley, Weichang Du: Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2) 2009: 111-123 | |
| 63 | 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 | |
| 62 | Harold Boley: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML 2009: 29-42 | |
| 61 | 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 | |
| 2008 | ||
| 60 | Benjamin Larry Craig, Harold Boley: Personal Agents in the Rule Responder Architecture. RuleML 2008: 150-165 | |
| 59 | Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi: A RuleML Study on Integrating Geographical and Health Information. RuleML 2008: 174-181 | |
| 58 | Magda Ilieva, Harold Boley: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483 | |
| 57 | Jidi Zhao, Harold Boley: Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW 2008 | |
| 56 | Jidi Zhao, Harold Boley: Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops 2008: 273-278 | |
| 55 | 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) | |
| 54 | 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) | |
| 2007 | ||
| 53 | 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 | |
| 52 | Harold Boley, Adrian Paschke: Expert Querying and Redirection with Rule Responder. FEWS 2007: 9-22 | |
| 51 | 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 | |
| 50 | Jing Mei, Zuoquan Lin, Harold Boley: ALCuP: An Integration of Description Logic and General Rules. RR 2007: 163-177 | |
| 49 | Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres: Rule Interchange on the Web. Reasoning Web 2007: 269-309 | |
| 48 | Harold Boley: Are Your Rules Online? Four Web Rule Essentials. RuleML 2007: 7-24 | |
| 47 | Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar: The DATALOGDL Combination of Deduction Rules and Description Logics. Computational Intelligence 23(3): 356-372 (2007) | |
| 2006 | ||
| 46 | Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin: DatalogDL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187 | |
| 45 | Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley: A Bottom-up Strategy for Query Decomposition. ICDIM 2006: 215-221 | |
| 44 | Kai Simon, Georg Lausen, Harold Boley: From HTML documents to web tables and rules. ICEC 2006: 125-131 | |
| 43 | Harold Boley: The RuleML Family of Web Rule Languages. PPSWR 2006: 1-17 | |
| 42 | Jing Mei, Harold Boley: Interpreting SWRL Rules in RDF Graphs. Electr. Notes Theor. Comput. Sci. 151(2): 53-69 (2006) | |
| 2005 | ||
| 41 | 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 | |
| 40 | Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley: Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572 | |
| 39 | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability 2005 | |
| 38 | Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner: RDF/RuleML Interoperability. Rule Languages for Interoperability 2005 | |
| 37 | Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner: RuleML Position Statement. Rule Languages for Interoperability 2005 | |
| 36 | Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel: A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29 | |
| 35 | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: The OO jDREW Reference Implementation of RuleML. RuleML 2005: 218-223 | |
| 34 | Anna Maclachlan, Harold Boley: Semantic Web Rules for Business Information. Web Technologies, Applications, and Services 2005: 146-153 | |
| 33 | 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) | |
| 32 | 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) | |
| 31 | Grigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005) | |
| 2004 | ||
| 30 | Grigoris Antoniou, Harold Boley: Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings Springer 2004 | |
| 29 | 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 | |
| 28 | 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) | |
| 2003 | ||
| 27 | Harold Boley: An Introduction to Object-Oriented RuleML. EPIA 2003: 4 | |
| 26 | Harold Boley: Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML 2003: 1-16 | |
| 2001 | ||
| 25 | Harold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP 2001: 124-139 | |
| 24 | Harold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume) 2001: 5-22 | |
| 23 | Harold Boley, Said Tabet, Gerd Wagner: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS 2001: 381-401 | |
| 2000 | ||
| 22 | Harold Boley: Relationships between Logic Programming and RDF. PRICAI Workshops 2000: 201-218 | |
| 21 | Harold Boley: Markup Languages for Functional-Logic Programming. WFLP 2000: 391-403 | |
| 20 | Harold Boley: Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34 | |
| 1999 | ||
| 19 | Harold Boley: A Tight, Practical Integration of Relations and Functions. Springer 1999 | |
| 18 | Harold Boley: Functional-Logic Integration via Minimal Reciprocal Extensions. Theor. Comput. Sci. 212(1-2): 77-99 (1999) | |
| 1998 | ||
| 17 | Harold Boley: ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. EJC 1998: 307-326 | |
| 1997 | ||
| 16 | Harold Boley: A Relational-Functional Integration for Declarative Programming. Foundations of Computer Science: Potential - Theory - Cognition 1997: 351-358 | |
| 15 | Harold Boley: Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. WLP 1997: 0- | |
| 1996 | ||
| 14 | 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) | |
| 13 | Harold Boley: Funktional-logische Sprachen. KI 10(3): 62-63 (1996) | |
| 1995 | ||
| 12 | Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer: An Environment for Exploring and Validating Declarative Knowledge. LPE 1995 | |
| 1993 | ||
| 11 | Harold Boley: Finite Domains and Exclusions as First-Class Citizens. ELP 1993: 37-61 | |
| 10 | Harold Boley, François Bry, Ulrich Geske: Neuere Entwicklungen der deklarativen KI-Programmierung. KI 1993: 226-236 | |
| 1992 | ||
| 9 | Harold Boley: A Direct Semantic Characterization of RELFUN. ELP 1992: 120-149 | |
| 1991 | ||
| 8 | Harold Boley, Michael M. Richter: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings Springer 1991 | |
| 7 | Harold Boley: Extended Logic-plus-Functional Programming. ELP 1991: 45-72 | |
| 6 | Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov: Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK 1991: 383-398 | |
| 1988 | ||
| 5 | Harold Boley: Iconic-Declarative Programming and Adaptation Rules. ECAI 1988: 27-29 | |
| 1983 | ||
| 4 | Harold Boley: From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. GI Jahrestagung 1983: 86-100 | |
| 1981 | ||
| 3 | Harold Boley: AI Languages and AI Machines: An Overview. GWAI 1981: 136-155 | |
| 1978 | ||
| 2 | Harold Boley: The Fit Approach to AI Languages. AISB/GI (ECAI) 1978: 35-41 | |
| 1977 | ||
| 1 | Harold Boley: Directed Recursive Labelnode Hypergraphs: A New Representation-Language. Artif. Intell. 9(1): 49-85 (1977) | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page