Copertina

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fandinno, Jorge, Lierler, Yuliya
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Strong Equivalence in Answer Set Programming with Constraints
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)

Deductive Systems for Logic Programs with Counting
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
di: Fandinno, Jorge, et al.
Pubblicazione: (2024)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
di: Hecher, Markus, et al.
Pubblicazione: (2024)

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

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

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

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

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

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

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
di: Fandinno, Jorge, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Long-term Power Grid Planning via Answer Set Programming
di: Ielo, Antonio, et al.
Pubblicazione: (2026)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
di: Bertagnon, Alessandro, et al.
Pubblicazione: (2025)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
di: Rizwan, Momina, et al.
Pubblicazione: (2020)

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

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

Human Conditional Reasoning in Answer Set Programming
di: Sakama, Chiaki
Pubblicazione: (2023)

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

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
di: Gianola, Alessandro, et al.
Pubblicazione: (2023)

Question Answering with LLMs and Learning from Answer Sets
di: Borroto, Manuel, et al.
Pubblicazione: (2025)

Automated planning with ontologies under coherence update semantics (Extended Version)
di: Borgwardt, Stefan, et al.
Pubblicazione: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
di: Wernhard, Christoph
Pubblicazione: (2017)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
di: Salhi, Yakoub
Pubblicazione: (2024)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
di: Cantale, Claudia, et al.
Pubblicazione: (2017)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
di: Parent, Xavier
Pubblicazione: (2026)

Compiling Metric Temporal Answer Set Programming
di: Becker, Arvid, et al.
Pubblicazione: (2025)

Implementing Metric Temporal Answer Set Programming
di: Becker, Arvid, et al.
Pubblicazione: (2026)