| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Terje Aaberge, Rajendra Akerkar, Harold Boley |
An intensional perspective on the semantic and pragmatic web. |
IJMSO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Paschke, Harold Boley |
Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. |
International Journal on Artificial Intelligence Tools |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley |
Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. |
MIWAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke |
LegalRuleML: XML-Based Rules and Norms. |
RuleML America |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades |
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley |
Principles of the SymposiumPlanner Instantiations of Rule Responder. |
RuleML America |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tara Athan, Harold Boley |
Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. |
RuleML America |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Michael Kifer |
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
F-logic, XML, Logic programming, equality, deduction, IRI, mathematical logic, RIF, Horn logic |
| 1 | Adrian Paschke, Alexander Kozlenkov, Harold Boley |
A Homogeneous Reaction Rule Language for Complex Event Processing |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yuh-Jong Hu, Harold Boley |
SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. |
Web Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Adrian Paschke, Omair Shafiq |
RuleML 1.0: The Overarching Specification of Web Rules. |
RuleML |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley |
SLA Validation of Service Value Chains. |
GCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jidi Zhao, Harold Boley, Weichang Du |
Reasoning with the Fuzzy Description Logic zSI. |
IJCCI (ICFC-ICNC) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jidi Zhao, Harold Boley, Weichang Du |
Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. |
ICIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig |
Social Semantic Rule Sharing and Querying in Wellness Communities. |
ASWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manish Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya |
Hunt Fortune: A System for P2P E-Marketplace Matchmaking. |
ICETET |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig |
WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi |
Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley |
Rule-Based Workflow Validation of Hierarchical Service Level Agreements. |
GPC Workshops |
2009 |
DBLP DOI BibTeX RDF |
Aggragation of SLAs, Hierarchical SLAs, Validation of SLAs, Rule Responder, RBSLA, Business Value Networks, Coalition Workflows, Supply Chains |
| 1 | Manish Joshi, Virendra Bhavsar, Harold Boley |
A knowledge representation model for matchmaking systems in e-marketplaces. |
ICEC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan |
RuleML-based learning object interoperability on the Semantic Web. |
Interact. Techn. Smart Edu. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jidi Zhao, Harold Boley |
Combining Fuzzy Description Logics and Fuzzy Logic Programs. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Larry Craig, Harold Boley |
Personal Agents in the Rule Responder Architecture. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi |
A RuleML Study on Integrating Geographical and Health Information. |
RuleML |
2008 |
DBLP DOI BibTeX RDF |
RuleML, Ontologies, visualization, rules, public health |
| 1 | Magda Ilieva, Harold Boley |
Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jidi Zhao, Harold Boley |
Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. |
URSW |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar |
The DATALOGDL Combination of Deduction Rules and Description Logics. |
Computational Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Adrian Paschke |
Expert Querying and Redirection with Rule Responder. |
FEWS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig |
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. |
ICPW |
2007 |
DBLP DOI BibTeX RDF |
pragmatic agent web, prova, reaction RuleML, representation languages, rule interchange format, multi agent systems, coordination, complex event processing |
| 1 | Jing Mei, Zuoquan Lin, Harold Boley |
ALCuP: An Integration of Description Logic and General Rules. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
Are Your Rules Online? Four Web Rule Essentials. |
RuleML |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres |
Rule Interchange on the Web. |
Reasoning Web |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Mei, Harold Boley |
Interpreting SWRL Rules in RDF Graphs. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin |
DatalogDL: Datalog Rules Parameterized by Description Logics. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
The RuleML Family of Web Rule Languages. |
PPSWR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley |
A Bottom-up Strategy for Query Decomposition. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Simon, Georg Lausen, Harold Boley |
From HTML documents to web tables and rules. |
ICEC |
2006 |
DBLP DOI BibTeX RDF |
data record alignment, data extraction, rule-based languages |
| 1 | Grigoris Antoniou, Harold Boley |
Preface. |
J. Web Sem. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lemire, Harold Boley, Sean McGrath, Marcel Ball |
Collaborative filtering and inference rules for context-aware learning object recommendation. |
Interact. Techn. Smart Edu. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner |
RDF/RuleML Interoperability. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer |
Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner |
RuleML Position Statement. |
Rule Languages for Interoperability |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley |
A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. |
IASSE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley |
Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. |
IICAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Anna Maclachlan, Harold Boley |
Semantic Web Rules for Business Information. |
Web Technologies, Applications, and Services |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer |
The OO jDREW Reference Implementation of RuleML. |
RuleML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel |
A Realistic Architecture for the Semantic Web. |
RuleML |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Virendrakumar C. Bhavsar, Harold Boley, Lu Yang |
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. |
Computational Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley |
The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
RuleML |
2004 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
An Introduction to Object-Oriented RuleML. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. |
RuleML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. |
INAP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. |
INAP (LNCS Volume) |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Said Tabet, Gerd Wagner |
Design Rationale for RuleML: A Markup Language for Semantic Web Rules. |
SWWS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Relationships between Logic Programming and RDF. |
PRICAI Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
Markup Languages for Functional-Logic Programming. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Beziehungen zwischen Logikprogrammierung und XML. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Functional-Logic Integration via Minimal Reciprocal Extensions. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
A Tight, Practical Integration of Relations and Functions. |
|
1999 |
DOI RDF |
|
| 1 | Harold Boley |
ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. |
EJC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
A Relational-Functional Integration for Declarative Programming. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Funktional-logische Sprachen. |
KI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer |
An Environment for Exploring and Validating Declarative Knowledge. |
LPE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Finite Domains and Exclusions as First-Class Citizens. |
ELP |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, François Bry, Ulrich Geske |
Neuere Entwicklungen der deklarativen KI-Programmierung. |
KI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
A Direct Semantic Characterization of RELFUN. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov |
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley, Michael M. Richter (eds.) |
Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings |
PDK |
1991 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Extended Logic-plus-Functional Programming. |
ELP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Boley |
Iconic-Declarative Programming and Adaptation Rules. |
ECAI |
1988 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. |
GI Jahrestagung |
1983 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
AI Languages and AI Machines: An Overview. |
GWAI |
1981 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
The Fit Approach to AI Languages. |
AISB/GI (ECAI) |
1978 |
DBLP BibTeX RDF |
|
| 1 | Harold Boley |
Directed Recursive Labelnode Hypergraphs: A New Representation-Language. |
Artif. Intell. |
1977 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")