Buchumschlag

Answer Set Counting and its Applications

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kabir, Mohimenul
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language 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

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

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Question Answering with LLMs and Learning from Answer Sets
von: Borroto, Manuel, et al.
Veröffentlicht: (2025)

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

Finding Regular Herbrand Models for CHCs using Answer Set Programming
von: Maire, Gregoire, et al.
Veröffentlicht: (2025)

Hybrid Answer Set Programming: Foundations and Applications
von: Rühling, Nicolas
Veröffentlicht: (2025)

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

TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs
von: Sun, Qiang, et al.
Veröffentlicht: (2025)

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

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
von: Imaz, Gonzalo E.
Veröffentlicht: (2024)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

Classifying Graphemes in English Words Through the Application of a Fuzzy Inference System
von: Rose, Samuel, et al.
Veröffentlicht: (2024)

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

A Coq Library of Sets for Teaching Denotational Semantics
von: Cao, Qinxiang, et al.
Veröffentlicht: (2024)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
von: Yang, Andy, et al.
Veröffentlicht: (2024)

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

On Ambiguity: The case of fraction, its meanings and roles
von: Bergstra, Jan A, et al.
Veröffentlicht: (2026)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
von: Hansen, Zachary, et al.
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)

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

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2022)

Cyclic Proofs in Hoare Logic and its Reverse
von: Brotherston, James, et al.
Veröffentlicht: (2025)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
von: Fages, François
Veröffentlicht: (2024)

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

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)

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

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

The Power of Counting Steps in Quantitative Games
von: Bose, Sougata, et al.
Veröffentlicht: (2024)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
von: Takemura, Akihiro, et al.
Veröffentlicht: (2026)

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)

A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances
von: Tang, Xichen
Veröffentlicht: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)