• ESmodels

  • Referenced in 1 article [sw31010]
  • applications of epistemic specifications.We first give the epistemic specification language of ESmodels and its semantics ... discuss possible applications of ESmodels in conformant planning and constraint satisfaction. Finally, we conclude with...
  • mAL

  • Referenced in 1 article [sw26683]
  • basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within ... work has been done within the dynamic epistemic logic community towards understanding how the actions...
  • Coq

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

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CP-nets

  • Referenced in 135 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • ConGolog

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

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

  • Referenced in 37 articles [sw03055]
  • Online planning algorithms for POMDPS. Partially Observable Markov...
  • SPIN

  • Referenced in 716 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 862 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • NuSMV

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

  • Referenced in 93 articles [sw04159]
  • The Pareto Archived Evolution Strategy (PAES) is a...
  • CUDD

  • Referenced in 148 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • This document provides an introduction to the Answer...
  • DLMF

  • Referenced in 2451 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • HOL

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

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use...
  • Nuprl

  • Referenced in 390 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • ProbLog

  • Referenced in 85 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...
  • Potassco

  • Referenced in 73 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...