{"type":"ScholarlyArticle","title":"Logic Programs for Consistently Querying Data Integration Systems","authors":[{"name":"Loreto Bravo","slug":"loreto-bravo","given":"Loreto","family":"Bravo","affiliation":""},{"name":"Leopoldo E. Bertossi","slug":"leopoldo-e-bertossi","given":"Leopoldo E.","family":"Bertossi","affiliation":""}],"abstract":"We solve the problem of obtaining answers to queries posed to a mediated integration system under the local-as-view paradigm that are consistent wrt to certain global integrity constraints. For this, the query program is combined with logic programming specifications under the stable model semantics of the class of minimal global instances, and of the class of their repairs.","doi":null,"url":"https://ijcai.org/proceedings/2003/2","pdf":"https://ijcai.org/proceedings/2003/0002.pdf","markdown":"https://ijcai.org/proceedings/2003/2.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/2","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":2,"pages":{"first":10,"last":14},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}