• CAS

  • Referenced in 22 articles [sw07634]
  • complete character tables: from generic formulae, eg. PSL(2,q); from matrix of class-multiplication...
  • AMT

  • Referenced in 13 articles [sw38045]
  • formalism based on the industrial standard language Psl and the real-time temporal logic Mitl...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • foxPSL: A fast, optimized and extended PSL implementation. In this paper, we describe {it foxPSL ... extended implementation of Probabilistic Soft Logic (PSL) based on the distributed graph processing framework ... Signal/Collect}. PSL is one of the leading formalisms of statistical relational learning, a recently developed ... combining logical representations with probabilistic graphical models. PSL can be seen as both a probabilistic...
  • Tabix

  • Referenced in 4 articles [sw28170]
  • delimited formats such as GFF, BED, PSL, SAM and SQL export, and quickly retrieves features...
  • Congruence

  • Referenced in 2 articles [sw08632]
  • with fundamental polygons of congruence subgroups of PSL 2 (ℤ). The classical theory ... relations for subgroups of the modular group PSL 2 (ℤ), acting on the hyperbolic plane ... symbols representing subgroups of finite index in PSL 2 (ℤ), due to R. S. Kulkarni...
  • PSLDoc

  • Referenced in 1 article [sw24765]
  • semantic analysis. Prediction of protein subcellular localization (PSL) is important for genome annotation, protein function ... drug discovery. Many computational approaches for PSL prediction based on protein sequences have been proposed...
  • ClaimEval

  • Referenced in 1 article [sw23918]
  • claims. ClaimEval uses Probabilistic Soft Logic (PSL), resulting in a flexible and principled framework which...
  • ltlfilt

  • Referenced in 1 article [sw29443]
  • formulas. (It will also work with PSL formulas.) It can be used to perform...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • FoCs

  • Referenced in 20 articles [sw01591]
  • FoCs -- automatic generation of simulation checkers from formal...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • NuSMV

  • Referenced in 312 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • MeatAxe

  • Referenced in 67 articles [sw04906]
  • The MeatAxe - Computing with Modular Representations. The MeatAxe...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • DESIGN

  • Referenced in 31 articles [sw07722]
  • The Design Package for GAP. DESIGN is a...
  • GraphLab

  • Referenced in 24 articles [sw12830]
  • GraphLab: A New Framework For Parallel Machine Learning...