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)

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

Answer Set Programming for Egg Extraction and More

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

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

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

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

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

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

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

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)

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

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving

Συγγραφείς: Timo Pierre Schrader, Lukas Lange, Tobias Kaminski, Simon Razniewski, Annemarie Friedrich

Πηγή: Proceedings of the AAAI Conference on Artificial Intelligence. 40:25226-25234

Θεματικοί όροι: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Computation and Language, Computation and Language (cs.CL)

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

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

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

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

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

Συνεισφορές: Eiter, Thomas, Author, Geibinger, Tobias, Author, Musli, Nysret, Author, Oetsch, Johannes, Author, Skočovský, Peter, Author, Stepanova, Daria, Author

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

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