• selp

  • Referenced in 8 articles [sw31006]
  • selp - A Single-Shot Epistemic Logic Program Solver. selp (Single-shot Epistemic Logic Program solver ... solver for Epistemic Logic Programs (ELPs), that is, programs that use an extended version ... Answer Set Programming (ASP) that, in particular, allows users to express epistemic negation. selp works...
  • eclingo

  • Referenced in 4 articles [sw39883]
  • eclingo : A Solver for Epistemic Logic Programs. We describe eclingo, a solver for epistemic logic ... semantics built upon the Answer Set Programming system clingo. The input language of eclingo uses ... subjective literals that, as usual in epistemic logic programs, allow for checking the truth ... state-of-the-art solvers for epistemic logic programs on a pair of benchmark scenarios...
  • Wviews

  • Referenced in 2 articles [sw31007]
  • Wviews: A Worldview Solver for Epistemic Logic Programs. Wviews is an artificial intelligence system extension ... generating world view answer sets for epistemic logic programs. This software implements the theory ... paper ”Logic programming and reasoning with incomplete information” by Michael Gelfond in the Journal ... Intelligence and the 2007 paper ”Epistemic Reasoning in Logic Programs” by Yan Zhang...
  • ELPS

  • Referenced in 1 article [sw31013]
  • ELPS: epistemic logic programs with sorts...
  • DEMO

  • Referenced in 9 articles [sw29079]
  • exemplar of tool building for epistemic update logic. It contains the essential code ... DEMO in Haskell, in Knuth’s ‘literate programming’ style...
  • Coq

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

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

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

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

  • Referenced in 35 articles [sw02011]
  • Verics (VerICS) is our original tool for automated...
  • GOLOG

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

  • Referenced in 37 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most...
  • AVISPA

  • Referenced in 87 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • SPIN

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

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

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

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

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Gringo

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