• Reconstructor

  • Referenced in 1 article [sw32101]
  • introduction of incomplete models (for which the denotation of some terms is missing) into scientific ... paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third...
  • SmBoP

  • Referenced in 1 article [sw42269]
  • semantic parser that uses autoregressive decoding. SmBoP obtains 71.1 denotation accuracy on Spider, establishing...
  • ANDy

  • Referenced in 2 articles [sw16548]
  • thereof) with a local attribute, a state denoting its level (e.g., concentration, strength). Entities levels ... decay gradually as time passes by. The semantics of ANDy is formally given via high...
  • Template-Coq

  • Referenced in 4 articles [sw27569]
  • kernel, as well as a denotation command. Initially, it was developed for the purpose ... lambda$-calculus [13]. However, the syntax lacked semantics, be it typing semantics or operational semantics...
  • DAFY

  • Referenced in 1 article [sw26938]
  • DAFY). A time extended version of LOTOS , denoted Timed LOTOS, is proposed for the modeling ... this language neither the syntax nor the semantics are restricted to a specific time domain...
  • Vivid

  • Referenced in 3 articles [sw01316]
  • form of a family of denotational proof languages (DPLs). We present novel formal structures, called ... named system states, and develop a formal semantic framework based on 3-valued logic...
  • KaBOB

  • Referenced in 0 articles [sw23969]
  • sources. RESULTS: We present five processes for semantic data integration that, when applied collectively, solve ... database records, aggregating sets of identifiers denoting the same biomedical concepts across data sources ... Base Of Biomedicine), a knowledge base of semantically integrated data from 18 prominent biomedical databases...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • Nitpick

  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • PAG

  • Referenced in 21 articles [sw00669]
  • PAG -- an efficient program analyzer generator. In order...
  • TimeNET

  • Referenced in 30 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • Ada95

  • Referenced in 293 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • ConGolog

  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...