{"type":"ScholarlyArticle","title":"OI-implication: Soundness and Refutation Completeness","authors":[{"name":"Floriana Esposito","slug":"floriana-esposito","given":"Floriana","family":"Esposito","affiliation":""},{"name":"Nicola Fanizzi","slug":"nicola-fanizzi","given":"Nicola","family":"Fanizzi","affiliation":""},{"name":"Stefano Ferilli","slug":"stefano-ferilli","given":"Stefano","family":"Ferilli","affiliation":""},{"name":"Giovanni Semeraro","slug":"giovanni-semeraro","given":"Giovanni","family":"Semeraro","affiliation":""}],"abstract":"Weakening implication by assuming the object identity bias allows for both a model-theoretical and a proof-theoretical definition of a novel and more manageable ordering relationship over clausal spaces. In this paper, we give two important results, namely the soundness and the refutation completeness (through a subsumption theorem) of the underlying derivation procedure, that make this relationship particularly appealing for inducing a generalization model for clausal search spaces.","doi":null,"url":"https://ijcai.org/proceedings/2001/116","pdf":"https://ijcai.org/proceedings/2001/0116.pdf","markdown":"https://ijcai.org/proceedings/2001/116.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/116","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":116,"pages":{"first":847,"last":851},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}