Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering

Συγγραφείς: Higuera Ruiz, N., Author, Oetsch, Johannes, Author, Eiter, T., Author

Συνεισφορές: Higuera Ruiz, N., Author, Oetsch, Johannes, Author, Eiter, T., Author

Πηγή: Theory and Practice of Logic Programming. :1-35

Θεματικοί όροι: answer-set programming, declarative knowledge distillation, LLMs, visual question answering, Computer circuits, Logic programming, Programming theory, Question answering, Answer set programming, Declarative knowledge, Language model, Large language model, Logic-based representation, Modular approach, Multimodal inputs, Distillation

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-73690
https://doi.org/10.1017/S1471068426100684

ADVENT: LLM-Driven Automatic Predicate Invention for ILP

Συγγραφείς: Yu, Tingting, Huang, Pei-Cing, Hsu, Chan, Ku, Chan-Tung, Kang, Yihuang

Πηγή: 2026 IEEE International Conference on Information Reuse and Integration for Data Science (IRI) IRI Information Reuse and Integration for Data Science (IRI), 2026 IEEE International Conference on. :74-79 Jul, 2026

Relation: 2026 IEEE International Conference on Information Reuse and Integration for Data Science (IRI)

CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation

Συγγραφείς: Erdem, Ahmet Yigit, Prakash, Ari, Angiuli, Carlo, Bohrer, Rose, McCann, James, Martens, Chris, Cong, Youyou

Πηγή: Proceedings of the 14th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design. :29-42

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3830435.3830952

Answer Set Programming for Bus Route Finding: A Case Study in Bangkok, Thailand

Συγγραφείς: Racharak, Teeradaj, Mon, Su Yee, Chawuthai, Rathachai

Πηγή: 2026 23rd International Joint Conference on Computer Science and Software Engineering (JCSSE) Computer Science and Software Engineering (JCSSE), 2026 23rd International Joint Conference on. :415-420 Jun, 2026

Relation: 2026 23rd International Joint Conference on Computer Science and Software Engineering (JCSSE)

Neuro-Symbolic AI for Industrial Systems: Bridging Deep Learning and Domain Expertise

Συγγραφείς: Barakat, Ghena, Gupta, Harshit, Longo, Francesco, Merlino, Giovanni, Puliafito, Antonio

Πηγή: 2026 IEEE International Conference on Smart Computing Workshops and Other Affiliated events (SmartComp Companion) SMARTCOMP-COMPANION Smart Computing Workshops and Other Affiliated events (SmartComp Companion), 2026 IEEE International Conference on. :296-302 Jun, 2026

Relation: 2026 IEEE International Conference on Smart Computing Workshops and Other Affiliated events (SmartComp Companion)

Task-Aware Symbolic Reasoning for Automated Repository Reconstruction: A Prolog and Database Study in ACCRa

Συγγραφείς: Evangelista, Davide, Linty, Mathieu, Mikriukov, Andrei, Ravveduto, Alessandro, Snigireva, Mariia, Succi, Giancarlo, Tormasov, Alexander

Πηγή: 2026 7th International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE) Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2026 7th International Conference on. :493-505 Jun, 2026

Relation: 2026 7th International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE)

Autonomous Business System via Neuro-symbolic AI

Συγγραφείς: Pang, Cecil, Sayama, Hiroki

Πηγή: 2026 IEEE International Systems Conference (SysCon) Systems Conference (SysCon), 2026 IEEE International. :1-8 Apr, 2026

Relation: 2026 IEEE International Systems Conference (SysCon)

Domain-Theoretic Semantics for Functional Logic Programming

Συγγραφείς: Jones, Eddie, Main, Samson, Li, Celia Mengyue, Marriott, Jonathan, Kavvos, G. A.

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):1641-1672

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3776699

An Unofficial FastLAS Tutorial: A Programmer's Guide

Συγγραφείς: D'Asaro, Fabio Aurelio

Θεματικοί όροι: Logic in Computer Science, Artificial Intelligence, Machine Learning, 68N17 (Logic programming), 68T05 (Learning and adaptive systems), I.2.6; I.2.3; D.1.6

Σύνδεσμος πρόσβασης: https://arxiv.org/abs/2607.23557

Lessons Learned on Transformer Restoration Misoperation at Brownfield Site

Συγγραφείς: Shiwakoti, Rochak, Callaghan, Glenn, Mathewson, Joel, Nassiri, Navid

Πηγή: 2026 79th Annual Conference for Protective Relay Engineers (CFPR) Protective Relay Engineers (CFPR), 2026 79th Annual Conference for. :1-5 Mar, 2026

Relation: 2026 79th Annual Conference for Protective Relay Engineers (CFPR)

Inductive Learning Answer Set Programs from Instances and Solutions

Συγγραφείς: Du, Xiang, Wang, Yisong, Xie, Zhongtao, Wang, Xu, Hu, Hongbo

Πηγή: 2025 5th International Symposium on Artificial Intelligence and Big Data (AIBDF) Artificial Intelligence and Big Data (AIBDF), 2025 5th International Symposium on. :239-242 Dec, 2025

Relation: 2025 5th International Symposium on Artificial Intelligence and Big Data (AIBDF)

Development of an Intelligent System for Linguistic Analysis and Storage of Dialects through Logic Programming (PROLOG)

Συγγραφείς: Lazarova, Radomira, Stoyanov, Stanimir, Dukovski, Atanas, Tabakova-Komsalova, Veneta

Πηγή: 2025 International Conference on Big Data, Knowledge and Control Systems Engineering (BdKCSE) Big Data, Knowledge and Control Systems Engineering (BdKCSE), 2025 International Conference on. :1-8 Nov, 2025

Relation: 2025 International Conference on Big Data, Knowledge and Control Systems Engineering (BdKCSE)

Evaluation of Teacher Teaching Ability Using an Interpretable Neuro-Symbolic Causal Network

Συγγραφείς: Li, Lingao

Πηγή: 2025 International Conference on Communication, Computer, and Information Technology (IC3IT) Communication, Computer, and Information Technology (IC3IT), 2025 International Conference on. :1-6 Oct, 2025

Relation: 2025 International Conference on Communication, Computer, and Information Technology (IC3IT)

Bridging Large Language Models and Logic Programming

Συγγραφείς: Crocetti, Valerio, Dragoni, Aldo Franco

Πηγή: 2025 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE) Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE), 2025 IEEE International Conference on. :1066-1071 Oct, 2025

Relation: 2025 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE)

Agentic AI integrated with scientific knowledge: laboratory validation in systems biology

Συγγραφείς: Brunnsåker, Daniel, 1992, Author, Gower, Alexander, 1993, Author, Naval, Prajakta, 1987, Author, Bjurström, Erik, 1994, Author, Kronström, Filip, 1995, Author, Tiukova, Ievgeniia, 1987, Author, King, Ross, 1962, Author

Συνεισφορές: Brunnsåker, Daniel, 1992, Author, Gower, Alexander, 1993, Author, Naval, Prajakta, 1987, Author, Bjurström, Erik, 1994, Author, Kronström, Filip, 1995, Author, Tiukova, Ievgeniia, 1987, Author, King, Ross, 1962, Author

Πηγή: Journal of the Royal Society Interface. 23(240)

Θεματικοί όροι: laboratory automation, systems biology, automation of science, inductive logic programming, machine learning, large language models

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://research.chalmers.se/publication/553543
https://research.chalmers.se/publication/553543/file/553543_Fulltext.pdf

Answer-Set-Programming-Based Abstractions for Reinforcement Learning

Συγγραφείς: Bankosegger, R., Author, Eiter, T., Author, Oetsch, Johannes, Author

Συνεισφορές: Bankosegger, R., Author, Eiter, T., Author, Oetsch, Johannes, Author

Πηγή: Theory and Practice of Logic Programming.

Θεματικοί όροι: ASP, Relational Reinforcement Learning, state-action-space abstractions, Abstracting, Autonomous agents, Domain Knowledge, Logic programming, Markov processes, Modeling languages, Action spaces, Answer set programming, Generalisation, Learn+, Logical representations, Reinforcement learnings, State-action-space abstraction, State-space, Reinforcement learning

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-73515
https://doi.org/10.1017/S1471068426100544

Logical Robots: Declarative Multi-Agent Programming in Logica

Συγγραφείς: Skvortsov, Evgeny, Xia, Yilin, Garg, Ojaswa, Bowers, Shawn, Ludäscher, Bertram

Πηγή: Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems. :4137-4139

Διαθεσιμότητα: http://dl.acm.org/doi/10.65109/UKVJ1021

High-k scaling for reliability enhancement in 300-mm-integrated WS2 FETs

Συγγραφείς: Panarella, Luca, Tyaginov, Stanislav, Smets, Quentin, Kaczer, Ben, Schram, Tom, Cott, Daire, De La Rosa, Cesar Javier Lockhart, Sankar Kar, Gouri, Afanas'Ev, Valeri

Πηγή: 2026 10th IEEE Electron Devices Technology & Manufacturing Conference (EDTM) Electron Devices Technology & Manufacturing Conference (EDTM), 2026 10th IEEE. :1-3 Mar, 2026

Relation: 2026 10th IEEE Electron Devices Technology & Manufacturing Conference (EDTM)

Resolving Legal Ambiguities for Safe MASS Navigation: A Socio-Technical Approach Using Human-Machine Learning

Συγγραφείς: Verma, Shubhi, Varghese, Dany, Treloar, Alfie Anthony, Hunter, Alan, Tamaddoni-Nezhad, Alireza

Πηγή: OCEANS 2025 - Great Lakes OCEANS, Great Lakes 2025. :1-10 Sep, 2025

Relation: OCEANS 2025 - Great Lakes

COLREG-Compliant Machine Learning for Safe and Legal Autonomous Maritime Navigation

Συγγραφείς: Treloar, Alfie Anthony, Varghese, Dany, Verma, Shubhi, Tamaddoni-Nezhad, Alireza, Hunter, Alan

Πηγή: OCEANS 2025 - Great Lakes OCEANS, Great Lakes 2025. :1-8 Sep, 2025

Relation: OCEANS 2025 - Great Lakes