---
title: "Fitting Semantics for Conditional Term Rewriting"
authors:
  - "Chilukuri K. Mohan"
doi: ""
url: "https://ijcai.org/proceedings/1991/126"
pdf: "https://ijcai.org/proceedings/1991/0126.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "857-861"
track: "Logic Programming"
keywords:
---

# Fitting Semantics for Conditional Term Rewriting

Chilukuri K. Mohan

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 857-861.

## Abstract

This paper investigates the semantics of conditional term rewriting systems with negation, which may not satisfy desirable properties like termination. It is shown that the approach used by Fitting [5] for Prolog-style logic programs is applicable in this context. A monotone operator is developed, whose fixpoints describe the semantics of conditional rewriting. Several examples illustrate this semantics for non-terminating rewrite systems which could not be easily handled by previous approaches.