Search Results for author: Ankita Likhyani

Found 2 papers, 2 papers with code

Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases

1 code implementation • 13 Sep 2022 • Sumit Neelam, Udit Sharma, Sumit Bhatia, Hima Karanam, Ankita Likhyani, Ibrahim Abdelaziz, Achille Fokoue, L. V. Subramaniam

Resource Description Framework (RDF) and Property Graph (PG) are the two most commonly used data models for representing, storing, and querying graph data.

Translation

Paper
Code

Logical Neural Networks

1 code implementation • 23 Jun 2020 • Ryan Riegel, Alexander Gray, Francois Luus, Naweed Khan, Ndivhuwo Makondo, Ismail Yunus Akhalwaya, Haifeng Qian, Ronald Fagin, Francisco Barahona, Udit Sharma, Shajith Ikbal, Hima Karanam, Sumit Neelam, Ankita Likhyani, Santosh Srivastava

We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning).

Automated Theorem Proving Logical Reasoning

226

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.