• OMDoc

  • Referenced in 86 articles [sw07138]
  • OPENMATH standard that allows the representation of the semantics and structure of various kinds...
  • KRAKATOA

  • Referenced in 86 articles [sw03159]
  • proof assistant for modeling the program semantics and conducting the development of proofs, and finally ... specifications for COQ and a representation of the JAVA semantics of the JAVA program into...
  • gensim

  • Referenced in 12 articles [sw04081]
  • succinctly expressed in the new, semantic representation, and queried for topical similarity against other documents...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • automata. In particular, this representation allowed us to study the semantics of real-time primitives ... static nature of the intermediate representation prevents the analysis of dynamic systems. More exactly, primitive...
  • KL-ONE

  • Referenced in 40 articles [sw28891]
  • family of knowledge representation formalisms that are descended from semantic networks and frames...
  • Grammar Matrix

  • Referenced in 10 articles [sw21659]
  • processing and the precision parses and semantic representations necessary for natural language understanding...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent ... aspect, which has been studied at the semantical level by Shafer in his framework ... offering a convenient logical representation for his semantical objects. Second, this language also has relevance ... particular, we prove that the formal semantics of a theory in our language...
  • MBase

  • Referenced in 17 articles [sw08724]
  • formalized mathematics where the formal representation allows semantics-based retrieval of distributed mathematical facts ... concepts, we propose a methodology for developing representation formalisms for mathematical knowledge bases. We propose...
  • Nasari

  • Referenced in 4 articles [sw24669]
  • knowledge and corpus statistics for a multilingual representation of concepts and entities. Owing ... deep understanding of linguistic items, semantic representation is considered to be one of the fundamental ... Artificial Intelligence. As a result, semantic representation has been one of the prominent research areas ... thanks to the representation of linguistic items in a single unified semantic space...
  • Plat-Omega

  • Referenced in 3 articles [sw19624]
  • which we present. From this informal semantic representation PlatΩ automatically generates the corresponding formal representation...
  • SUMMARIST

  • Referenced in 3 articles [sw26528]
  • symbolic techniques, using parsers, grammars, and semantic representations, do not scale up to real-world...
  • LOGIDATA+

  • Referenced in 5 articles [sw02123]
  • data with complex structures, the representation of semantic relationships between objects ... programming. Attention will be devoted to the representation of isa-hierarchies and to taxonomic reasoning...
  • ClaiMaker

  • Referenced in 5 articles [sw01795]
  • ClaiMaker provides tools to build a Semantic Web representation of the claims in research papers...
  • Vellvm

  • Referenced in 6 articles [sw13286]
  • provides a mechanized formal semantics of LLVM’s intermediate representation, its type system, and properties ... interactive theorem prover. It includes multiple operational semantics and proves relations among them to facilitate...
  • MultiNet

  • Referenced in 10 articles [sw01583]
  • presentation describes the knowledge representation paradigm of multi-layered extended semantic networks (the so-called ... version). The essential components of this knowledge representation system and their relation to natural language...
  • N3Logic

  • Referenced in 9 articles [sw02003]
  • Description Framework (RDF), the Semantic Web provides a unifying representation of richly structured data. Adding...
  • MedPost

  • Referenced in 3 articles [sw07991]
  • MedPost Tagger specifically formulated for the Semantic Knowledge Representation (SKR) work. MedPost/SKR has modified functionality...
  • GCLC

  • Referenced in 29 articles [sw00326]
  • GCLC uses a language GC for declarative representation of figures and for storing mathematical contents ... theorem prover which directly links visual and semantical geometrical information with deductive properties and machine...
  • HOMER

  • Referenced in 5 articles [sw13321]
  • fragment into a precise representation of their game semantics as visibly pushdown automata...
  • MMT

  • Referenced in 47 articles [sw07136]
  • encode mathematical knowledge in a logic-neutral representation format that can represent the meta-theoretic ... services which are not aware of the semantics of the processed knowledge...