• Tweety

  • Referenced in 7 articles [sw22090]
  • aspects of artificial intelligence and knowledge representation. Tweety is a collection of various Java libraries ... implement approaches to different areas of artificial intelligence. In particular, it provides a general interface ... deal with e.g. mathematical optimization complement the collection...
  • L-VIBRA

  • Referenced in 3 articles [sw02429]
  • coordinating intelligent behavior among a collection of autonomous intelligent agents. In the last years...
  • Wasp

  • Referenced in 1 article [sw27053]
  • natural computing, and ii) using the collective intelligence of wasps to solve the NP-hard...
  • SOLAR

  • Referenced in 18 articles [sw00888]
  • useful in many applications of Artificial Intelligence such as theorem proving, query answering and nonmonotonic ... SOLAR and demonstrates their effectiveness on a collection of benchmark problems...
  • NOEMON

  • Referenced in 10 articles [sw02384]
  • models and the algorithms in question. An intelligent assistant can reduce this effort by inducing ... classifier, NOEMON measures its performance for a collection of datasets. Rules are induced from those...
  • Lemur

  • Referenced in 16 articles [sw10601]
  • engine provides accurate search for large text collections ’out of the box’, and data ... Project was begun by the Center for Intelligent Information Retrieval (CIIR) at the University...
  • AirSim

  • Referenced in 2 articles [sw33797]
  • advances in machine intelligence and deep learning we need to collect a large amount...
  • HyperStudy

  • Referenced in 1 article [sw14226]
  • designers. It automatically creates intelligent design variants, manages runs, and collects data. Users are then...
  • PagePrompter

  • Referenced in 2 articles [sw01704]
  • Intelligent Web agents offer a potential solution to meet such challenges. A Web agent collects ... basic functionalities and components of an intelligent Web agent are discussed. A prototype system, called...
  • i-LIDS

  • Referenced in 4 articles [sw33543]
  • test library, i-LIDS (imagery library for intelligent detection systems), a sample of which ... LIDS is to provide a collection of CCTV images that can be used to provide...
  • MAGMA-Lisp

  • Referenced in 4 articles [sw28716]
  • MAGMA-Lisp: a ”Machine language” for artificial intelligence. The paper describes MAGMA-Lisp, an extended ... complexity of the system, garbage collection does not result much more time consuming than...
  • CArtAgO

  • Referenced in 14 articles [sw11700]
  • agents to support/ realise their individual and collective activities (like artifacts in human contexts). Actually ... based on a strong notion of agency – intelligent agents – in particular those based...
  • BEECLUST

  • Referenced in 1 article [sw06505]
  • BEECLUST algorithm provides all features for making collective decisions. Furthermore we show that the robustness ... which demand differing controller strategies and swarm intelligent behaviour...
  • VERI-Wild

  • Referenced in 1 article [sw33962]
  • ReID) is of great significance to the intelligent transportation and public security. However, many challenging ... vehicle ReID in the wild, we collect a new dataset called VERI-Wild with...
  • MAPIT

  • Referenced in 1 article [sw17259]
  • involving the generation of a taxonomically broad collection of complete genome sequences from mitochondria ... Genetic Map Description Language (GMDL), and an “intelligent” Postscript translator. While the former provides...
  • theoremprover-museum

  • Referenced in 2 articles [sw19605]
  • that have pushed the envelope of artificial intelligence and programming, and as such they constitute ... site is the front-end to a collection of source code repositories for theorem provers...
  • BaRT

  • Referenced in 2 articles [sw01950]
  • representation is the knowledge group - a collection of production rules that map problem data into ... component of a system concerned with analysing intelligence reports. Because all of BaRT’s capabilities...
  • Coq

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

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

  • Referenced in 1617 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...