Partial Satisfiability-Based Merging

Pilar Pozos Parra, Verónica Borja Macías. Partial Satisfiability-Based Merging. In Alexander F. Gelbukh, Angel Fernando Kuri Morales, editors, MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings. Volume 4827 of Lecture Notes in Computer Science, pages 225-235, Springer, 2007. [doi]

@inproceedings{ParraM07,
  title = {Partial Satisfiability-Based Merging},
  author = {Pilar Pozos Parra and Verónica Borja Macías},
  year = {2007},
  doi = {10.1007/978-3-540-76631-5_22},
  url = {http://dx.doi.org/10.1007/978-3-540-76631-5_22},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/ParraM07},
  cites = {0},
  citedby = {0},
  pages = {225-235},
  booktitle = {MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings},
  editor = {Alexander F. Gelbukh and Angel Fernando Kuri Morales},
  volume = {4827},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76630-8},
}