Degree Department
2 Matching Results
Results open in a new window/tab.
Results:
1 - 2 of
2
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
Article that introduces Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. The authors' proof-of-concept Natlog implementation is tightly embedded in the Python-based deep-learning ecosystem with focus on content-driven indexing of ground term datasets. As an overriding of the authors symbolic indexing algorithm, the same function can be delegated to a neural network, serving ground facts to Natlog's resolution engine. The open-source implementation is available as a Python package at t https://pypi.org/project/natlog/.
Date:
September 17, 2021
Creator:
Tarau, Paul
System:
The UNT Digital Library
Recent advances in processing negation
This article surveys previous work on negation with an emphasis on computational approaches.
Date:
December 17, 2021
Creator:
Morante, Roser & Blanco, Eduardo
System:
The UNT Digital Library