A Connectionist Computational Model for Epistemic and Temporal Reasoning

31 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning (2019, background): “[29],[41],[58], etc. ✓ LTN[42,12] ✓ ✓ ✓ CTLK[8,9], SCTL[5], ✓ NSCA[34] ✓ ✓ ✓ TPRN[32] ✓ ✓ TensorLog[6] ✓ ✓ NLP[57] ✓ ✓ ✓ 𝜕 ILP[14] ✓ ✓ ✓ NTP[39] ✓ ✓ ✓ NLM[13] ✓ ✓ ✓ DeepProbLog[28] ✓ ✓ NSPS[33] ✓ ✓”
Learning and Representing Temporal Knowledge in Recurrent Networks (2011, unknown): “Following the neural-symbolic methodology [1], [15], [16], [17], [18], [19], we then prove that this translation is correct with respect to well-established temporal logicprogramming semantics.”