• Hyperproof

  • Referenced in 25 articles [sw22172]
  • software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information ... proofs rather than the syntactic structure of sentences. It also reflects the heterogeneity of information...
  • SICK

  • Referenced in 1 article [sw27842]
  • phase were paired with the normalized sentences in order to obtain the final data...
  • MATLANG

  • Referenced in 5 articles [sw39112]
  • means of sentences in the three-variable fragment of first-order logic with counting. Equivalence ... correspond to equivalence by means of sentences in the two-variable fragment of this logic...
  • Cohere

  • Referenced in 1 article [sw38246]
  • versions of the document with sentences in shuffled order...
  • GHC

  • Referenced in 43 articles [sw23765]
  • resolution-based theorem prover for Horn-clause sentences. The restriction has two aspects ... multiprocessing. Except for the lack of higher- order facilities, GHC can be viewed...
  • StructBERT

  • Referenced in 1 article [sw42711]
  • most of the sequential order of words and sentences, which leverage language structures...
  • TWilBert

  • Referenced in 1 article [sw39093]
  • propose a Reply Order Prediction signal to learn inter-sentence coherence in Twitter conversations, which...
  • ALDONAr

  • Referenced in 2 articles [sw39062]
  • Python package ALDONAr: A Hybrid Solution for Sentence-Level Aspect Based Sentiment Analysis using ... order to tackle these issues, in this paper, we propose a hybrid solution for sentence...
  • CCGbank

  • Referenced in 4 articles [sw08022]
  • resulting corpus, CCGbank, includes 99.4% of the sentences in the Penn Treebank. It is available ... rates of dependency recovery. In order to obtain linguistically adequate CCG analyses, and to eliminate...
  • Text2Action

  • Referenced in 0 articles [sw42586]
  • action in order to generate a human action sequence given a sentence describing human behavior...
  • RuSH

  • Referenced in 1 article [sw39101]
  • efficient, reliable, and easy adaptable rule-based sentence segmentation solution. It is specifically designed ... time and eliminates the effect of rule order on accuracy...
  • Reconstructor

  • Referenced in 1 article [sw32101]
  • terms is missing) into scientific metatheory, in order to represent cases of missing information ... semantics built into Reconstructor to deal with sentences where denotation failures occur. The third development...
  • Sbuqa

  • Referenced in 1 article [sw29021]
  • structure patterns. Finally, the sentences which acquire the minimum score to be offered the user ... displayed to the user in descending order...
  • StereoSet

  • Referenced in 2 articles [sw42143]
  • known to capture stereotypical biases. In order to assess the adverse effects of these models ... small set of artificially constructed bias-assessing sentences. We present StereoSet, a large-scale natural...
  • TheanoLM

  • Referenced in 1 article [sw26594]
  • training neural network language models (NNLMs), scoring sentences, and generating text. The tool has been ... multiple CPU cores in order to parallelize the heavy numerical computations. The tool has been...
  • iCTRL

  • Referenced in 1 article [sw01473]
  • representation of natural language texts. Traditional first-order and intensional logic cannot cope with numerous ... certain modelling problems like one-to-one sentence–formula mapping. The CTRL/iCTRL formalism can model...
  • I2T

  • Referenced in 5 articles [sw36509]
  • engine, in a spirit similar to parsing sentences in natural language; 2) the image parsing ... parse images from the Internet in order to build an AoG for visual knowledge representation...
  • BRECCIA

  • Referenced in 1 article [sw31708]
  • which receives information from humans (as logical sentences), simulations (e.g., weather or environmental predictions ... actions) to acquire new data dynamically in order to reduce the uncertainty of the query...
  • LSBert

  • Referenced in 1 article [sw33748]
  • complex word itself regardless of the given sentence to generate candidate substitutions, which will inevitably ... account for ranking candidates, including Bert prediction order, Bert-based language model, and the paraphrase...
  • rgbF

  • Referenced in 0 articles [sw41273]
  • desired unit combination. The scores at the sentence level can be obtained on demand ... well as the desired n-gram order...