References

  1. H. Aït-Kaci (1991): Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, doi:10.7551/mitpress/7160.001.0001.
  2. Michael van Bekkum, Maaike de Boer, Frank van Harmelen, André Meyer-Vitali & Annette ten Teije (2021): Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases. arXiv preprint arXiv:2102.11965.
  3. Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero & Torsten Schaub (2020): eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20(6), pp. 834–847, doi:10.1017/S1471068420000228.
  4. W. Chen, M. Kifer & D.S. Warren (1989): HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. In: E.L. Lusk & R.A. Overbeek: 1st North American Conf. Logic Programming. MIT Press, Cleveland, OH, pp. 1090–1114.
  5. Keith L. Clark & Frank G. McCabe (1984): Micro-Prolog - programming in logic. Prentice Hall international series in computer science. Prentice Hall.
  6. Vítor Santos Costa (2009): On Just in Time Indexing of Dynamic Predicates in Prolog. In: Luís Seabra Lopes, Nuno Lau, Pedro Mariano & Luis Mateus Rocha: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, Lecture Notes in Computer Science 5816. Springer, pp. 126–137, doi:10.1007/978-3-642-04686-5_11.
  7. Luc De Raedt, Sebastijan Dumanči\'c, Robin Manhaeve & Giuseppe Marra (2020): From statistical relational to neuro-symbolic artificial intelligence. arXiv preprint arXiv:2003.08316.
  8. Artur d'Avila Garcez & Luis C Lamb (2020): Neurosymbolic AI: The 3rd Wave. arXiv e-prints, pp. arXiv–2012.
  9. R. Kowalski & M. Van Emden (1976): The Semantics of Predicate Logic as a Programming Language. JACM 23(4), pp. 733–743, doi:10.1145/321250.321253.
  10. Luis Lamb, Artur Garcez, Marco Gori, Marcelo Prates, Pedro Avelar & Moshe Vardi (2020): Graph neural networks meet neural-symbolic computing: A survey and perspective. arXiv preprint arXiv:2003.00330.
  11. John W. Lloyd (1984): Foundations of Logic Programming, 1st Edition. Springer, doi:10.1007/978-3-642-96826-6.
  12. Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester & Luc De Raedt (2018): DeepProbLog: Neural Probabilistic Logic Programming. In: S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi & R. Garnett: Advances in Neural Information Processing Systems 31. Curran Associates, Inc., pp. 3749–3759. Available at http://papers.nips.cc/paper/7632-deepproblog-neural-probabilistic-logic-programming.pdf.
  13. F. Pedregosa, G. Varoquaux, A. Gramfort, V. Michel, B. Thirion, O. Grisel, M. Blondel, P. Prettenhofer, R. Weiss, V. Dubourg, J. Vanderplas, A. Passos, D. Cournapeau, M. Brucher, M. Perrot & E. Duchesnay (2011): Scikit-learn: Machine Learning in Python. Journal of Machine Learning Research 12, pp. 2825–2830.
  14. R. Ramesh, I.V. Ramakrishnan & R.C. Sekar (2001): Automata-driven efficient subterm unification. Theoretical Computer Science 254(1), pp. 187–223, doi:10.1016/S0304-3975(99)00131-0.
  15. Terrance Swift & S. Warren, David (2012): XSB: Extending Prolog with Tabled Logic Programming. Theory and Practice of Logic Programming 12, pp. 157–187, doi:10.1017/S1471068411000500.
  16. Paul Tarau (2012): The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines. Theory and Practice of Logic Programming 12(1-2), pp. 97–126, doi:10.1007/978-3-642-60085-2_2.
  17. Paul Tarau (2018): A Hitchhiker's Guide to Reinventing a Prolog Machine. In: Ricardo Rocha, Tran Cao Son, Christopher Mears & Neda Saeedloei: Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs) 58. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, pp. 10:1–10:16, doi:10.4230/OASIcs.ICLP.2017.10. Available at http://drops.dagstuhl.de/opus/volltexte/2018/8453.
  18. Paul Tarau (2021): A Family of Unification-Oblivious Program Transformations and Their Applications. In: José F. Morales & Dominic A. Orchard: Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings, Lecture Notes in Computer Science 12548. Springer, pp. 3–19, doi:10.1007/978-3-030-67438-0_1.
  19. Paul Tarau & Veronica Dahl (2001): High-Level Networking with Mobile Code and First Order AND-Continuations. Theory and Practice of Logic Programming 1(3), pp. 359–380, doi:10.1017/S1471068401001193. Cambridge University Press.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org