| On the Computation of Paracoherent Answer Sets | Jul 21, 2017 | Negation | —Unverified | 0 |
| On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head | May 15, 2024 | NegationRelation | —Unverified | 0 |
| On the Logical Content of Logic Programs | Mar 7, 2025 | Negation | —Unverified | 0 |
| On the negation of a Dempster-Shafer belief structure based on maximum uncertainty allocation | Jan 29, 2019 | Negation | —Unverified | 0 |
| On the Number of Control Nodes in Boolean Networks with Degree Constraints | Feb 6, 2025 | Negation | —Unverified | 0 |
| On the read-once property of branching programs and CNFs of bounded treewidth | Nov 2, 2014 | Negation | —Unverified | 0 |
| On the relation between structured d-DNNFs and SDDs | Dec 2, 2019 | NegationRelation | —Unverified | 0 |
| Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP | Jan 28, 2013 | Negation | —Unverified | 0 |
| On Uniform Equivalence of Epistemic Logic Programs | Jul 25, 2019 | Negation | —Unverified | 0 |
| Opinion mining of movie reviews at document level | Aug 17, 2014 | Decision MakingNegation | —Unverified | 0 |
