Human emotion verification by action languages via answer set programming

Authors: Brännström, Andreas, Author, Nieves, Juan Carlos, 1976-, Author

Contributors: Brännström, Andreas, Author, Nieves, Juan Carlos, 1976-, Author

Source: Theory and Practice of Logic Programming. 25(6):7-1104

Subject Terms: action languages, answer set programming, theory of mind, verification

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-253403
https://doi.org/10.1017/S1471068426100416

Answer-Set-Programming-Based Abstractions for Reinforcement Learning

Authors: Bankosegger, R., Author, Eiter, T., Author, Oetsch, Johannes, Author

Contributors: Bankosegger, R., Author, Eiter, T., Author, Oetsch, Johannes, Author

Source: Theory and Practice of Logic Programming.

Subject Terms: 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

File Description: print

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

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

Authors: Racharak, Teeradaj, Mon, Su Yee, Chawuthai, Rathachai

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

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

Authors: Li, Fang

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

Authors: Natarajan, Balaji

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

Answer Set Programming for Egg Extraction and More

Authors: Yang, Ziyi, Sergey, Ilya

Subject Terms: Programming Languages, Logic in Computer Science

Access URL: https://arxiv.org/abs/2606.10644

Simplified Extensibility in the Universal Variability Language using Answer Set Programming

Authors: Auerswald, Ferdinand, Pukhkaiev, Dmytro, Aßmann, Uwe

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

Availability: http://dl.acm.org/doi/10.1145/3744915.3748461

A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming

Authors: Azzolini, Damiano, Mazzotta, Giuseppe, Ricca, Francesco, Riguzzi, Fabrizio

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :67-77

Subject Terms: Probabilistic Answer Set Programming, Complexity, Statistical Relational Artificial Intelligence, Uncertainty, Answer Set Programming, Weak Constraint

File Description: application/pdf

Access URL: https://hdl.handle.net/11392/2613151
https://doi.org/10.24963/kr.2025/7
https://proceedings.kr.org/2025/7/

Judicial Discretion as Normative Reasoning : Deontic Characterization of Judicial Decision Making with Answer Set Programming

Authors: Dik, Josephine, Markovich, Réka

Source: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law. :268-277

Availability: http://dl.acm.org/doi/10.1145/3769126.3769220

Joint Air Traffic Flow and Capacity Management via Answer Set Programming

Authors: Beiser, Alexander, Hecher, Markus, Musliu, Nysret, Woltran, Stefan

Source: Proceedings of the 18th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2026. Klagenfurt, Austria

Subject Terms: Artificial Intelligence

Access URL: https://arxiv.org/abs/2606.22978

Fine-tuning LLMs for answer set programming

Authors: Coppolillo, Erica^{Aff1, Aff2, IDs10844025010174_cor1}, Calimeri, Francesco^{Aff1, Aff3}, Manco, Giuseppe^Aff2, Perri, Simona^Aff1, Ricca, Francesco^Aff1

Source: Journal of Intelligent Information Systems: Integrating Artificial Intelligence and Database Technologies. 64(2):653-685

Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms

Authors: Azzolini, Damiano, Hecher, Markus

Source: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning

Subject Terms: Computational Complexity, Probabilistic Answer Set Programming, Statistical Relational Artificial Intelligence, Treewidth, Upper And Lower Bounds

File Description: application/pdf

An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming

Authors: Jurjo-Rivas, Daniel, Arias, Joaquín, Gupta, Gopal, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel V.

Source: EPTCS 450, 2026, pp. 346-359

Subject Terms: Logic in Computer Science

Access URL: https://arxiv.org/abs/2607.20252

Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models

Authors: Suchan, Jakob, Monsen, Julius, Baloch, Salim, Bhatt, Mehul

Subject Terms: Artificial Intelligence

Access URL: https://arxiv.org/abs/2607.08136

Logic-Guided Data Extraction with Answer Set Programming and Large Language Models

Authors: Alviano, Mario, Grillo, Lorenzo, Leone, Nicola, Scudo, Fabrizio Lo

Subject Terms: Artificial Intelligence

Access URL: https://arxiv.org/abs/2607.19365

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

Authors: Eiter, Thomas, Ruiz, Nelson Higuera, Oetsch, Johannes

Subject Terms: Artificial Intelligence

Access URL: https://arxiv.org/abs/2606.03269

Distilling Answer Set Programming Theories from Large Language Models

Authors: Ruiz, Nelson Higuera, Hofmarcher, Markus, Leoveanu-Condrei, Claudiu

Subject Terms: Artificial Intelligence

Access URL: https://arxiv.org/abs/2607.28086

Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

Authors: Cabalar, Pedro, Fandinno, Jorge, Rühling, Nicolas, Schaub, Torsten, Schellhorn, Sebastian, Wanko, Philipp

Source: EPTCS 450, 2026, pp. 360-373

Subject Terms: Artificial Intelligence, Logic in Computer Science, I.2.4

Access URL: https://arxiv.org/abs/2607.21201

Applying Answer Set Programming with Fuzzy Membership Functions: a Case Study

Authors: Ferragina, Luca, Galati, Ilenia, Gullone, Lorena, Scarcello, Francesco

Subject Terms: Artificial Intelligence

Access URL: https://arxiv.org/abs/2607.03550

ASP-KNN: a declarative, constraint-aware, and explainable reformulation of k-Nearest Neighbors in answer set programming

Authors: Liu, Liu^{Aff1, IDs44443026008330_cor1}, Tang, Dongjie^Aff1, Xia, Xunpeng^{Aff1, IDs44443026008330_cor2}

Source: Journal of King Saud University Computer and Information Sciences. 38(6)