Buchumschlag

Human Emotion Verification by Action Languages via Answer Set Programming

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Brännström, Andreas, Nieves, Juan Carlos
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
von: Babb, Joseph, et al.
Veröffentlicht: (2026)

Set Contribution Functions for Quantitative Bipolar Argumentation and their Principles
von: Naudot, Filip, et al.
Veröffentlicht: (2025)

Dominating Set Reconfiguration with Answer Set Programming
von: Kato, Masato, et al.
Veröffentlicht: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
von: Hansen, Zachary
Veröffentlicht: (2025)

Counterfactual Generation with Answer Set Programming
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2024)

Human Conditional Reasoning in Answer Set Programming
von: Sakama, Chiaki
Veröffentlicht: (2023)

Streamliners for Answer Set Programming
von: Voboril, Florentina, et al.
Veröffentlicht: (2026)

Neural Decision-Propagation for Answer Set Programming
von: Eiter, Thomas, et al.
Veröffentlicht: (2026)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Reasoning about Study Regulations in Answer Set Programming
von: Hahn, Susana, et al.
Veröffentlicht: (2024)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
von: Rizwan, Momina, et al.
Veröffentlicht: (2020)

CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
von: Lin, Xinrui, et al.
Veröffentlicht: (2024)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
von: Aguado, Felicidad, et al.
Veröffentlicht: (2025)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Defeasible Conditionals using Answer Set Programming
von: Dennison, Racquel, et al.
Veröffentlicht: (2026)

Hybrid Answer Set Programming: Foundations and Applications
von: Rühling, Nicolas
Veröffentlicht: (2025)

Towards Constraint Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Answer Set Programming for Flexible Payroll Management
von: Callewaert, Benjamin, et al.
Veröffentlicht: (2024)

Long-term Power Grid Planning via Answer Set Programming
von: Ielo, Antonio, et al.
Veröffentlicht: (2026)

Meta-Programming for Linear-time Temporal Answer Set Programming
von: Hahn, Susana, et al.
Veröffentlicht: (2026)

Guiding and Diversifying LLM-Based Story Generation via Answer Set Programming
von: Wang, Phoebe J., et al.
Veröffentlicht: (2024)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
von: Bartholomew, Michael, et al.
Veröffentlicht: (2026)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
von: Lee, Joohyung, et al.
Veröffentlicht: (2025)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
von: Eiter, Thomas, et al.
Veröffentlicht: (2022)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
von: Cunnington, Daniel, et al.
Veröffentlicht: (2022)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
von: Sugimori, Irumi, et al.
Veröffentlicht: (2024)

A Proof-of-Concept for Explainable Disease Diagnosis Using Large Language Models and Answer Set Programming
von: Gemou, Ioanna, et al.
Veröffentlicht: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
von: Bankosegger, Rafael, et al.
Veröffentlicht: (2026)

A framework for Conditional Reasoning in Answer Set Programming
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
von: Baryannis, George, et al.
Veröffentlicht: (2020)

Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming
von: Zeng, Yankai, et al.
Veröffentlicht: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2024)

Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming
von: Wielinga, Sanne, et al.
Veröffentlicht: (2025)

Causal Graph Recovery in Neuroimaging through Answer Set Programming
von: Abavisani, Mohammadsajad, et al.
Veröffentlicht: (2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)