Multiple instantiation and rule mediation in SHRUTI

By Carter Wendelken, L. Shastri. 2004

22 citations recorded by the source corpus.

Subfields: Artificial Intelligence

How researchers see this paper

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

In Artificial Intelligence

1. A.S. d'Avila Garcez
2. L. C. Lamb
3. Luciano Serafini
4. Michael Spranger
5. Son Dinh Tran
6. Marco Gori
7. Pascal Hitzler
8. Sebastian Bader

Citations in the corpus

• Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning (2019, background): “Most theorem proving systems based on neural networks, including first-order logic reasoning systems such as SHRUTI [56], have been unable to perform learning as effectively as end-to-end differentiable learning systems.”
• Dimensions of Neural-symbolic Integration - A Structured Survey (2005, methodology): “adds very basic learning capabilities to the system, while [Wendelken and Shastri, 2004] addresses the problem of multiple reuse of knowledge rules, an aspect which limits the capabilities of SHRUTI.”