Abstract is missing.
- IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic RequirementsMaarten C. Stol, Alessandra Mileo. 3-13 [doi]
- Enhancing Neuro-Symbolic Integration with Focal Loss: A Study on Logic Tensor NetworksLuca Piano, Francesco Manigrasso, Alessandro Sebastian Russo, Lia Morra. 14-23 [doi]
- WineGraph: A Graph Representation for Food-Wine PairingZuzanna Gawrysiak, Agata Zywot, Agnieszka Lawrynowicz. 24-31 [doi]
- Logic Supervised Learning for Time Series - Continual Learning for Appliance DetectionBenjamin Duppe. 32-40 [doi]
- Towards Understanding the Impact of Graph Structure on Knowledge Graph EmbeddingsBrandon Dave, Antrea Christou, Cogan Shimizu. 41-50 [doi]
- Commonsense Ontology MicropatternsAndrew Eells, Brandon Dave, Pascal Hitzler, Cogan Shimizu. 51-59 [doi]
- Metacognitive AI: Framework and the Case for a Neurosymbolic ApproachHua Wei, Paulo Shakarian, Christian Lebiere, Bruce A. Draper, Nikhil Krishnaswamy, Sergei Nirenburg. 60-67 [doi]
- Enhancing Logical Tensor Networks: Integrating Uninorm-Based Fuzzy Operators for Complex ReasoningPaulo Vitor de Campos Souza, Gianluca Apriceno, Mauro Dragoni. 68-79 [doi]
- Parameter Learning Using Approximate Model CountingLucile Dierckx, Alexandre Dubray, Siegfried Nijssen. 80-88 [doi]
- Large-Scale Knowledge Integration for Enhanced Molecular Property PredictionYasir Ghunaim, Robert Hoehndorf. 89-97 [doi]
- Towards Understanding Graph Neural Networks: Functional-Semantic Activation MappingKislay Raj, Alessandra Mileo. 98-106 [doi]
- On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation AnalysisAbhilekha Dalal, Rushrukh Rayan, Adrita Barua, Eugene Y. Vasserman, Md. Kamruzzaman Sarker, Pascal Hitzler. 109-131 [doi]
- Concept Induction Using LLMs: A User Experiment for AssessmentAdrita Barua, Cara Leigh Widmer, Pascal Hitzler. 132-148 [doi]
- Error-Margin Analysis for Hidden Neuron Activation LabelsAbhilekha Dalal, Rushrukh Rayan, Pascal Hitzler. 149-164 [doi]
- LENs for Analyzing the Quality of Life of People with Intellectual DisabilityDiego Fraile-Parra, Vicent Costa, Pilar Dellunde. 165-174 [doi]
- ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time SeriesIrene Ferfoglia, Gaia Saveri, Laura Nenzi, Luca Bortolussi. 175-191 [doi]
- Bringing Back Semantics to Knowledge Graph Embeddings: An Interpretability ApproachAntoine Domingues, Nitisha Jain, Albert Meroño-Peñuela, Elena Simperl. 192-203 [doi]
- Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning ShortcutsDaniel Enström, Viktor Kjellberg, Moa Johansson. 207-221 [doi]
- TIC: Translate-Infer-Compile for Accurate "Text to Plan" Using LLMs and Logical RepresentationsSudhir Agarwal 0001, Anu Sreepathy. 222-244 [doi]
- ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language ModelsWeizhi Tang, Vaishak Belle. 245-257 [doi]
- Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical RelationshipsDagmara Panas, Sohan Seth, Vaishak Belle. 258-276 [doi]
- Assessing LLMs Suitability for Knowledge Graph CompletionVasile Ionut-Remus Iga, Gheorghe Cosmin Silaghi. 277-290 [doi]
- ProSLM: A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question AnsweringPriyesh Vakharia, Abigail Kufeldt, Max Meyers, Ian Lane, Leilani H. Gilpin. 291-304 [doi]
- Experiments with LLMs for Converting Language to LogicTanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim. 305-314 [doi]
- Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural LanguageHossein Rajaby Faghihi, Aliakbar Nafar, Andrzej Uszok, Hamid R. Karimian, Parisa KordJamshidi. 315-327 [doi]
- Enhancing GPT-Based Planning Policies by Model-Based Plan ValidationNicholas Rossetti, Massimiliano Tummolo, Alfonso Emilio Gerevini, Matteo Olivato, Luca Putelli, Ivan Serina. 328-337 [doi]