List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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. Lecture Notes in Computer Science | 2004-09-28 | Paper |
| scientific article; zbMATH DE number 1964811 (Why is no real title available?) | 2003-08-17 | Paper |
| scientific article; zbMATH DE number 1755542 (Why is no real title available?) | 2002-06-16 | Paper |
| Functional-logic integration via minimal reciprocal extensions Theoretical Computer Science | 1999-01-12 | Paper |
| CoLab: A hybrid knowledge representation and compilation laboratory Annals of Operations Research | 1996-09-05 | Paper |
| Declarative operations on nets Computers & Mathematics with Applications | 1993-02-14 | Paper |
| scientific article; zbMATH DE number 3839360 (Why is no real title available?) | 1983-01-01 | Paper |
| Directed recursive labelnode hypergraphs: A new representation-language Artificial Intelligence | 1977-01-01 | Paper |
Research outcomes over time
This page was built for person: Harold Boley
