| 2025 | Exact Approaches for the Diverse Satisfiability Problem. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2025 | Maximum Satisfiability Formulations for Nonlinear Integer Programming. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2025 | Finding Short Tree-Like Unit Refutations in UTVPI Constraint Systems. | Piotr Wojciechowski, K. Subramani |
| 2025 | Dual Scale Detachment. | Vincent de Wit, Aleks Knoks, Leendert van der Torre |
| 2025 | From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness. | Yiheng Wang |
| 2025 | deon- | Davide Sold, Thomas Eiter |
| 2025 | Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. | Kai Sauerwald, Kenneth Skiba, Eduardo Ferm, Thomas Meyer |
| 2025 | Interpolating Parametric Array Theories. | Rodrigo Raya, Christophe Ringeissen |
| 2025 | Completing Structured Arguments in Assumption-Based Argumentation. | Andrei Popescu, Johannes P. Wallner |
| 2025 | Refinement-Based Enumeration of QBF Solutions. | Andreas Plank, Clemens Hofstadler, Maximilian Heisinger, Martina Seidl |
| 2025 | Refined Notions of QBF Equivalences. | Peter Pfeiffer, Daniel Groe, Martina Seidl |
| 2025 | On a Second-Order Version of Russellian Theory of Definite Descriptions. | Yaroslav I. Petrukhin |
| 2025 | Alternating-Time Temporal Logic with Default Actions. | Jakub Michaliszyn |
| 2025 | Explanations of Unsatisfiability Beyond Minimal Subsets. | Pablo Martnez-Naredo, Ral Menca, Joo Marques-Silva, Carlos Menca |
| 2025 | Unsupervised Automata Learning via Discrete Optimization. | Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara Knig, Emmanuel Mller, Daniel Neider |
| 2025 | Generalizing the Syntax of Terms in Mini-gringo. | Vladimir Lifschitz |
| 2025 | An Experiment with Anthem: Semantic Equivalence of Tiling Programs. | Vladimir Lifschitz |
| 2025 | A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle. | Andrew Lewis-Smith, Zhiguang Zhao |
| 2025 | Extending Defeasibility for Propositional Standpoint Logics. | Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak |
| 2025 | Closure-Based Tractable Possibilistic Inference from Partially Ordered DL-Lite Ontologies. | Ahmed Laouar, Salem Benferhat |
| 2025 | Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing. | Jean-Marie Lagniez, Emmanuel Lonca |
| 2025 | DIRT: a Literature-Based Benchmark Suite for Grounders. | Lucas Van Laer, Simon Vandevelde, Joost Vennekens |
| 2025 | Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. | Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2025 | Exposure and Hiding: Approaching the Objective Probability and Hiding the Secret in Zero-Knowledge Proof. | Yini Huang, Beishui Liao, Xingchi Su |