_neural_

Re:Ask HN: Production Prolog in 2020? on Tuesday May 19, 2020 @01:16PM (#23237382)

To the degree that it counts as 'production' Prolog, DFS-Tools -- a toolkit for Distributional Formal Semantics -- is actively used in a number of ongoing scientific projects: https://github.com/hbrouwer/dfs-tools

A Fast, Compact Approximation of the Exponential Function [pdf]

Posted by _neural_ on Tuesday January 14, 2020 @07:18AM
from the citeseerx.ist.psu.edu dept.

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.1569&rep=rep1&type=pdf

( Read More... | no comments | on HN )

A Framework for Distributional Formal Semantics

Posted by _neural_ on Monday June 24, 2019 @04:38AM
from the link.springer.com dept.

https://link.springer.com/chapter/10.1007/978-3-662-59533-6_39

( Read More... | no comments | on HN )

Elbow Cassette Player

Posted by _neural_ on Monday May 15, 2017 @03:57AM
from the elbow.co.nf dept.

http://elbow.co.nf

( Read More... | no comments | 3 points | on HN )

Re:Limbo – A Reasoning System for First-Order Limited Belief on Sunday May 07, 2017 @03:07AM (#14284262)

Take a look at Distributed Situation-state Spaces [1].

[1] http://www.let.rug.nl/festschriftnerbonne/08.%20Brouwer%20et...