Harold Boley

According to our database1, Harold Boley authored at least 130 papers between 1977 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine.
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018

Computational Regulation of Medical Devices in PSOA RuleML.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Object-Relational Rules for Medical Devices: Classification and Conformity.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic.
Proceedings of the Doctoral Consortium, 2017

Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator.
Proceedings of the Doctoral Consortium, 2017

2016
Automated generation of SADI semantic web services for clinical intelligence.
Proceedings of the International Workshop on Semantic Big Data, 2016

Minimal Objectification and Maximal Unnesting in PSOA RuleML.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Translating Higher-Order Modal Logic from RuleML to TPTP.
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

The RuleML Knowledge-Interoperation Hub.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases.
Proceedings of the 20th International Database Engineering & Applications Symposium, 2016

Semantic computing of simplicity in attributed generalized trees.
Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

2015
Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings.
Proceedings of the 8th Semantic Web Applications and Tools for Life Sciences International Conference, 2015

Similarity of Attributed Generalized Tree Structures: A Comparative Study.
Proceedings of the Similarity Search and Applications - 8th International Conference, 2015

PSOA RuleML: Integrated Object-Relational Data and Rules.
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

RuleML 1.02: Deliberation, Reaction and Consumer Families.
Proceedings of the RuleML 2015 Challenge, 2015

Rule-Based Exploration of Structured Data in the Browser.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

2014
Structure Similarity of Attributed Generalized Trees.
Proceedings of the 2014 IEEE International Conference on Semantic Computing, 2014

Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0.
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, 2014

Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations.
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, 2014

A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice.
Proceedings of the RuleML 2014 Challenge and the RuleML 2014 Doctoral Consortium hosted by the 8th International Web Rule Symposium, 2014

A fuzzy structure similarity algorithm for attributed generalized trees.
Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

2013
Rule-based validation of SLA choreographies.
The Journal of Supercomputing, 2013

A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.
Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG.
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules.
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

LegalRuleML: From Metamodel to Use Cases - (A Tutorial).
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

OASIS LegalRuleML.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Track F: Healthcare and sustainable living.
Proceedings of the 7th IEEE International Conference on Digital Ecosystems and Technologies, 2013

Generating Semantic Web Services from Declarative Descriptions.
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

Combined Structure-Weight Graph Similarity and its Application in E-Health.
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog.
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

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].
Expert Syst. Appl., 2012

Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder.
Expert Syst. Appl., 2012

PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.
Proceedings of the RuleML2012@ECAI Challenge, 2012

PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners.
Proceedings of the Rules on the Web: Research and Applications, 2012

Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder.
Proceedings of the RuleML2012@ECAI Challenge, 2012

Reaction RuleML 1.0: Standardized Semantic Reaction Rules.
Proceedings of the Rules on the Web: Research and Applications, 2012

PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes.
Proceedings of the Rules on the Web: Research and Applications, 2012

Towards an Ontology for Autonomous Robots.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Machine learning for resource management in smart environments.
Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

2011
An intensional perspective on the semantic and pragmatic web.
IJMSO, 2011

Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web.
International Journal on Artificial Intelligence Tools, 2011

SymposiumPlanner-2011: Querying Two Virtual Organization Committees.
Proceedings of the 5th International RuleML2011@BRF Challenge, 2011

Principles of the SymposiumPlanner Instantiations of Rule Responder.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

LegalRuleML: XML-Based Rules and Norms.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2011

Feature Model Debugging based on Description Logic Reasoning.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011

The Social Semantic Subweb of Virtual Patient Support Groups.
Proceedings of the 3rd Canadian Semantic Web Symposium (CSWS2011), 2011

2010
A Guide to the Basic Logic Dialect for Rule Interchange on the Web.
IEEE Trans. Knowl. Data Eng., 2010

Neurosymbolic Alerting Rules.
IEEE Trans. Industrial Electronics, 2010

SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

RuleML 1.0: The Overarching Specification of Web Rules.
Proceedings of the Semantic Web Rules - International Symposium, 2010

A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web.
Proceedings of the Computational Intelligence, 2010

Reasoning with the Fuzzy Description Logic fzSI.
Proceedings of the ICFC-ICNC 2010, 2010

SLA Validation of Service Value Chains.
Proceedings of the GCC 2010, 2010

2009
WellnessRules: The Activity Rule Responder.
Proceedings of the 3rd International RuleML-2009 Challenge, 2009

Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic.
Proceedings of the Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence, 2009

Hunt Fortune: A System for P2P E-Marketplace Matchmaking.
Proceedings of the Second International Conference on Emerging Trends in Engineering & Technology, 2009

Rule-Based Workflow Validation of Hierarchical Service Level Agreements.
Proceedings of the Workshops at the Grid and Pervasive Computing Conference, 2009

Social Semantic Rule Sharing and Querying in Wellness Communities.
Proceedings of the Semantic Web, Fourth Asian Conference, 2009

A knowledge representation model for matchmaking systems in e-marketplaces.
Proceedings of the 11th International Conference on Electronic Commerce 2009, 2009

2008
RuleML-based learning object interoperability on the Semantic Web.
Interact. Techn. Smart Edu., 2008

Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension.
Proceedings of the Fourth International Workshop on Uncertainty Reasoning for the Semantic Web, 2008

Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A RuleML Study on Integrating Geographical and Health Information.
Proceedings of the Rule Representation, 2008

Personal Agents in the Rule Responder Architecture.
Proceedings of the Rule Representation, 2008

Combining Fuzzy Description Logics and Fuzzy Logic Programs.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007
The DATALOGDL Combination of Deduction Rules and Description Logics.
Computational Intelligence, 2007

Rule Interchange on the Web.
Proceedings of the Reasoning Web, 2007

Are Your Rules Online? Four Web Rule Essentials.
Proceedings of the Advances in Rule Interchange and Applications, International Symposium, 2007

ALCuP: An Integration of Description Logic and General Rules.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web.
Proceedings of the 2nd International Conference on Pragmatic Web, 2007

Expert Querying and Redirection with Rule Responder.
Proceedings of the 2nd International ISWC+ASWC Workshop on Finding Experts on the Web with Semantics, 2007

Combining RDF Vocabularies for Expert Finding.
Proceedings of the Semantic Web: Research and Applications, 2007

2006
Interpreting SWRL Rules in RDF Graphs.
Electr. Notes Theor. Comput. Sci., 2006

The RuleML Family of Web Rule Languages.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

A Bottom-up Strategy for Query Decomposition.
Proceedings of the First IEEE International Conference on Digital Information Management (ICDIM), 2006

DatalogDL: Datalog Rules Parameterized by Description Logics.
Proceedings of the Canadian Semantic Web, 2006

From HTML documents to web tables and rules.
Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce, 2006

2005
Preface.
J. Web Semant., 2005

Collaborative filtering and inference rules for context-aware learning object recommendation.
Interact. Techn. Smart Edu., 2005

A match-making system for learners and learning objects.
Interact. Techn. Smart Edu., 2005

RDF/RuleML Interoperability.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

RuleML Position Statement.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Realistic Architecture for the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

The OO jDREW Reference Implementation of RuleML.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Range Similarity Measures Between Buyers and Sellers in e-Marketplaces.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Semantic Web Rules for Business Information.
Proceedings of the IASTED International Conference on Web Technologies, 2005

A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions.
Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2005

2004
A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments.
Computational Intelligence, 2004

The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

2003
Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

An Introduction to Object-Oriented RuleML.
Proceedings of the Progress in Artificial Intelligence, 2003

2001
Design Rationale for RuleML: A Markup Language for Semantic Web Rules.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations.
Proceedings of the Web Knowledge Management and Decision Support, 2001

The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations.
Proceedings of the 14th International Conference on Applications of Prolog, 2001

2000
Beziehungen zwischen Logikprogrammierung und XML.
WLP, 2000

Markup Languages for Functional-Logic Programming.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Relationships between Logic Programming and RDF.
Proceedings of the Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader, Four Workshops held at PRICAI 2000, Melbourne, Australia, August 28, 2000

1999
Functional-Logic Integration via Minimal Reciprocal Extensions.
Theor. Comput. Sci., 1999

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

1998
ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs.
Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

1997
Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung.
Proceedings of the Twelfth Workshop Logic Programming, 1997

A Relational-Functional Integration for Declarative Programming.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996
Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen.
KI, 1996

Funktional-logische Sprachen.
KI, 1996

1995
CoLab: A hybrid knowledge representation and compilation laboratory.
Annals OR, 1995

An Environment for Exploring and Validating Declarative Knowledge.
Proceedings of the 7th Workshop on Logic Programming Environments, 1995

1993
Neuere Entwicklungen der deklarativen KI-Programmierung.
Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Finite Domains and Exclusions as First-Class Citizens.
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992
A Direct Semantic Characterization of RELFUN.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1991
Declarative and Procedural Paradigms - Do they Really Compete? (Panel).
Proceedings of the Processing Declarative Knowledge, 1991

Extended Logic-plus-Functional Programming.
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1988
Iconic-Declarative Programming and Adaptation Rules.
ECAI, 1988

1987
FIT: Deklaratives Programmieren als Transformer- und Adapteranpassung.
PhD thesis, 1987

1983
From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching.
Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

1981
AI Languages and AI Machines: An Overview.
Proceedings of the GWAI-81, 1981

1980
A preliminary survey of artificial intelligence machines.
SIGART Newsletter, 1980

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

1977
Contributions to a practice-relevant AI theory.
SIGART Newsletter, 1977

Directed Recursive Labelnode Hypergraphs: A New Representation-Language.
Artif. Intell., 1977


  Loading...