Harold Boley

Available identifiers

zbMath Open boley.haroldMaRDI QIDQ1202673

List of research outcomes

Publication	Date of Publication	Type
Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying	2021-02-23	Paper
A tight, practical integration of relations and functions.	2004-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4420256	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4535406	2002-06-16	Paper
Functional-logic integration via minimal reciprocal extensions	1999-01-12	Paper
CoLab: A hybrid knowledge representation and compilation laboratory	1996-09-05	Paper
Declarative operations on nets	1993-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q3309101	1983-01-01	Paper
Directed recursive labelnode hypergraphs: A new representation-language	1977-01-01	Paper

Research outcomes over time

This page was built for person: Harold Boley