• 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.

found 78 matches

• 2024
• 
  Evgenii Vityaev, Alexey Korolev:
  Interpretable logical-probabilistic approximation of neural networks. Cogn. Syst. Res. 88: 101301 (2024)
• 
  Hangchi Shen, Huamin Wang, Yuqi Ma, Long Li, Shukai Duan, Shiping Wen:
  Multi-LRA: Multi logical residual architecture for spiking neural networks. Inf. Sci. 660: 120136 (2024)
• 
  Xiaodong Yue, Xiao Huang, Zhikang Xu, Yufei Chen, Chuanliang Xu:
  Involving logical clinical knowledge into deep neural networks to improve bladder tumor segmentation. Medical Image Anal. 95: 103189 (2024)
• 
  Jiayang Liu, Lina Wang, Amol Yerudkar, Yang Liu:
  Set stabilization of logical control networks: A minimum node control approach. Neural Networks 174: 106266 (2024)
• 
  Xin Mei, Libin Yang, Zuowei Jiang, Xiaoyan Cai, Dehong Gao, Junwei Han, Shirui Pan:
  An Inductive Reasoning Model based on Interpretable Logical Rules over temporal knowledge graph. Neural Networks 174: 106219 (2024)
• 
  Yanling Shao, Yuzhi Zhang, Wenyong Dong, Qikun Zhang, Pingping Shan, Junying Guo, Hairui Xu:
  Enhancing adversarial attacks with resize-invariant and logical ensemble. Neural Networks 173: 106194 (2024)
• 
  Shuang Li, Fan Li, Jinxing Li, Huafeng Li, Bob Zhang, Dapeng Tao, Xinbo Gao:
  Logical Relation Inference and Multiview Information Interaction for Domain Adaptation Person Re-Identification. IEEE Trans. Neural Networks Learn. Syst. 35(10): 14770-14782 (2024)
• 
  Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
  Decidability of Graph Neural Networks via Logical Characterizations. ICALP 2024: 127:1-127:20
• 
  Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
  Decidability of Graph Neural Networks via Logical Characterizations. CoRR abs/2404.18151 (2024)
• 
  Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz:
  Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats. CoRR abs/2405.14606 (2024)
• 
  Alexander Pluska, Pascal Welke, Thomas Gärtner, Sagar Malhotra:
  Logical Distillation of Graph Neural Networks. CoRR abs/2406.07126 (2024)
• 2023
• 
  Juan G. Díaz Ochoa, Lukas Maier, Orsolya Csiszár:
  Bayesian logical neural networks for human-centered applications in medicine. Frontiers Bioinform. 3 (2023)
• 
  Rongpei Zhou, Yuqian Guo, Yuhao Wang, Zejun Sun, Xinzhi Liu:
  Safe control of logical control networks with random impulses. Neural Networks 165: 884-895 (2023)
• 
  Deming Li, Kellyt D. Ortegas, Marvin White:
  Exploring the Computational Effects of Advanced Deep Neural Networks on Logical and Activity Learning for Enhanced Thinking Skills. Syst. 11(7): 319 (2023)
• 
  Ziyu Li, Zhiyuan Zhu, Qing Li, Xia Wu:
  Jointly Fusing Multi-Scale Spatial-Logical Brain Networks: A Neural Decoding Method. IEEE J. Biomed. Health Informatics 27(1): 445-456 (2023)
• 
  Keyang Cheng, Qing Liu, Rabia Tahir, Liangmin Wang, Maozhen Li:
  Logical Topology Inference via CPGCN Joint Optimizing With Pedestrian Re-Id. IEEE Trans. Neural Networks Learn. Syst. 34(8): 5099-5111 (2023)
• 
  Anton Agafonov, Andrew Ponomarev:
  RevelioNN: Retrospective Extraction of Visual and Logical Insights for Ontology-Based Interpretation of Neural Networks. FRUCT 2023: 3-9
• 
  Zhun Yang, Joohyung Lee, Chiyoun Park:
  Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. CoRR abs/2307.04347 (2023)
• 2022
• 
  Nick Hoernle, Rafael-Michael Karampatsis, Vaishak Belle, Kobi Gal:
  MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. AAAI 2022: 5700-5709
• 
  Prithviraj Sen, Breno W. S. R. de Carvalho, Ryan Riegel, Alexander G. Gray:
  Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks. AAAI 2022: 8212-8219
• 
  Larisa A. Lyutikova:
  Analysis of the results of using logical methods and neural networks in diagnostic tasks. BICA*AI 2022: 580-587
• 
  Prithviraj Sen, Breno W. S. R. de Carvalho, Ibrahim Abdelaziz, Pavan Kapanipathi, Salim Roukos, Alexander G. Gray:
  Logical Neural Networks for Knowledge Base Completion with Embeddings & Rules. EMNLP 2022: 3863-3875
• 
  Vjekoslav Diklic, Ivan Markovic:
  Lane Change Classification with Neural Networks for Automated Conversion of Logical Scenarios. IAS 2022: 778-789
• 
  Zhun Yang, Joohyung Lee, Chiyoun Park:
  Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. ICML 2022: 25096-25122
• 
  Xiyue Zhang, Xiaohong Chen, Meng Sun:
  Towards a Unifying Logical Framework for Neural Networks. ICTAC 2022: 442-461
• 
  Aidan Evans, Jorge Blanco:
  Extending Logical Neural Networks using First-Order Theories. CoRR abs/2207.02978 (2022)
• 2021
• 
  Solène Tarride, Aurélie Lemaitre, Bertrand Coüasnon, Sophie Tardivel:
  Combination of deep neural networks and logical rules for record segmentation in historical handwritten registers using few examples. Int. J. Document Anal. Recognit. 24(1): 77-96 (2021)
• 
  Eleonora Giunchiglia, Thomas Lukasiewicz:
  Multi-Label Classification Neural Networks with Hard Logical Constraints. J. Artif. Intell. Res. 72: 759-818 (2021)
• 
  Shuling Wang, Haitao Li:
  Graph-Based Function Perturbation Analysis for Observability of Multivalued Logical Networkss. IEEE Trans. Neural Networks Learn. Syst. 32(11): 4839-4848 (2021)
• 
  Songtao Lu, Naweed Khan, Ismail Yunus Akhalwaya, Ryan Riegel, Lior Horesh, Alexander G. Gray:
  Training Logical Neural Networks by Primal-Dual Methods for Neuro-Symbolic Reasoning. ICASSP 2021: 5559-5563

skipping 48 more matches