Jose Julio Alferes, Joao Alexandre Leite, Luis Moniz Pereira, Halina Przymusinska & Teodor C. Przymusinski (2000):
Dynamic updates of non-monotonic knowledge bases.
The Journal of Logic Programming 45(1-3),
pp. 43–70,
doi:10.1016/S0743-1066(99)00065-5.
Yaniv Aspis (2018):
A Linear Algebraic Approach to Logic Programming.
Master thesis at Imperial College London.
Yaniv Aspis, Krysia Broda & Alessandra Russo (2018):
Tensor-based abduction in horn propositional programs 2206.
CEUR Workshop Proceedings,
pp. 68–75,
doi:10.1145/200836.200838.
James R Bunch & Donald J Rose (2014):
Sparse matrix computations.
Academic Press,
doi:10.1016/C2013-0-10439-4.
William W Cohen (2016):
Tensorlog: A differentiable deductive database.
arXiv preprint arXiv:1605.06523.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub & Philipp Wanko (2016):
Theory solving made easy with clingo 5.
In: OASIcs-OpenAccess Series in Informatics 52.
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,
doi:10.4230/OASIcs.ICLP.2016.2.
Gaël Guennebaud & Benoît Jacob (2010):
Eigen v3.
http://eigen.tuxfamily.org.
Fred G Gustavson (1978):
Two fast algorithms for sparse matrices: Multiplication and permuted transposition.
ACM Transactions on Mathematical Software (TOMS) 4(3),
pp. 250–269,
doi:10.1145/355791.355796.
Robert Kowalski (1974):
Logic for problem solving.
Department of Computational Logic, Edinburgh University,
doi:10.1145/1005937.1005947.
Jérôme Kunegis (2013):
Konect: the koblenz network collection.
In: Proceedings of the 22nd International Conference on World Wide Web,
pp. 1343–1350,
doi:10.1145/2487788.2488173.
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato & Katsumi Inoue (2018):
Computing Logic Programming Semantics in Linear Algebra.
In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018).
Springer International Publishing,
Lecture Notes in Artificial Intelligence, Vol. 11248,
pp. 32–48,
doi:10.1007/978-3-030-03014-8_3.
Tim Rocktäschel, Matko Bosnjak, Sameer Singh & Sebastian Riedel (2014):
Low-dimensional embeddings of logic.
In: Proceedings of the ACL 2014 Workshop on Semantic Parsing,
pp. 45–49,
doi:10.3115/v1/W14-2409.
Chiaki Sakama, Katsumi Inoue & Taisuke Sato (2017):
Linear Algebraic Characterization of Logic Programs.
In: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017).
Springer International Publishing,
Lecture Notes in Artificial Intelligence, Vol. 10412,
pp. 520–533,
doi:10.1007/978-3-319-63558-3_44.
Taisuke Sato (2017):
Embedding Tarskian semantics in vector spaces.
In: Workshops at the Thirty-First AAAI Conference on Artificial Intelligence.
Taisuke Sato (2017):
A linear algebraic approach to Datalog evaluation.
Theory and Practice of Logic Programming 17(3),
pp. 244–265,
doi:10.1017/S1471068417000023.
Taisuke Sato, Katsumi Inoue & Chiaki Sakama (2018):
Abducing Relations in Continuous Spaces..
In: IJCAI,
pp. 1956–1962,
doi:10.24963/ijcai.2018/270.
Maarten H Van Emden & Robert A Kowalski (1976):
The semantics of predicate logic as a programming language.
Journal of the ACM (JACM) 23(4),
pp. 733–742,
doi:10.1145/321978.321991.