{"type":"ScholarlyArticle","title":"Fitting Semantics for Conditional Term Rewriting","authors":[{"name":"Chilukuri K. Mohan","slug":"chilukuri-k-mohan","given":"Chilukuri K.","family":"Mohan","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1991/126","pdf":"https://ijcai.org/proceedings/1991/0126.pdf","markdown":"https://ijcai.org/proceedings/1991/126.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/126","volume":{"slug":"1991","title":"Proceedings of the Twelfth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1991","url":"https://ijcai.org/proceedings/1991/","year":1991,"location":"Sydney, New South Wales, Australia","dates":"24-30 August 1991","editors":"John Mylopoulos and Ray Reiter","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":126,"pages":{"first":857,"last":861},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}