| A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem | Nov 2, 2020 | Automated Theorem ProvingNegation | —Unverified | 0 | 0 |
| Coarse Descriptions and Cautious Preferences | Sep 9, 2024 | Decision MakingNegation | —Unverified | 0 | 0 |
| Applying the semantics of negation to SMT through n-best list re-ranking | Apr 1, 2014 | NegationRe-Ranking | —Unverified | 0 | 0 |
| Classifying the reported ability in clinical mobility descriptions | Jun 7, 2019 | Natural Language InferenceNegation | —Unverified | 0 | 0 |
| A Plea for Information Structure as a Part of Meaning Representation | Aug 1, 2019 | Negation | —Unverified | 0 | 0 |
| Characterizing Bipartite Consensus on Signed Matrix-Weighted Networks via Balancing Set | Nov 28, 2020 | Negation | —Unverified | 0 | 0 |
| Cause and Effect: Hierarchical Concept-based Explanation of Neural Networks | May 14, 2021 | Negation | —Unverified | 0 | 0 |
| A Paraconsistent ASP-like Language with Tractable Model Generation | Dec 20, 2019 | Negation | —Unverified | 0 | 0 |
| Causal Graph Justifications of Logic Programs | Sep 25, 2014 | Negation | —Unverified | 0 | 0 |
| Antithetic Noise in Diffusion Models | Jun 6, 2025 | DiversityNegation | —Unverified | 0 | 0 |
