Linear algebraic characterization of logic programs. Sakama, C., Inoue, K., & Sato, T. In International Conference on Knowledge Science, Engineering and Management, pages 520–533, 2017. Springer.
bibtex   
@inproceedings{sakama2017,
  title={Linear algebraic characterization of logic programs},
  author={Sakama, Chiaki and Inoue, Katsumi and Sato, Taisuke},
  booktitle={International Conference on Knowledge Science, Engineering and Management},
  pages={520--533},
  year={2017},
  organization={Springer}
}

Downloads: 0