Open AccessA Lightweight Double-negation Translation
Author(s) -
Frédéric Gilbert
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - negation , translation (biology) , computer science , programming language , natural language processing , negation as failure , artificial intelligence , semantics (computer science) , chemistry , biochemistry , messenger rna , gene , operational semantics , stable model semantics