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)

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)

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)

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

Συγγραφείς: Canavese, Daniele, Laborde, Romain, Laraba, Abir, Ferreira, Afonso, Benzekri, Abdelmalek

Πηγή: 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

Συγγραφείς: Ramkumar, Kushal, Cai, Wanling, McCarthy, John, Doherty, Gavin, Nuseibeh, Bashar, Pasquale, Liliana

Πηγή: 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

Συγγραφείς: Lopez, R., Asin-Acha, R., Baier, J.A.

Πηγή: IEEE Access Access, IEEE. 13:86133-86143 2025

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

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

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

Θεματικοί όροι: 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-based Qualitative Dependability and Security Evaluation : Half-Day Tutorial

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

Πηγή: 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

Συγγραφείς: Garreau, Bryan, Lodeiro, Martin Dieguez, Monfroy, Eric, Stephan, Igor

Πηγή: 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

Συγγραφείς: Nadeem, M., Kumar Jha, C., 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. 72(3):1411-1424 Mar, 2025

Efficient Quantum Answer Set Programming Solver Using Partial Diffusion and Entanglement

Συγγραφείς: Ebdelrehime, E., Younes, A., Elkabani, I.

Πηγή: IEEE Access Access, IEEE. 13:193201-193214 2025

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Συγγραφείς: FELICIDAD AGUADO, PEDRO CABALAR, BRAIS MUÑIZ, GILBERTO PÉREZ, CONCEPCIÓN VIDAL

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

Θεματικοί όροι: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Forks, Artificial Intelligence, Answer set programming, Equilibrium logic, Disjunctive logic programming

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

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

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

Πηγή: 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

Συγγραφείς: Su, Ezgi Iraz^{Aff1, IDs11787025004025_cor1}

Πηγή: Logica Universalis. :1-30

Visual Graph Question Answering with ASP and LLMs for Language Parsing

Συγγραφείς: Bauer, J. J., Eiter, T., Ruiz, N. H., Oetsch, Johannes

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

Θεματικοί όροι: 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

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

Σύνδεσμος πρόσβασης: 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

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

Πηγή: 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

Συγγραφείς: Ebdelrehime, Esraa, Younes, Ahmed, Elkabani, Islam

Πηγή: 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

Συγγραφείς: Bajaj, Parveen, Kumar, Lalit, Lohani, Kamlesh, Mehta, Sudhanshu

Πηγή: 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

Συγγραφείς: Eiter, Thomas, Geibinger, Tobias, Musli, Nysret, Oetsch, Johannes, Skočovský, Peter, Stepanova, Daria

Πηγή: Theory and Practice of Logic Programming. 23(6):1281-1306

Θεματικοί όροι: answer-set programming, parallel machine scheduling, lexicographical optimisation

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

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