Buchumschlag

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Imaz, Gonzalo E.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
von: Maniwa, Akinori, et al.
Veröffentlicht: (2024)

Local Intuitionistic Modal Logics and Their Calculi
von: Balbiani, Philippe, et al.
Veröffentlicht: (2024)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
von: Lyon, Tim S.
Veröffentlicht: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
von: Nishimura, Yuki
Veröffentlicht: (2022)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
von: Litak, Tadeusz, et al.
Veröffentlicht: (2025)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
von: Heuer, Jan, et al.
Veröffentlicht: (2024)

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

Uniform Cut-free Bisequent Calculi for Three-valued Logics
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)

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

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
von: Lyon, Tim S.
Veröffentlicht: (2023)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
von: Lyon, Tim S.
Veröffentlicht: (2024)

Nested Sequents for Quasi-transitive Modal Logics
von: Marin, Sonia, et al.
Veröffentlicht: (2024)

Syntactic Effectful Realizability in Higher-Order Logic
von: Cohen, Liron, et al.
Veröffentlicht: (2025)

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

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

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

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

Forcing, Transition Algebras, and Calculi
von: Go, Hashimoto, et al.
Veröffentlicht: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

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

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)

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

Rule Formats for Nominal Process Calculi
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
von: Li, Fang, et al.
Veröffentlicht: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
von: Vašíček, Ondřej, et al.
Veröffentlicht: (2026)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2026)

Expressiveness Results for Timed Modal Mu-Calculi
von: Cleaveland, Rance, et al.
Veröffentlicht: (2023)

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

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

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

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