Declarative Adaptive Optimization of Task-Based Applications on Heterogeneous Architectures

Authors: De Angelis, Emanuele, De Angelis, Guglielmo, Marotta, Romolo, Montesano, Federica, Pellegrini, Alessandro, Proietti, Maurizio

Source: 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)

Model-Driven, Logic-Supported Exploratory Dependability Analysis

Authors: Foldvari, Andras, Pataricza, Andras

Source: 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)

Polynomial Formal Verification of Sequential Circuits Using Weighted-AIGs

Authors: Nadeem, Mohamed, Jha, Chandan Kumar, Drechsler, Rolf

Source: 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

Authors: Brancas, Ricardo, Manquinho, Vasco, Martins, Ruben

Source: 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)

Game of Zones: An Automated Intent-Based Network Micro-segmentation Methodology

Authors: Canavese, Daniele, Laborde, Romain, Laraba, Abir, Ferreira, Afonso, Benzekri, Abdelmalek

Source: NOMS 2025-2025 IEEE Network Operations and Management Symposium Network Operations and Management Symposium, NOMS 2025-2025 IEEE. :1-9 May, 2025

Relation: NOMS 2025-2025 IEEE Network Operations and Management Symposium

Towards Using Inductive Learning to Adapt Security Controls in Smart Homes

Authors: Ramkumar, Kushal, Cai, Wanling, McCarthy, John, Doherty, Gavin, Nuseibeh, Bashar, Pasquale, Liliana

Source: 2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2025 IEEE/ACM 20th Symposium on. :140-146 Apr, 2025

Relation: 2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

A Theoretical Bound Which Improves the Performance of Compilation-Based Multi-Agent Path Finding

Authors: Lopez, R., Asin-Acha, R., Baier, J.A.

Source: IEEE Access Access, IEEE. 13:86133-86143 2025

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

Authors: Eiter, Thomas, Geibinger, Tobias, Musliu, Nysret, Oetsch, Johannes, Kaminski, Tobias

Source: Theory and Practice of Logic Programming.

Subject Terms: answer set programming, constraint programming, integer programming

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-69784
https://doi.org/10.1017/S1471068425100264

Model-based Qualitative Dependability and Security Evaluation : Half-Day Tutorial

Authors: Foldvari, Andras, Pataricza, Andras

Source: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) DSN-S Dependable Systems and Networks - Supplemental Volume (DSN-S), 2025 55th Annual IEEE/IFIP International Conference on. :184-185 Jun, 2025

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

Introducing Constraint Well-Founded Semantics for Constraint Logic Programming Through Rewriting Transformations

Authors: Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor

Source: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2024 IEEE 36th International Conference on. :379-386 Oct, 2024

Relation: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI)

Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth

Authors: Nadeem, M., Kumar Jha, C., Drechsler, R.

Source: IEEE Transactions on Circuits and Systems I: Regular Papers IEEE Trans. Circuits Syst. I Circuits and Systems I: Regular Papers, IEEE Transactions on. 72(3):1411-1424 Mar, 2025

Efficient Quantum Answer Set Programming Solver Using Partial Diffusion and Entanglement

Authors: Ebdelrehime, E., Younes, A., Elkabani, I.

Source: IEEE Access Access, IEEE. 13:193201-193214 2025

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Authors: FELICIDAD AGUADO, PEDRO CABALAR, BRAIS MUÑIZ, GILBERTO PÉREZ, CONCEPCIÓN VIDAL

Source: Theory and Practice of Logic Programming. :1-15

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Forks, Artificial Intelligence, Answer set programming, Equilibrium logic, Disjunctive logic programming

File Description: application/pdf

Access URL: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

Polynomial Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

Authors: Nadeem, Mohamed, Drechsler, Rolf

Source: 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2024 IEEE 54th International Symposium on. :149-154 May, 2024

Relation: 2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL)

Splitting Property for Epistemic Equilibrium Logics

Authors: Su, Ezgi Iraz^{Aff1, IDs11787025004025_cor1}

Source: Logica Universalis. :1-30

Visual Graph Question Answering with ASP and LLMs for Language Parsing

Authors: Bauer, J. J., Eiter, T., Ruiz, N. H., Oetsch, Johannes

Source: Proceedings 40th International Conference on Logic Programming Electronic Proceedings in Theoretical Computer Science, EPTCS. :15-28

Subject Terms: Graph neural networks, Problem oriented languages, Subways, Visual languages, Answer set programming, Interpretability, Language model, Language processing, Modulars, Multimodal inputs, Natural languages, Optical, Question Answering, Visual Graph, Natural language processing systems

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-67416
https://doi.org/10.4204/EPTCS.416.2

Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

Authors: Nadeem, Mohamed, Jha, Chandan Kumar, Drechsler, Rolf

Source: 2024 IEEE European Test Symposium (ETS) European Test Symposium (ETS), 2024 IEEE. :1-6 May, 2024

Relation: 2024 IEEE European Test Symposium (ETS)

Quantum Answer Set Programming Solver Using Amplitude Amplification

Authors: Ebdelrehime, Esraa, Younes, Ahmed, Elkabani, Islam

Source: 2024 International Conference on Machine Intelligence and Smart Innovation (ICMISI) Machine Intelligence and Smart Innovation (ICMISI), 2024 International Conference on. :168-173 May, 2024

Relation: 2024 International Conference on Machine Intelligence and Smart Innovation (ICMISI)

A Comprehensive review on House Prediction System

Authors: Bajaj, Parveen, Kumar, Lalit, Lohani, Kamlesh, Mehta, Sudhanshu

Source: 2023 International Conference on Smart Devices (ICSD) Smart Devices (ICSD), 2023 International Conference on. :1-6 May, 2024

Relation: 2024 International Conference on Smart Devices (ICSD)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling

Authors: Eiter, Thomas, Geibinger, Tobias, Musli, Nysret, Oetsch, Johannes, Skočovský, Peter, Stepanova, Daria

Source: Theory and Practice of Logic Programming. 23(6):1281-1306

Subject Terms: answer-set programming, parallel machine scheduling, lexicographical optimisation

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-63645
https://doi.org/10.1017/s1471068423000017