• OMDoc

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

  • Referenced in 89 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 14 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 41 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 18 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...
  • I2T

  • Referenced in 5 articles [sw36509]
  • image parsing results are converted into semantic representation in the form of Web ontology language ... converts the results from previous steps into semantically meaningful, human readable, and query-able text ... graph (AoG) visual knowledge representation, which provides a graphical representation serving as prior knowledge ... that specifies syntactic relations (i.e., compositional) and semantic relations (e.g., categorical, spatial, temporal, and functional...
  • PLM

  • Referenced in 3 articles [sw38031]
  • logic of Isabelle/HOL based on a semantical representation of an Aczel-model of the theory ... Based on this representation we construct an implementation of the deductive system of PLM which ... work thereby supports the concept of shallow semantical embeddings of logical systems...
  • 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...
  • subgraph2vec

  • Referenced in 4 articles [sw36496]
  • Learning and Graph Kernels. These latent representations encode semantic substructure dependencies in a continuous vector ... neighbourhoods of nodes to learn their latent representations in an unsupervised fashion. We demonstrate that...
  • 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...
  • GCLC

  • Referenced in 31 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...