Buchumschlag

Cplus2ASP: Computing Action Language C+ in Answer Set Programming

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Babb, Joseph, Lee, Joohyung
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

Action Language BC+
von: Babb, Joseph, et al.
Veröffentlicht: (2025)

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)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
von: Ishay, Adam, et al.
Veröffentlicht: (2026)

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

xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming
von: Trieu, Ly Ly, et al.
Veröffentlicht: (2026)

ASP-FZN: A Translation-based Constraint Answer Set Solver
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

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

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, 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)

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

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)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
von: Borroto, Manuel, et al.
Veröffentlicht: (2024)

LPMLN, Weak Constraints, and P-log
von: Lee, Joohyung, et al.
Veröffentlicht: (2025)

Fuzzy Propositional Formulas under the Stable Model Semantics
von: Lee, Joohyung, et al.
Veröffentlicht: (2025)

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

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)

ASP-Bench: From Natural Language to Logic Programs
von: Szeider, Stefan
Veröffentlicht: (2026)

Computational methods for Dynamic Answer Set Programming
von: Hahn, Susana
Veröffentlicht: (2025)

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)

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

Computing Universal Plans for Partially Observable Multi-Agent Routing Using Answer Set Programming
von: Zhu, Fengming, et al.
Veröffentlicht: (2023)

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)

Weighted Rules under the Stable Model Semantics
von: Lee, Joohyung, et al.
Veröffentlicht: (2026)

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)

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering
von: Ishay, Adam, et al.
Veröffentlicht: (2025)

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

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)