Остановите войну!
for scientists:
default search action
Kavitha Srinivas
- > Home > Persons > Kavitha Srinivas
Publications
- 2023
- [j7]Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue:
Learning to Guide a Saturation-Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 45(1): 738-751 (2023) - 2021
- [c43]Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni, Spencer Whitehead, Cristina Cornelio, Pavan Kapanipathi, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving. AAAI 2021: 6279-6287 - [i8]Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue:
Learning to Guide a Saturation-Based Theorem Prover. CoRR abs/2106.03906 (2021) - 2019
- [i3]Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue:
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies. CoRR abs/1911.02065 (2019) - 2016
- [c31]Mohammad Sadoghi, Kavitha Srinivas, Oktie Hassanzadeh, Yuan-Chi Chang, Mustafa Canim, Achille Fokoue, Yishai A. Feldman:
Self-Curating Databases. EDBT 2016: 467-472 - [c30]Julian Dolby, Achille Fokoue, Mariano Rodriguez-Muro, Kavitha Srinivas, Wen Sun:
Extending SPARQL for Data Analytic Tasks. ISWC (2) 2016: 437-452 - [c29]Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri:
An Executable Specification for SPARQL. WISE (2) 2016: 298-305 - 2015
- [c27]Wen Sun, Achille Fokoue, Kavitha Srinivas, Anastasios Kementsietsidis, Gang Hu, Guo Tong Xie:
SQLGraph: An Efficient Relational-Based Property Graph Store. SIGMOD Conference 2015: 1887-1901 - 2014
- [j3]Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas:
A Principled Approach to Bridging the Gap between Graph Data and their Schemas. Proc. VLDB Endow. 7(8): 601-612 (2014) - [j2]Jason B. Ellis, Achille Fokoue, Oktie Hassanzadeh, Anastasios Kementsietsidis, Kavitha Srinivas, Michael Jeffrey Ward:
Exploring Big Data with Helix: Finding Needles in a Big Haystack. SIGMOD Rec. 43(4): 43-54 (2014) - [c26]Achille Fokoue, Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas:
An Offline Optimal SPARQL Query Planning Approach to Evaluate Online Heuristic Planners. WISE (1) 2014: 480-495 - 2013
- [i1]Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas:
A Principled Approach to Bridging the Gap between Graph Data and their Schemas. CoRR abs/1308.5703 (2013) - 2012
- [c21]Songyun Duan, Achille Fokoue, Oktie Hassanzadeh, Anastasios Kementsietsidis, Kavitha Srinivas, Michael Jeffrey Ward:
Instance-Based Matching of Large Ontologies Using Locality-Sensitive Hashing. ISWC (1) 2012: 49-64 - 2011
- [c20]Songyun Duan, Achille Fokoue, Kavitha Srinivas, Brian Byrne:
A Clustering-Based Approach to Ontology Alignment. ISWC (1) 2011: 146-161 - [c18]Oktie Hassanzadeh, Songyun Duan, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Michael Jeffrey Ward:
Helix: online enterprise data analytics. WWW (Companion Volume) 2011: 225-228 - 2010
- [c17]Songyun Duan, Achille Fokoue, Kavitha Srinivas:
One Size Does Not Fit All: Customizing Ontology Alignment Using User Feedback. ISWC (1) 2010: 177-192 - 2009
- [j1]Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas:
Scalable highly expressive reasoner (SHER). J. Web Semant. 7(4): 357-361 (2009) - [c15]Brian Byrne, Achille Fokoue, Aditya Kalyanpur, Kavitha Srinivas, Min Wang:
Scalable Matching of Industry Models - a Case Study. OM 2009 - [c14]Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas:
Extracting Enterprise Vocabularies Using Linked Open Data. ISWC 2009: 779-794 - 2008
- [c12]Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun:
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases. ISWC 2008: 403-418 - [p1]Stijn Heymans, Li Ma, Darko Anicic, Zhilei Ma, Nathalie Steinmetz, Yue Pan, Jing Mei, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Cristina Feier, Graham Hench, Branimir Wetzstein, Uwe Keller:
Ontology Reasoning with Large Data Repositories. Ontology Management 2008: 89-128 - 2007
- [c11]Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma:
Scalable Semantic Retrieval through Summarization and Refinement. AAAI 2007: 299-304 - [c10]Robert Schiaffino, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, Chintan Patel, Edith Schonberg, Kavitha Srinivas:
Computing OWL Ontology Decompositions Using Resolution. WoMO 2007 - [c9]Julian Dolby, James Fan, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, J. William Murdock, Kavitha Srinivas, Christopher A. Welty:
Scalable Cleanup of Information Extraction Data Using Ontologies. ISWC/ASWC 2007: 100-113 - [c8]Chintan Patel, James J. Cimino, Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, Edith Schonberg, Kavitha Srinivas:
Matching Patient Records to Clinical Trials Using Ontologies. ISWC/ASWC 2007: 816-829 - 2006
- [c6]Aaron Kershenbaum, Achille Fokoue, Chintan Patel, Christopher A. Welty, Edith Schonberg, James J. Cimino, Li Ma, Kavitha Srinivas, Robert J. Schloss, J. William Murdock:
A View of OWL From the Field: Use-cases and Experiences. OWLED 2006 - [c5]Achille Fokoue, Aaron Kershenbaum, Li Ma, Edith Schonberg, Kavitha Srinivas:
The Summary Abox: Cutting Ontologies Down to Size. ISWC 2006: 343-356
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-03 22:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint