Image de couverture de livre

Sequential composition of answer set programs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Antić, Christian
Format:	Preprint
Publié:	2021
Sujets:	Artificial Intelligence Discrete Mathematics Logic in Computer Science Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Analogical proportions II
par: Antić, Christian
Publié: (2024)

Boolean proportions
par: Antić, Christian
Publié: (2021)

Algebraic anti-unification
par: Antić, Christian
Publié: (2024)

Logic-based analogical proportions
par: Antić, Christian
Publié: (2024)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
par: Bieniusa, Annette, et autres
Publié: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

The Birkhoff completion of finite lattices
par: Abdulla, Mohammad, et autres
Publié: (2024)

An Expansion-Based Approach for Quantified Integer Programming
par: Hartisch, Michael, et autres
Publié: (2025)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
par: Flaminio, Tommaso, et autres
Publié: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
par: Trinh, Van-Giang, et autres
Publié: (2025)

Reasoning About Action and Change
par: de Saint-Cyr, Florence Dupin, et autres
Publié: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
par: Fuchser, Janne, et autres
Publié: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
par: Faber, Daniel, et autres
Publié: (2024)

From Width-Based Model Checking to Width-Based Automated Theorem Proving
par: Oliveira, Mateus de Oliveira, et autres
Publié: (2022)

An Efficient Computational Framework for Discrete Fuzzy Numbers Based on Total Orders
par: Mir, Arnau, et autres
Publié: (2025)

Advances in Algorithmic Meta Theorems
par: Siebertz, Sebastian, et autres
Publié: (2024)

Separability Properties of Monadically Dependent Graph Classes
par: Bonnet, Édouard, et autres
Publié: (2025)

Existential Positive Transductions of Sparse Graphs
par: Mählmann, Nikolas, et autres
Publié: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
par: Buffière, Hector, et autres
Publié: (2026)

Decomposition horizons and a characterization of stable hereditary classes of graphs
par: Braunfeld, Samuel, et autres
Publié: (2022)

Epsilon-saturation for stable graphs and Littlestone classes
par: Malliaris, Maryanthe, et autres
Publié: (2025)

On first-order transductions of classes of graphs
par: Braunfeld, Samuel, et autres
Publié: (2022)

Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO
par: Mählmann, Nikolas
Publié: (2025)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
par: Dreier, Jan, et autres
Publié: (2024)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
par: Dreier, Jan
Publié: (2021)

Learning Foundations Beneath the Stars
par: Cardone, Felice, et autres
Publié: (2026)

On the Subspace Orbit Problem and the Simultaneous Skolem Problem
par: Bacik, Piotr, et autres
Publié: (2026)

Home Spaces and Invariants to Analyze Parameterized Petri Nets
par: Memmi, Gerard
Publié: (2024)

SAT-Solving the Poset Cover Problem
par: Yuan, Chih-Cheng Rex, et autres
Publié: (2025)

Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
par: Haar, Stefan, et autres
Publié: (2025)

Verifying Sampling Algorithms via Distributional Invariants
par: Zilken, Daniel, et autres
Publié: (2025)

Efficient reversal of transductions of sparse graph classes
par: Dreier, Jan, et autres
Publié: (2026)

On the number of asynchronous attractors in AND-NOT Boolean networks
par: Trinh, Van-Giang, et autres
Publié: (2025)

Hypergraph rewriting and Causal structure of $λ-$calculus
par: Bajaj, Utkarsh
Publié: (2024)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
par: Van Caudenberg, Daimy, et autres
Publié: (2025)

The commutativity problem for effective varieties of formal series, and applications
par: Clemente, Lorenzo
Publié: (2025)

Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
par: Carette, Titouan, et autres
Publié: (2025)

Neural logic programs and neural nets
par: Antić, Christian
Publié: (2024)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)