Supporting Manual Mapping Revision using Logical Reasoning

Christian Meilicke, Heiner Stuckenschmidt, Andrei Tamilin. Supporting Manual Mapping Revision using Logical Reasoning. In Dieter Fox, Carla P. Gomes, editors, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008. pages 1213-1218, AAAI Press, 2008.

@inproceedings{MeilickeST08,
  title = {Supporting Manual Mapping Revision using Logical Reasoning},
  author = {Christian Meilicke and Heiner Stuckenschmidt and Andrei Tamilin},
  year = {2008},
  researchr = {https://researchr.org/publication/MeilickeST08},
  cites = {0},
  citedby = {0},
  pages = {1213-1218},
  booktitle = {Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008},
  editor = {Dieter Fox and Carla P. Gomes},
  publisher = {AAAI Press},
  isbn = {978-1-57735-368-3},
}