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

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

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)

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)

Answer Set Programming for Egg Extraction and More

Συγγραφείς: Yang, Ziyi, Sergey, Ilya

Θεματικοί όροι: Programming Languages, Logic in Computer Science

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

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

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

Συγγραφείς: Azzolini, Damiano, Mazzotta, Giuseppe, Ricca, Francesco, Riguzzi, Fabrizio

Πηγή: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :67-77

Θεματικοί όροι: Probabilistic Answer Set Programming, Complexity, Statistical Relational Artificial Intelligence, Uncertainty, Answer Set Programming, Weak Constraint

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

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

Συγγραφείς: Dik, Josephine, Markovich, Réka

Πηγή: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law. :268-277

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

Joint Air Traffic Flow and Capacity Management via Answer Set Programming

Συγγραφείς: Beiser, Alexander, Hecher, Markus, Musliu, Nysret, Woltran, Stefan

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

Θεματικοί όροι: Artificial Intelligence

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

Fine-tuning LLMs for answer set programming

Συγγραφείς: Coppolillo, Erica^{Aff1, Aff2, IDs10844025010174_cor1}, Calimeri, Francesco^{Aff1, Aff3}, Manco, Giuseppe^Aff2, Perri, Simona^Aff1, Ricca, Francesco^Aff1

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

Συγγραφείς: Azzolini, Damiano, Hecher, Markus

Πηγή: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning

Θεματικοί όροι: Computational Complexity, Probabilistic Answer Set Programming, Statistical Relational Artificial Intelligence, Treewidth, Upper And Lower Bounds

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

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

Συγγραφείς: Jurjo-Rivas, Daniel, Arias, Joaquín, Gupta, Gopal, Morales, Jose F., López-García, Pedro, Hermenegildo, Manuel V.

Πηγή: EPTCS 450, 2026, pp. 346-359

Θεματικοί όροι: Logic in Computer Science

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

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

Συγγραφείς: Suchan, Jakob, Monsen, Julius, Baloch, Salim, Bhatt, Mehul

Θεματικοί όροι: Artificial Intelligence

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

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

Συγγραφείς: Alviano, Mario, Grillo, Lorenzo, Leone, Nicola, Scudo, Fabrizio Lo

Θεματικοί όροι: Artificial Intelligence

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

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

Συγγραφείς: Eiter, Thomas, Ruiz, Nelson Higuera, Oetsch, Johannes

Θεματικοί όροι: Artificial Intelligence

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

Distilling Answer Set Programming Theories from Large Language Models

Συγγραφείς: Ruiz, Nelson Higuera, Hofmarcher, Markus, Leoveanu-Condrei, Claudiu

Θεματικοί όροι: Artificial Intelligence

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

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

Συγγραφείς: Cabalar, Pedro, Fandinno, Jorge, Rühling, Nicolas, Schaub, Torsten, Schellhorn, Sebastian, Wanko, Philipp

Πηγή: EPTCS 450, 2026, pp. 360-373

Θεματικοί όροι: Artificial Intelligence, Logic in Computer Science, I.2.4

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

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

Συγγραφείς: Ferragina, Luca, Galati, Ilenia, Gullone, Lorena, Scarcello, Francesco

Θεματικοί όροι: Artificial Intelligence

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

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

Συγγραφείς: Liu, Liu^{Aff1, IDs44443026008330_cor1}, Tang, Dongjie^Aff1, Xia, Xunpeng^{Aff1, IDs44443026008330_cor2}

Πηγή: Journal of King Saud University Computer and Information Sciences. 38(6)