{"type":"ScholarlyArticle","title":"Contexts for Nonmonotonic RMSes","authors":[{"name":"Jérôme Euzenat","slug":"jerome-euzenat","given":"Jérôme","family":"Euzenat","affiliation":""}],"abstract":"A new kind of RMS, based on a close merge of TMS and ATMS, is proposed. It uses the TMS graph and interpretation and the ATMS multiple context labelling procedure. In order to ftll in the problems of the ATMS environments in presence of nonmonotonic inferences, a new kind of environment, able to take into account hypotheses that do not hold, is defined. These environments can inherit formulas that hold as in the ATMS context lattice. The dependency graph can be interpreted with regard to these environments; so every node can be labelled. Furthermore, this leads to consider several possible interpretations of a query.","doi":null,"url":"https://ijcai.org/proceedings/1991/45","pdf":"https://ijcai.org/proceedings/1991/0045.pdf","markdown":"https://ijcai.org/proceedings/1991/45.md","bibtex":"https://ijcai.org/proceedings/1991/bibtex/45","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":"Automated Reasoning","track":"Automated Reasoning","number":45,"pages":{"first":300,"last":304},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}