2008 | ||
---|---|---|
54 | EE | Benjamin Larry Craig, Harold Boley: Personal Agents in the Rule Responder Architecture. RuleML 2008: 150-165 |
53 | EE | Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi: A RuleML Study on Integrating Geographical and Health Information. RuleML 2008: 174-181 |
52 | Magda Ilieva, Harold Boley: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE 2008: 478-483 | |
51 | EE | Jidi Zhao, Harold Boley: Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW 2008 |
50 | EE | Jidi Zhao, Harold Boley: Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops 2008: 273-278 |
2007 | ||
49 | EE | 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 |
48 | EE | Harold Boley, Adrian Paschke: Expert Querying and Redirection with Rule Responder. FEWS 2007: 9-22 |
47 | EE | 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 |
46 | EE | Jing Mei, Zuoquan Lin, Harold Boley: ALCuP: An Integration of Description Logic and General Rules. RR 2007: 163-177 |
45 | EE | Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres: Rule Interchange on the Web. Reasoning Web 2007: 269-309 |
44 | EE | Harold Boley: Are Your Rules Online? Four Web Rule Essentials. RuleML 2007: 7-24 |
2006 | ||
43 | EE | Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin: DatalogDL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187 |
42 | EE | Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley: A Bottom-up Strategy for Query Decomposition. ICDIM 2006: 215-221 |
41 | EE | Kai Simon, Georg Lausen, Harold Boley: From HTML documents to web tables and rules. ICEC 2006: 125-131 |
40 | EE | Harold Boley: The RuleML Family of Web Rule Languages. PPSWR 2006: 1-17 |
39 | EE | Jing Mei, Harold Boley: Interpreting SWRL Rules in RDF Graphs. Electr. Notes Theor. Comput. Sci. 151(2): 53-69 (2006) |
2005 | ||
38 | 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 | |
37 | Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley: Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI 2005: 2559-2572 | |
36 | EE | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability 2005 |
35 | EE | Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner: RDF/RuleML Interoperability. Rule Languages for Interoperability 2005 |
34 | EE | Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner: RuleML Position Statement. Rule Languages for Interoperability 2005 |
33 | EE | Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel: A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29 |
32 | EE | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer: The OO jDREW Reference Implementation of RuleML. RuleML 2005: 218-223 |
31 | Anna Maclachlan, Harold Boley: Semantic Web Rules for Business Information. Web Technologies, Applications, and Services 2005: 146-153 | |
30 | EE | Grigoris Antoniou, Harold Boley: Preface. J. Web Sem. 3(1): 3-4 (2005) |
2004 | ||
29 | 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 | |
28 | EE | 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 |
2003 | ||
27 | EE | Harold Boley: An Introduction to Object-Oriented RuleML. EPIA 2003: 4 |
26 | EE | Harold Boley: Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML 2003: 1-16 |
2001 | ||
25 | EE | Harold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP 2001: 124-139 |
24 | EE | Harold Boley: The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume) 2001: 5-22 |
23 | EE | Harold Boley, Said Tabet, Gerd Wagner: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS 2001: 381-401 |
2000 | ||
22 | EE | 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 | EE | 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 | EE | 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) |