• GOLOG

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

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

  • Referenced in 15 articles [sw02784]
  • A logic system that integrates First Order Logic...
  • IMPACT

  • Referenced in 5 articles [sw02891]
  • Impact: A Multi-Agent Framework with Declarative Semantics...
  • OTTER

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

  • Referenced in 3397 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Yices

  • Referenced in 154 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • CUDD

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

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

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • z3

  • Referenced in 594 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • MONA

  • Referenced in 133 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • AgentSpeak

  • Referenced in 102 articles [sw06186]
  • AgentSpeak is an agent-oriented programming language. It...
  • METATEM

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

  • Referenced in 97 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...
  • ProbLog

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

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

  • Referenced in 30 articles [sw07281]
  • veriT: An Open, Trustable and Efficient SMT-Solver...
  • AgenaRisk

  • Referenced in 13 articles [sw07338]
  • AgenaRisk uses the latest developments from the field...