Harold Boley

From MaRDI portal



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!

PublicationDate of PublicationType
Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying2021-02-23Paper
A tight, practical integration of relations and functions.
Lecture Notes in Computer Science
2004-09-28Paper
scientific article; zbMATH DE number 1964811 (Why is no real title available?)2003-08-17Paper
scientific article; zbMATH DE number 1755542 (Why is no real title available?)2002-06-16Paper
Functional-logic integration via minimal reciprocal extensions
Theoretical Computer Science
1999-01-12Paper
CoLab: A hybrid knowledge representation and compilation laboratory
Annals of Operations Research
1996-09-05Paper
Declarative operations on nets
Computers & Mathematics with Applications
1993-02-14Paper
scientific article; zbMATH DE number 3839360 (Why is no real title available?)1983-01-01Paper
Directed recursive labelnode hypergraphs: A new representation-language
Artificial Intelligence
1977-01-01Paper


Research outcomes over time


This page was built for person: Harold Boley