Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation.
Thinh Hung TruongYulia OtmakhovaTimothy BaldwinTrevor CohnJey Han LauKarin VerspoorPublished in: CoRR (2022)
Keyphrases
- test suite
- horn clauses
- logic programs
- logic programming
- test cases
- deductive databases
- regression testing
- real world
- fixpoint
- software testing
- machine learning
- compositional semantics
- containment of conjunctive queries
- decision procedures
- theorem proving
- inductive logic programming
- answer sets
- inference rules
- test set
- feature extraction
- case study
- decision trees
- knowledge base
- feature selection
- test suite reduction