Advancing pediatric rehabilitation documentation via neuro-symbolic AI

Συγγραφείς: Guerrero Rosero, Esteban, Author, Imms, Christine, Author, Granlund, Mats, Author, Lindgren, Helena, Professor, Author, Kaelin, Vera C., Author

Συνεισφορές: Guerrero Rosero, Esteban, Author, Imms, Christine, Author, Granlund, Mats, Author, Lindgren, Helena, Professor, Author, Kaelin, Vera C., Author

Πηγή: Studies in Health Technology and Informatics. 336:1004-1008

Θεματικοί όροι: Answer set programming, Involvement, Multi-head attention, Neuro-symbolic, Occupational therapy, Participation assessment, Transformer

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-254060
https://doi.org/10.3233/SHTI260330

Human emotion verification by action languages via answer set programming

Συγγραφείς: Brännström, Andreas, Author, Nieves, Juan Carlos, 1976-, Author

Συνεισφορές: Brännström, Andreas, Author, Nieves, Juan Carlos, 1976-, Author

Πηγή: Theory and Practice of Logic Programming. 25(6):7-1104

Θεματικοί όροι: action languages, answer set programming, theory of mind, verification

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

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

AI-Driven Decision Support Using Digital Product Passports for End-of-Life Management in the Circular Built Environment

Συγγραφείς: Kebede, Rahel Zeleke, Author, Oetsch, Johannes, Author, Johansson, Peter, 1966-, Author, Moscati, Annika, 1981-, Author

Συνεισφορές: Kebede, Rahel Zeleke, Author, Oetsch, Johannes, Author, Johansson, Peter, 1966-, Author, Moscati, Annika, 1981-, Author

Πηγή: DPP-AIDE Pass4Sustainability Procedia Computer Science. 277:3361-3369

Θεματικοί όροι: Explainable AI, Knowledge Graph, Ontology, Answer-Set Programming, Large Language Model, Decision Support System, Digital Product Passport, End-of-Life Management, Circular Economy

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-71031
https://doi.org/10.1016/j.procs.2026.02.372

Automated Resilience Assessment for Autonomous Systems Using System-on-Chip Architectures

Συγγραφείς: Butka, Abigail, Butka, Brian

Πηγή: 2026 56th Annual IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W) DSN-W Dependable Systems and Networks Workshops (DSN-W), 2026 56th Annual IEEE International Conference on. :204-211 Jun, 2026

Relation: 2026 56th Annual IEEE International Conference on Dependable Systems and Networks Workshops (DSN-W)

ASP-based Policy Fusion for Vendor-Agnostic Security Orchestration in Hybrid Multi-Cloud

Συγγραφείς: Parashar, Ankit, Pappu, Karthik, Suvarna, Navin, Sharma, Saurabh

Πηγή: 2026 IEEE 32nd International Symposium on Local and Metropolitan Area Networks (LANMAN) Local and Metropolitan Area Networks (LANMAN), 2026 IEEE 32nd International Symposium on. :1-6 Jun, 2026

Relation: 2026 IEEE 32nd International Symposium on Local and Metropolitan Area Networks (LANMAN)

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing

Συγγραφείς: Hite, Connar, Saud, Sean, Taha, Raef, Rahman, Nayim, Atahary, Tanvir, Douglass, Scott, Taha, Tarek

Πηγή: 2026 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA) Cognitive and Computational Aspects of Situation Management (CogSIMA), 2026 IEEE Conference on. :85-92 Mar, 2026

Relation: 2026 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)

PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing

Συγγραφείς: Nadeem, Mohamed, Jha, Chandan Kumar, Drechsler, Rolf

Πηγή: 2026 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems (VLSID) VLSID VLSI Design & 25th International Conference on Embedded Systems (VLSID), 2026 39th International Conference on. :25-30 Jan, 2026

Relation: 2026 39th International Conference on VLSI Design & 25th International Conference on Embedded Systems (VLSID)

ASP-Bench: From Natural Language to Logic Programs

Συγγραφείς: Szeider, Stefan

Πηγή: Proceedings of the 2026 IEEE/ACM 2nd International Workshop on Neuro-Symbolic Software Engineering. :1-8

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

Logic-based Languages For Solving Reversibility in Planning

Συγγραφείς: Faber, Wolfgang, Morak, Michael

Πηγή: Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing. :962-969

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

Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth

Συγγραφείς: Nadeem, M., Jha, C.K., Drechsler, R.

Πηγή: IEEE Transactions on Circuits and Systems I: Regular Papers IEEE Trans. Circuits Syst. I Circuits and Systems I: Regular Papers, IEEE Transactions on. 73(5):3560-3573 May, 2026

Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming

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

Πηγή: 2025 IEEE 43rd International Conference on Computer Design (ICCD) ICCD Computer Design (ICCD), 2025 IEEE 43rd International Conference on. :180-183 Nov, 2025

Relation: 2025 IEEE 43rd International Conference on Computer Design (ICCD)

Time Window Decomposition for Job-shop Scheduling with Answer Set Programming

Συγγραφείς: Natarajan, Balaji

Πηγή: 2025 IEEE First International Conference on Innovations in Engineering and Next-Generation Technologies for Sustainability (ICINVENTS) Innovations in Engineering and Next-Generation Technologies for Sustainability (ICINVENTS), 2025 IEEE First International Conference on. 1:1-6 Nov, 2025

Relation: 2025 IEEE First International Conference on Innovations in Engineering and Next-Generation Technologies for Sustainability (ICINVENTS)

Declarative Adaptive Optimization of Task-Based Applications on Heterogeneous Architectures

Συγγραφείς: De Angelis, Emanuele, De Angelis, Guglielmo, Marotta, Romolo, Montesano, Federica, Pellegrini, Alessandro, Proietti, Maurizio

Πηγή: 2025 IEEE/SBC 37th International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW) SBAC-PADW Computer Architecture and High Performance Computing Workshops (SBAC-PADW), 2025 IEEE/SBC 37th International Symposium on. :1-11 Oct, 2025

Relation: 2025 IEEE/SBC 37th International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW)

A Weighted Bipolar Argumentation Framework for Reasoning with Incomplete Information

Συγγραφείς: Tong, Tong, Zhang, Zhizheng, Li, Wenjun

Πηγή: Proceedings of the 2025 9th International Conference on Computer Science and Artificial Intelligence. :24-31

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

ASP-FZN: A Translation-Based Constraint Answer Set Solver

Συγγραφείς: Eiter, Thomas, Author, Geibinger, Tobias, Author, Musliu, Nysret, Author, Oetsch, Johannes, Author, Kaminski, Tobias, Author

Συνεισφορές: Eiter, Thomas, Author, Geibinger, Tobias, Author, Musliu, Nysret, Author, Oetsch, Johannes, Author, Kaminski, Tobias, Author

Πηγή: Theory and Practice of Logic Programming. 25(4):649-667

Θεματικοί όροι: answer set programming, constraint programming, integer programming

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

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

Model-Driven, Logic-Supported Exploratory Dependability Analysis

Συγγραφείς: Foldvari, Andras, Pataricza, Andras

Πηγή: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) DSN-W Dependable Systems and Networks Workshops (DSN-W), 2025 55th Annual IEEE/IFIP International Conference on. :27-34 Jun, 2025

Relation: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)

Bridging the Gap Between Binary and Source Based Package Management in Spack

Συγγραφείς: Gouwar, John, Becker, Gregory, Dahlgren, Tamara, Hanford, Nathan, Guha, Arjun, Gamblin, Todd

Πηγή: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis. :556-569

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

Simplified Extensibility in the Universal Variability Language using Answer Set Programming

Συγγραφείς: Auerswald, Ferdinand, Pukhkaiev, Dmytro, Aßmann, Uwe

Πηγή: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :39-44

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

Polynomial Formal Verification of Sequential Circuits Using Weighted-AIGs

Συγγραφείς: Nadeem, Mohamed, Jha, Chandan Kumar, Drechsler, Rolf

Πηγή: 2025 Design, Automation & Test in Europe Conference (DATE) Design, Automation & Test in Europe Conference (DATE), 2025. :1-7 Mar, 2025

Relation: 2025 Design, Automation & Test in Europe Conference (DATE)

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs

Συγγραφείς: Brancas, Ricardo, Manquinho, Vasco, Martins, Ruben

Πηγή: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST) Software Testing, Verification and Validation (ICST), 2025 IEEE Conference on. :646-657 Mar, 2025

Relation: 2025 IEEE Conference on Software Testing, Verification and Validation (ICST)