default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCristina Cornelio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
[j4]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
- [j3]Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with random classifiers (VORACE): theoretical and experimental analysis. Auton. Agents Multi Agent Syst. 35(2): 22 (2021) - [j2]Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable:
Reasoning with PCP-Nets. J. Artif. Intell. Res. 72: 1103-1161 (2021) - 2019
- [j1]Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Multi-agent soft constraint aggregation via sequential voting: theoretical and experimental results. Auton. Agents Multi Agent Syst. 33(1-2): 159-191 (2019)
Conference and Workshop Papers
- 2023
- [c15]Cristina Cornelio, Jan Stuehmer, Shell Xu Hu, Timothy M. Hospedales:
Learning where and when to reason in neuro-symbolic inference. ICLR 2023 - [c14]Cristina Cornelio, Jan Stühmer, Shell Xu Hu, Timothy M. Hospedales:
Learning Where and When to Reason in Neuro-Symbolic Inference. NeSy 2023: 411-412 - 2022
- [c13]Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis. AAMAS 2022: 1929-1931 - 2021
- [c12]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 - [c11]Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander G. Gray, Ramón Fernandez Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois P. S. Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Gangi Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G. P. Shrivatsa Bhargav, Mo Yu:
Leveraging Abstract Meaning Representation for Knowledge Base Question Answering. ACL/IJCNLP (Findings) 2021: 3884-3894 - [c10]Cristina Cornelio, Veronika Thost:
Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. ILP 2021: 57-77 - 2020
- [c9]Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with Random Classifiers (VORACE). AAMAS 2020: 1822-1824 - [c8]Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Sequential Voting in Multi-agent Soft Constraint Aggregation. AAMAS 2020: 2131-2133 - 2019
- [c7]Cristina Cornelio, Lucrezia Furian, Antonio Nicolò, Francesca Rossi:
Using Deceased-Donor Kidneys to Initiate Chains of Living Donor Kidney Paired Donations: Algorithm and Experimentation. AIES 2019: 477-483 - 2018
- [c6]W. Victor H. Yarlott, Cristina Cornelio, Tian Gao, Mark A. Finlayson:
Identifying the Discourse Function of News Article Paragraphs. EventStory@Coling 2018: 25-33 - 2017
- [c5]Cristina Cornelio, Vijay A. Saraswat:
Expressing Probabilistic Graphical Models in RCC. AAAI Workshops 2017 - [c4]Mustafa Canim, Cristina Cornelio, Robert Farrell, Achille Fokoue, Kyle Yingkai Gao, John A. Gunnels, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro, Rosario Uceda-Sosa:
A knowledge and reasoning toolkit for cognitive applications. HotWeb 2017: 13:1-13:10 - 2015
- [c3]Cristina Cornelio, Umberto Grandi, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable:
Reasoning with PCP-nets in a Multi-Agent Context. AAMAS 2015: 969-977 - [c2]Cristina Cornelio:
Models for Conditional Preferences as extensions of CP-nets. IJCAI 2015: 4355-4356 - 2013
- [c1]Cristina Cornelio, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable:
Updates and Uncertainty in CP-Nets. Australasian Conference on Artificial Intelligence 2013: 301-312
Informal and Other Publications
- 2024
- [i14]Cristina Cornelio, Mohammed Diab:
Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery. CoRR abs/2404.00756 (2024) - 2023
- [i13]Ryan Cory-Wright, Bachir El Khadir, Cristina Cornelio, Sanjeeb Dash, Lior Horesh:
AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery. CoRR abs/2308.09474 (2023) - 2022
- [i12]Kenneth L. Clarkson, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Nimrod Megiddo:
Bayesian Experimental Design for Symbolic Discovery. CoRR abs/2211.15860 (2022) - 2021
- [i11]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) - [i10]Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh:
Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. CoRR abs/2109.01634 (2021) - 2020
- [i9]Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo:
Symbolic Regression using Mixed-Integer Nonlinear Optimization. CoRR abs/2006.06813 (2020) - [i8]Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander G. Gray, Ramón Fernandez Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois P. S. Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Gangi Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G. P. Shrivatsa Bhargav, Mo Yu:
Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning. CoRR abs/2012.01707 (2020) - 2019
- [i7]Cristina Cornelio, Lucrezia Furian, Antonio Nicolò, Francesca Rossi:
Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentation. CoRR abs/1901.02420 (2019) - [i6]Cristina Cornelio, Veronika Thost:
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools. CoRR abs/1909.07095 (2019) - [i5]Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with Random Classifiers (VORACE). CoRR abs/1909.08996 (2019) - [i4]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) - [i3]Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth D. Forbus, Achille Fokoue:
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling. CoRR abs/1911.06904 (2019) - [i2]Mustafa Canim, Cristina Cornelio, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro:
Schemaless Queries over Document Tables with Dependencies. CoRR abs/1911.09356 (2019) - 2015
- [i1]Cristina Cornelio, Andrea Loreggia, Vijay A. Saraswat:
Logical Conditional Preference Theories. CoRR abs/1504.06374 (2015)
Coauthor Index
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-09-26 01:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
