![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 33 matches
- 2024
- Cristina Cornelio, Mohammed Diab:
Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery. CoRR abs/2404.00756 (2024) - 2023
- 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) - Cristina Cornelio, Jan Stuehmer, Shell Xu Hu, Timothy M. Hospedales:
Learning where and when to reason in neuro-symbolic inference. ICLR 2023 - 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 - 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
- Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis. AAMAS 2022: 1929-1931 - 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
- 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) - 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) - 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 - 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 - Cristina Cornelio, Veronika Thost:
Synthetic Datasets and Evaluation Tools for Inductive Neural Reasoning. ILP 2021: 57-77 - 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) - 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
- Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with Random Classifiers (VORACE). AAMAS 2020: 1822-1824 - Cristina Cornelio, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable:
Sequential Voting in Multi-agent Soft Constraint Aggregation. AAMAS 2020: 2131-2133 - 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) - 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
- 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) - 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 - 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) - Cristina Cornelio, Veronika Thost:
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools. CoRR abs/1909.07095 (2019) - Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi:
Voting with Random Classifiers (VORACE). CoRR abs/1909.08996 (2019) - 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) - 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) - Mustafa Canim, Cristina Cornelio, Arun Iyengar, Ryan Musa, Mariano Rodriguez-Muro:
Schemaless Queries over Document Tables with Dependencies. CoRR abs/1911.09356 (2019) - 2018
- 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
- Cristina Cornelio, Vijay A. Saraswat:
Expressing Probabilistic Graphical Models in RCC. AAAI Workshops 2017 - 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
- 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
skipping 3 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
retrieved on 2024-08-28 21:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint