Cover Image

Functional Stable Model Semantics and Answer Set Programming Modulo Theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bartholomew, Michael, Lee, Joohyung
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
by: Babb, Joseph, et al.
Published: (2026)

Fuzzy Propositional Formulas under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2025)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
by: Fandinno, Jorge, et al.
Published: (2024)

Dominating Set Reconfiguration with Answer Set Programming
by: Kato, Masato, et al.
Published: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)

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

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions
by: Ishay, Adam, et al.
Published: (2025)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
by: Ishay, Adam, et al.
Published: (2026)

Action Language BC+
by: Babb, Joseph, et al.
Published: (2025)

LPMLN, Weak Constraints, and P-log
by: Lee, Joohyung, et al.
Published: (2025)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
by: Azzolini, Damiano, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
by: Lin, Xinrui, et al.
Published: (2024)

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

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

Human Emotion Verification by Action Languages via Answer Set Programming
by: Brännström, Andreas, et al.
Published: (2026)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
by: Eiter, Thomas, et al.
Published: (2022)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
by: Cunnington, Daniel, et al.
Published: (2022)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
by: Sugimori, Irumi, et al.
Published: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
by: Lierler, Yuliya
Published: (2024)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
by: Hansen, Zachary, et al.
Published: (2025)