@article(alferes2000dynamic,
 author       = {Jose Julio Alferes and Joao Alexandre Leite and Luis Moniz Pereira and Halina Przymusinska and Teodor C. Przymusinski},
 year         = {2000},
 title        = {Dynamic updates of non-monotonic knowledge bases},
 journal      = {The Journal of Logic Programming},
 volume       = {45},
 number       = {1-3},
 pages        = {43--70},
 doi          = {10.1016/S0743-1066(99)00065-5},
)
@book(yaniv2018thesis,
 author       = {Yaniv Aspis},
 year         = {2018},
 title        = {A Linear Algebraic Approach to Logic Programming},
 publisher    = {Master thesis at Imperial College London},
)
@inproceedings(aspis2018tensor,
 author       = {Yaniv Aspis and Krysia Broda and Alessandra Russo},
 year         = {2018},
 title        = {Tensor-based abduction in horn propositional programs},
 volume       = {2206},
 organization = {CEUR Workshop Proceedings},
 pages        = {68--75},
 doi          = {10.1145/200836.200838},
)
@book(bunch2014sparse,
 author       = {James R Bunch and Donald J Rose},
 year         = {2014},
 title        = {Sparse matrix computations},
 publisher    = {Academic Press},
 doi          = {10.1016/C2013-0-10439-4},
)
@article(cohen2016tensorlog,
 author       = {William W Cohen},
 year         = {2016},
 title        = {Tensorlog: A differentiable deductive database},
 journal      = {arXiv preprint arXiv:1605.06523},
)
@inproceedings(gebser2016theory,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko},
 year         = {2016},
 title        = {Theory solving made easy with clingo 5},
 booktitle    = {OASIcs-OpenAccess Series in Informatics},
 volume       = {52},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik},
 doi          = {10.4230/OASIcs.ICLP.2016.2},
)
@misc(eigenweb,
 author       = {Ga\"{e}l Guennebaud and Beno\^{i}t Jacob},
 year         = {2010},
 title        = {Eigen v3},
 howpublished = {http://eigen.tuxfamily.org},
)
@article(gustavson1978two,
 author       = {Fred G Gustavson},
 year         = {1978},
 title        = {Two fast algorithms for sparse matrices: Multiplication and permuted transposition},
 journal      = {ACM Transactions on Mathematical Software (TOMS)},
 volume       = {4},
 number       = {3},
 pages        = {250--269},
 doi          = {10.1145/355791.355796},
)
@book(kowalski1974logic,
 author       = {Robert Kowalski},
 year         = {1974},
 title        = {Logic for problem solving},
 publisher    = {Department of Computational Logic, Edinburgh University},
 doi          = {10.1145/1005937.1005947},
)
@inproceedings(kunegis2013konect,
 author       = {J{\'e}r{\^o}me Kunegis},
 year         = {2013},
 title        = {Konect: the koblenz network collection},
 booktitle    = {Proceedings of the 22nd International Conference on World Wide Web},
 pages        = {1343--1350},
 doi          = {10.1145/2487788.2488173},
)
@inproceedings(nguyen2018computing,
 author       = {Hien D. Nguyen and Chiaki Sakama and Taisuke Sato and Katsumi Inoue},
 year         = {2018},
 title        = {Computing Logic Programming Semantics in Linear Algebra},
 booktitle    = {Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018)},
 publisher    = {Springer International Publishing},
 address      = {Lecture Notes in Artificial Intelligence, Vol. 11248},
 pages        = {32--48},
 doi          = {10.1007/978-3-030-03014-8_3},
)
@inproceedings(rocktaschel2014low,
 author       = {Tim Rockt{\"a}schel and Matko Bosnjak and Sameer Singh and Sebastian Riedel},
 year         = {2014},
 title        = {Low-dimensional embeddings of logic},
 booktitle    = {Proceedings of the ACL 2014 Workshop on Semantic Parsing},
 pages        = {45--49},
 doi          = {10.3115/v1/W14-2409},
)
@inproceedings(sakama2017linear,
 author       = {Chiaki Sakama and Katsumi Inoue and Taisuke Sato},
 year         = {2017},
 title        = {Linear Algebraic Characterization of Logic Programs},
 booktitle    = {Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017)},
 publisher    = {Springer International Publishing},
 address      = {Lecture Notes in Artificial Intelligence, Vol. 10412},
 pages        = {520--533},
 doi          = {10.1007/978-3-319-63558-3_44},
)
@inproceedings(sato2017embedding,
 author       = {Taisuke Sato},
 year         = {2017},
 title        = {Embedding Tarskian semantics in vector spaces},
 booktitle    = {Workshops at the Thirty-First AAAI Conference on Artificial Intelligence},
)
@article(sato2017linear,
 author       = {Taisuke Sato},
 year         = {2017},
 title        = {A linear algebraic approach to Datalog evaluation},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {17},
 number       = {3},
 pages        = {244--265},
 doi          = {10.1017/S1471068417000023},
)
@inproceedings(sato2018abducing,
 author       = {Taisuke Sato and Katsumi Inoue and Chiaki Sakama},
 year         = {2018},
 title        = {Abducing Relations in Continuous Spaces.},
 booktitle    = {IJCAI},
 pages        = {1956--1962},
 doi          = {10.24963/ijcai.2018/270},
)
@article(van1976semantics,
 author       = {Van Emden, Maarten H and Robert A Kowalski},
 year         = {1976},
 title        = {The semantics of predicate logic as a programming language},
 journal      = {Journal of the ACM (JACM)},
 volume       = {23},
 number       = {4},
 pages        = {733--742},
 doi          = {10.1145/321978.321991},
)
@inproceedings(yang2015embedding,
 author       = {Bishan Yang and Scott Wen-tau Yih and Xiaodong He and Jianfeng Gao and Li Deng},
 year         = {2015},
 title        = {Embedding Entities and Relations for Learning and Inference in Knowledge Bases},
 booktitle    = {Proceedings of the International Conference on Learning Representations (ICLR) 2015},
 url          = {https://www.microsoft.com/en-us/research/publication/embedding-entities-and-relations-for-learning-and-inference-in-knowledge-bases/},
)