Results 21 to 40 of 94
Sort by:

  • 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...