Not another Negation Benchmark: The NaN-NLI Test Suite for Sub-clausal Negation.
Thinh Hung TruongYulia OtmakhovaTimothy BaldwinTrevor CohnJey Han LauKarin VerspoorPublished in: AACL/IJCNLP (1) (2022)
Keyphrases
- test suite
- horn clauses
- logic programs
- logic programming
- regression testing
- test cases
- deductive databases
- fixpoint
- inductive logic programming
- compositional semantics
- containment of conjunctive queries
- test suite reduction
- truth values
- predicate logic
- stable models
- static analysis
- knowledge base
- datalog programs
- test sequences
- constraint propagation
- machine learning
- real world