Imagen de Portada

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Lierler, Yuliya
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
por: Fandinno, Jorge, et al.
Publicado: (2025)

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

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
por: Bartholomew, Michael, et al.
Publicado: (2026)

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

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)

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

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

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

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

Refining Gelfond Rationality Principle: Towards More Comprehensive Foundational Principles for Answer Set Semantics
por: Shen, Yi-Dong, et al.
Publicado: (2025)

On the Trap Space Semantics of Normal Logic Programs
por: Trinh, Van-Giang, et al.
Publicado: (2026)

Streamliners for Answer Set Programming
por: Voboril, Florentina, et al.
Publicado: (2026)

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

A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving
por: Schrader, Timo Pierre, et al.
Publicado: (2025)

Anthem 2.0: Automated Reasoning for Answer Set Programming
por: Fandinno, Jorge, et al.
Publicado: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
por: Gupta, Gopal, et al.
Publicado: (2025)

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

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

AutoGL: A Library for Automated Graph Learning
por: Zhang, Ziwei, et al.
Publicado: (2021)

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

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

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

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

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

A New Tractable Description Logic under Categorical Semantics
por: Duc, Chan Le, et al.
Publicado: (2025)

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

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

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

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

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

RiemannGL: Riemannian Geometry Changes Graph Deep Learning
por: Sun, Li, et al.
Publicado: (2026)

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
por: Bienvenu, Meghyn, et al.
Publicado: (2025)

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

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

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

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

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

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

Reliable Collaborative Conversational Agent System Based on LLMs and Answer Set Programming
por: Zeng, Yankai, et al.
Publicado: (2025)