literature_review_use_cases_study_papers_set.bib

@article{vilamala2020hybrid,
  title={A hybrid neuro-symbolic approach for complex event processing},
  author={Vilamala, Marc Roig and Taylor, Harrison and Xing, Tianwei and Garcia, Luis and Srivastava, Mani and Kaplan, Lance and Preece, Alun and Kimmig, Angelika and Cerutti, Federico},
  journal={arXiv preprint arXiv:2009.03420},
  year={2020}
}
@article{manhaeveapproximate,
  title={Approximate Inference for Neural Probabilistic Logic Programming},
  author={Manhaeve, Robin and Marra, Giuseppe and De Raedt, Luc}
}
@article{prentzas2016assessment,
  title={Assessment of life insurance applications: An approach integrating neuro-symbolic rule-based with case-based reasoning},
  author={Prentzas, Jim and Hatzilygeroudis, Ioannis},
  journal={Expert Systems},
  volume={33},
  number={2},
  pages={145--160},
  year={2016},
  publisher={Wiley Online Library}
}
@inproceedings{park2021evolutionary,
  title={Evolutionary Optimization of Neuro-Symbolic Integration for Phishing URL Detection},
  author={Park, Kyoung-Won and Bu, Seok-Jun and Cho, Sung-Bae},
  booktitle={International Conference on Hybrid Artificial Intelligence Systems},
  pages={88--100},
  year={2021},
  organization={Springer}
}
@phdthesis{choy2021neuro,
  title={Neuro Symbolic Artificial Intelligence Pioneer to Overcome the Limits of Machine Learn},
  author={Choy, Kum Hee},
  year={2021},
  school={Arizona State University}
}
@article{susskind2021neurosymbolic,
  title={Neuro-Symbolic AI: An Emerging Class of AI Workloads and their Characterization},
  author={Susskind, Zachary and Arden, Bryce and John, Lizy K and Stockton, Patrick and John, Eugene B},
  journal={arXiv preprint arXiv:2109.06133},
  year={2021}
}
@inproceedings{golovko2020neuro,
  title={Neuro-Symbolic Artificial Intelligence: Application for Control the Quality of Product Labeling},
  author={Golovko, Vladimir and Kroshchanka, Aliaksandr and Kovalev, Mikhail and Taberko, Valery and Ivaniuk, Dzmitry},
  booktitle={International Conference on Open Semantic Technologies for Intelligent Systems},
  pages={81--101},
  year={2020},
  organization={Springer}
}
@article{shindo2021neuro,
  title={Neuro-Symbolic Forward Reasoning},
  author={Shindo, Hikaru and Dhami, Devendra Singh and Kersting, Kristian},
  journal={arXiv preprint arXiv:2110.09383},
  year={2021}
}
@article{han2020neuro,
  title={Neuro-symbolic program search for autonomous driving decision module design},
  author={Han, Jiankai Sun1 Hao Sun1 Tian and Zhou, Bolei},
  year={2020}
}
@inproceedings{amizadeh2020neuro,
  title={Neuro-Symbolic Visual Reasoning: Disentangling},
  author={Amizadeh, Saeed and Palangi, Hamid and Polozov, Alex and Huang, Yichen and Koishida, Kazuhito},
  booktitle={International Conference on Machine Learning},
  pages={279--290},
  year={2020},
  organization={PMLR}
}
@article{cingillioglu2021pix2rule,
  title={pix2rule: End-to-end Neuro-symbolic Rule Learning},
  author={Cingillioglu, Nuri and Russo, Alessandra},
  journal={arXiv preprint arXiv:2106.07487},
  year={2021}
}
@inproceedings{hitzler2005ontology,
  title={Ontology learning as a use-case for neural-symbolic integration},
  author={Hitzler, Pascal and Bader, Sebastian and Garcez, Artur},
  booktitle={Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning},
  year={2005}
}
@article{burattini2005neuro,
  title={Neuro-symbolic programs for robots},
  author={Burattini, Ernesto and Datteri, Edoardo and Tamburrini, Guglielmo},
  journal={NeSy 2005},
  year={2005},
  publisher={Citeseer}
}
@inproceedings{bader2005integrating,
  title={Integrating first-order logic programs and connectionist systems-a constructive approach},
  author={Bader, Sebastian and Witzel, Andreas and Hitzler, Pascal},
  booktitle={Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning},
  year={2005}
}
@inproceedings{orseau2005principle,
  title={The principle of presence: A heuristic for growing knowledge structured neural networks},
  author={Orseau, Laurent},
  booktitle={Proceedings of the Neuro-Symbolic Workshop at IJCAI (NeSy’05), Edinburgh},
  year={2005}
}
@inproceedings{bader2005integrating,
  title={Integrating first-order logic programs and connectionist systems-a constructive approach},
  author={Bader, Sebastian and Witzel, Andreas and Hitzler, Pascal},
  booktitle={Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning},
  year={2005}
}
@article{su2005symbolic,
  title={Symbolic encoding of neural networks using communicating automata with applications to verification of neural network based controllers},
  author={Su, Li and Bowman, Howard and Wyble, Brad},
  journal={NeSy 2005},
  year={2005},
  publisher={Citeseer}
}
@article{lehmann2010extracting,
  title={Extracting reduced logic programs from artificial neural networks},
  author={Lehmann, Jens and Bader, Sebastian and Hitzler, Pascal},
  journal={Applied intelligence},
  volume={32},
  number={3},
  pages={249--266},
  year={2010},
  publisher={Springer}
}
@article{hitzler2004logic,
  title={Logic programs and connectionist networks},
  author={Hitzler, Pascal and H{\"o}lldobler, Steffen and Seda, Anthony Karel},
  journal={Journal of Applied Logic},
  volume={2},
  number={3},
  pages={245--272},
  year={2004},
  publisher={Elsevier}
}
@article{sanchez2008quality,
  title={Quality inspection of textile artificial textures using a neuro-symbolic hybrid system methodology},
  author={S{\'a}nchez, Vianey Guadalupe Cruz and Villegas, OSSLAN OSIRIS VERGARA and Salgado, GERARDO REYES and Dom{\i}nguez, H De Jes{\'u}s Ochoa},
  journal={WSEAS Transaction of Computer},
  number={12},
  pages={1899--1905},
  year={2008},
  publisher={Citeseer}
}
@article{villegas2008rules,
  title={Rules and feature extraction for microcalcifications detection in digital mammograms using neuro-symbolic hybrid systems and undecimated filter banks},
  author={Villegas, Osslan Osiris Vergara and DOM{\'I}NGUEZ, HUMBERTO DE JES{\'U}S OCHOA and S{\'a}nchez, Vianey Guadalupe Cruz and Casas, Efr{\'e}n David Guti{\'e}rrez and Salgado, Gerardo Reyes},
  journal={WSEAS Transactions on Signal Processing},
  volume={4},
  number={8},
  pages={484--493},
  year={2008},
  publisher={Citeseer}
}
@incollection{bader2007core,
  title={The core method: Connectionist model generation for first-order logic programs},
  author={Bader, Sebastian and Hitzler, Pascal and H{\"o}lldobler, Steffen and Witzel, Andreas},
  booktitle={Perspectives of neural-symbolic integration},
  pages={205--232},
  year={2007},
  publisher={Springer}
}
@incollection{gust2007learning,
  title={Learning models of predicate logical theories with neural networks based on topos theory},
  author={Gust, Helmar and K{\"u}hnberger, Kai-Uwe and Geibel, Peter},
  booktitle={Perspectives of Neural-Symbolic Integration},
  pages={233--264},
  year={2007},
  publisher={Springer}
}
@incollection{garcez2007advances,
  title={Advances in neural-symbolic learning systems: Modal and temporal reasoning},
  author={Garcez, Artur S d'Avila},
  booktitle={Perspectives of Neural-Symbolic Integration},
  pages={265--282},
  year={2007},
  publisher={Springer}
}
@incollection{komendantskaya2007connectionist,
  title={Connectionist representation of multi-valued logic programs},
  author={Komendantskaya, Ekaterina and Lane, M{\'a}ire and Seda, Anthony Karel},
  booktitle={Perspectives of Neural-Symbolic Integration},
  pages={283--313},
  year={2007},
  publisher={Springer}
}
@inproceedings{hammer2019adaptive,
  title={Adaptive neuro-symbolic network agent},
  author={Hammer, Patrick},
  booktitle={International Conference on Artificial General Intelligence},
  pages={80--90},
  year={2019},
  organization={Springer}
}
@inproceedings{bianchi2019complementing,
  title={Complementing logical reasoning with sub-symbolic commonsense},
  author={Bianchi, Federico and Palmonari, Matteo and Hitzler, Pascal and Serafini, Luciano},
  booktitle={International Joint Conference on Rules and Reasoning},
  pages={161--170},
  year={2019},
  organization={Springer}
}
@inproceedings{prentzas2008improving,
  title={Improving the integration of neuro-symbolic rules with case-based reasoning},
  author={Prentzas, Jim and Hatzilygeroudis, Ioannis and Michail, Othon},
  booktitle={Hellenic Conference on Artificial Intelligence},
  pages={377--382},
  year={2008},
  organization={Springer}
}
@article{prentzas2011neurules,
  title={Neurules-A type of neuro-symbolic rules: An overview},
  author={Prentzas, Jim and Hatzilygeroudis, Ioannis},
  journal={Combinations of Intelligent Methods and Applications},
  pages={145--165},
  year={2011},
  publisher={Springer}
}
@incollection{hatzilygeroudis2011fuzzy,
  title={Fuzzy and neuro-symbolic approaches to assessment of bank loan applicants},
  author={Hatzilygeroudis, Ioannis and Prentzas, Jim},
  booktitle={Artificial Intelligence Applications and Innovations},
  pages={82--91},
  year={2011},
  publisher={Springer}
}
@inproceedings{sanchez2006combined,
  title={A Combined Representation to Refine the Knowledge Using a Neuro-Symbolic Hybrid System Applied in a Problem of Apple Classification},
  author={Sanchez, VG Cruz and Salgado, G Reyes and Villegas, OO Vergara and Elias, R Pinto},
  booktitle={16th International Conference on Electronics, Communications and Computers (CONIELECOMP'06)},
  pages={30--30},
  year={2006},
  organization={IEEE}
}
@article{panju2020neuro,
  title={A Neuro-Symbolic Method for Solving Differential and Functional Equations},
  author={Panju, Maysum and Ghodsi, Ali},
  journal={arXiv preprint arXiv:2011.02415},
  year={2020}
}
@article{kang2021neuro,
  title={A neuro-symbolic method for understanding free-text medical evidence},
  author={Kang, Tian and Turfah, Ali and Kim, Jaehyun and Perotte, Adler and Weng, Chunhua},
  journal={Journal of the American Medical Informatics Association: JAMIA},
  year={2021},
  publisher={Oxford University Press}
}
@article{sathasivam2012applying,
  title={Applying Fuzzy Logic in Neuro Symbolic Integration},
  author={Sathasivam, Saratha},
  journal={World Applied Sciences Journal},
  volume={17},
  pages={79--86},
  year={2012},
  publisher={Citeseer}
}
@article{sathasivam2010clauses,
  title={Clauses Representation Comparison in Neuro-Symbolic Integration},
  author={Sathasivam, Saratha},
  journal={SSJ},
  volume={1},
  number={2},
  pages={2},
  year={2010}
}
@inproceedings{khan2020neuro,
  title={Neuro-symbolic Visual Reasoning for Multimedia Event Processing: Overview, Prospects and Challenges.},
  author={Khan, Muhammad Jaleed and Curry, Edward},
  booktitle={CIKM (Workshops)},
  year={2020}
}
@article{boulahia2015experiments,
  title={Experiments of A neuro symbolic hybrid learning system with incomplete data},
  author={Boulahia, Jihane and Smirani, Lassaad and KSA, Makkah Almoukarramah},
  year={2015}
}
@article{sathasivam2011learning,
  title={Learning Rules Comparison in Neuro-SymbolicIntegration},
  author={Sathasivam, Saratha},
  journal={International Journal of Applied Physics and Mathematics},
  volume={1},
  number={2},
  pages={129},
  year={2011},
  publisher={IACSIT Press}
}
@inproceedings{morel2021neuro,
  title={Neuro-symbolic AI for the smart city},
  author={Morel, Gilles},
  booktitle={Journal of Physics: Conference Series},
  volume={2042},
  number={1},
  pages={012018},
  year={2021},
  organization={IOP Publishing}
}
@article{nye2021improving,
  title={Improving coherence and consistency in neural sequence models with dual-system, neuro-symbolic reasoning},
  author={Nye, Maxwell and Tessler, Michael and Tenenbaum, Josh and Lake, Brenden M},
  journal={Advances in Neural Information Processing Systems},
  volume={34},
  year={2021}
}
@article{sathasivamneuro,
  title={Neuro symbolic integration and agent based modelling},
  author={Sathasivam, Saratha and Velavan, Muraly}
}
@article{hatzilygeroudis2004neuro,
  title={Neuro-symbolic approaches for knowledge representation in expert systems},
  author={Hatzilygeroudis, Ioannis and Prentzas, Jim},
  journal={International Journal of Hybrid Intelligent Systems},
  volume={1},
  number={3-4},
  pages={111--126},
  year={2004},
  publisher={IOS Press}
}
@inproceedings{sathasivam2010neuro,
  title={Neuro symbolic integration using pseudo inverse rule},
  author={Sathasivam, Saratha and Velavan, Muraly},
  booktitle={Annual International Conference on Advance Topics in Artificial Intelligence. Phuket, Thailand},
  year={2010}
}
@inproceedings{corchado1995neuro,
  title={Neuro-symbolic reasoning-a solution for complex problemas},
  author={Corchado, JM},
  booktitle={INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS. LONDON, UK},
  year={1995}
}
@inproceedings{kuhnberger2008perspectives,
  title={Perspectives of Neuro--Symbolic Integration--Extended Abstract--},
  author={K{\"u}hnberger, Kai-Uwe and Gust, Helmar and Geibel, Peter},
  booktitle={Dagstuhl Seminar Proceedings},
  year={2008},
  organization={Schloss Dagstuhl-Leibniz-Zentrum f{\"u}r Informatik}
}
@inproceedings{pisano2020neuro,
  title={Neuro-symbolic Computation for XAI: Towards a Unified Model.},
  author={Pisano, Giuseppe and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
  booktitle={WOA},
  volume={1613},
  pages={101},
  year={2020}
}
@article{velik2010neuro,
  title={The neuro-symbolic code of perception},
  author={Velik, Rosemarie},
  journal={Journal of Cognitive Science},
  volume={11},
  number={2},
  pages={161--180},
  year={2010},
  publisher={서울대학교 인지과학연구소}
}
@inproceedings{alexandre1997tools,
  title={Tools and experiments for hybrid neuro-symbolic processing},
  author={Alexandre, Fr{\'e}d{\'e}ric},
  booktitle={Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence},
  pages={338--345},
  year={1997},
  organization={IEEE}
}
@article{ebrahimi2021towards,
  title={Towards bridging the neuro-symbolic gap: Deep deductive reasoners},
  author={Ebrahimi, Monireh and Eberhart, Aaron and Bianchi, Federico and Hitzler, Pascal},
  journal={Applied Intelligence},
  pages={1--23},
  year={2021},
  publisher={Springer}
}
@phdthesis{ebrahimi2021towards,
  title={Towards generalizable neuro-symbolic reasoners},
  author={Ebrahimi, Monireh},
  year={2021},
  school={Kansas State University}
}
@inproceedings{lu2021training,
  title={Training Logical Neural Networks by Primal--Dual Methods for Neuro-Symbolic Reasoning},
  author={Lu, Songtao and Khan, Naweed and Akhalwaya, Ismail Yunus and Riegel, Ryan and Horesh, Lior and Gray, Alexander},
  booktitle={ICASSP 2021-2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)},
  pages={5559--5563},
  year={2021},
  organization={IEEE}
}
@article{dold2021energy,
  title={An energy-based model for neuro-symbolic reasoning on knowledge graphs},
  author={Dold, Dominik and Garrido, Josep Soler},
  journal={arXiv preprint arXiv:2110.01639},
  year={2021}
}
@article{ding2021attention,
  title={Attention over learned object embeddings enables complex visual reasoning},
  author={Ding, David and Hill, Felix and Santoro, Adam and Reynolds, Malcolm and Botvinick, Matt},
  journal={Advances in Neural Information Processing Systems},
  volume={34},
  year={2021}
}
@article{agarwal2021end,
  title={End-to-End Neuro-Symbolic Architecture for Image-to-Image Reasoning Tasks},
  author={Agarwal, Ananye and Shenoy, Pradeep and others},
  journal={arXiv preprint arXiv:2106.03121},
  year={2021}
}
@article{de2020statistical,
  title={From statistical relational to neuro-symbolic artificial intelligence},
  author={De Raedt, Luc and Duman{\v{c}}i{\'c}, Sebastijan and Manhaeve, Robin and Marra, Giuseppe},
  journal={arXiv preprint arXiv:2003.08316},
  year={2020}
}
@inproceedings{prentzas2008improving,
  title={Improving the integration of neuro-symbolic rules with case-based reasoning},
  author={Prentzas, Jim and Hatzilygeroudis, Ioannis and Michail, Othon},
  booktitle={Hellenic Conference on Artificial Intelligence},
  pages={377--382},
  year={2008},
  organization={Springer}
}
@inproceedings{sitton2019neuro,
  title={Neuro-symbolic hybrid systems for industry 4.0: a systematic mapping study},
  author={Sitt{\'o}n, In{\'e}s and Alonso, Ricardo S and Hern{\'a}ndez-Nieves, Elena and Rodr{\'\i}guez-Gonzalez, Sara and Rivas, Alberto},
  booktitle={International Conference on Knowledge Management in Organizations},
  pages={455--465},
  year={2019},
  organization={Springer}
}
@article{tarau2021natlog,
  title={Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch},
  author={Tarau, Paul},
  journal={arXiv preprint arXiv:2109.08291},
  year={2021}
}
@inproceedings{velik2008neuro,
  title={Neuro-symbolic networks: Introduction to a new information processing principle},
  author={Velik, Rosemarie and Bruckner, Dietmar},
  booktitle={2008 6th IEEE International Conference on Industrial Informatics},
  pages={1042--1047},
  year={2008},
  organization={IEEE}
}
@inproceedings{de2019neuro,
  title={Neuro-symbolic= neural+ logical+ probabilistic},
  author={De Raedt, Luc and Manhaeve, Robin and Dumancic, Sebastijan and Demeester, Thomas and Kimmig, Angelika},
  booktitle={NeSy'19@ IJCAI, the 14th International Workshop on Neural-Symbolic Learning and Reasoning},
  year={2019}
}
@article{prentzas2011neurules,
  title={Neurules-A type of neuro-symbolic rules: An overview},
  author={Prentzas, Jim and Hatzilygeroudis, Ioannis},
  journal={Combinations of Intelligent Methods and Applications},
  pages={145--165},
  year={2011},
  publisher={Springer}
}
@article{sarker2021neuro,
  title={Neuro-Symbolic Artificial Intelligence Current Trends},
  author={Sarker, Md Kamruzzaman and Zhou, Lu and Eberhart, Aaron and Hitzler, Pascal},
  journal={arXiv preprint arXiv:2105.05330},
  year={2021}
}