Functional programming with bananas, lenses, envelopes and barbed wire E Meijer, M Fokkinga, R Paterson Conference on functional programming languages and computer architecture …, 1991 | 897 | 1991 |
LogMap: Logic-based and scalable ontology matching E Jiménez-Ruiz, BC Grau International Semantic Web Conference, 273-288, 2011 | 694 | 2011 |
Applicative programming with effects C McBride, R Paterson Journal of functional programming 18 (1), 1-13, 2008 | 604 | 2008 |
Singing voice separation with deep u-net convolutional networks A Jansson, E Humphrey, N Montecchio, R Bittner, A Kumar, T Weyde | 504 | 2017 |
Neural-symbolic learning systems AS d’Avila Garcez, LC Lamb, DM Gabbay Neural-Symbolic Cognitive Reasoning, 35-54, 2009 | 381 | 2009 |
Inconsistency management in software engineering: Survey and open research issues G Spanoudakis, A Zisman Handbook of Software Engineering and Knowledge Engineering: Volume I …, 2001 | 364 | 2001 |
Neural-symbolic learning and reasoning: A survey and interpretation AA Garcez, S Bader, H Bowman, LC Lamb, L de Penning, BV Illuminoo, ... Neuro-Symbolic Artificial Intelligence: The State of the Art 342 (1), 327, 2022 | 343 | 2022 |
Software traceability: a roadmap G Spanoudakis, A Zisman Handbook of software engineering and knowledge engineering: vol 3: recent …, 2005 | 321 | 2005 |
Rule-based generation of requirements traceability relations G Spanoudakis, A Zisman, E Pérez-Minana, P Krause Journal of systems and software 72 (2), 105-127, 2004 | 315 | 2004 |
Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning AA Garcez, M Gori, LC Lamb, L Serafini, M Spranger, SN Tran arXiv preprint arXiv:1905.06088, 2019 | 300 | 2019 |
Neural-symbolic cognitive reasoning ASDA Garcez, LC Lamb, DM Gabbay Springer Science & Business Media, 2008 | 274 | 2008 |
A new notation for arrows R Paterson ACM SIGPLAN Notices 36 (10), 229-240, 2001 | 274 | 2001 |
Logic tensor networks: Deep learning and logical reasoning from data and knowledge L Serafini, AA Garcez arXiv preprint arXiv:1606.04422, 2016 | 261 | 2016 |
Logic tensor networks for semantic image interpretation I Donadello, L Serafini, ADA Garcez arXiv preprint arXiv:1705.08968, 2017 | 250 | 2017 |
The connectionist inductive learning and logic programming system AS Avila Garcez, G Zaverucha Applied Intelligence 11, 59-77, 1999 | 241 | 1999 |
Neurosymbolic AI: the 3rd wave AA Garcez, LC Lamb Artificial Intelligence Review 56 (11), 12387-12406, 2023 | 240 | 2023 |
A framework for requirents monitoring of service based systems K Mahbub, G Spanoudakis Proceedings of the 2nd international conference on Service oriented …, 2004 | 213 | 2004 |
Large-scale interactive ontology matching: Algorithms and implementation. E Jiménez-Ruiz, BC Grau, Y Zhou, I Horrocks ECAI 242, 444-449, 2012 | 212 | 2012 |
Neural-symbolic learning and reasoning: contributions and challenges AA Garcez, TR Besold, L De Raedt, P Földiak, P Hitzler, T Icard, ... 2015 AAAI Spring Symposium Series, 2015 | 205 | 2015 |
Improved speech enhancement with the wave-u-net C Macartney, T Weyde arXiv preprint arXiv:1811.11307, 2018 | 192 | 2018 |