---
title: "A Resolution Theorem for Algebraic Domains"
authors:
  - "Pascal Hitzler"
doi: ""
url: "https://ijcai.org/proceedings/2003/190"
pdf: "https://ijcai.org/proceedings/2003/0190.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "1339-1339"
track: ""
keywords:
---

# A Resolution Theorem for Algebraic Domains

Pascal Hitzler

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 1339-1339.

## Abstract

W.C. Rounds and G.-Q. Zhang have recently proposed to study a form of resolution on algebraic domains [Rounds and Zhang, 2001]. This framework allows reasoning with knowledge which is hierarchically structured and forms a (suitable) domain, more precisely, a coherent algebraic cpo as studied in domain theory. In this paper, we give conditions under which a resolution theorem- in a form underlying resolution-based logic programming systems - can be obtained. The investigations bear potential for engineering new knowledge representation and reasoning systems on a firm domaintheoretic background.