• ABC

  • Referenced in 270 articles [sw10950]
  • efficient algorithm for numerical function optimization: artificial bee colony (ABC) algorithm. Swarm intelligence ... branch that models the population of interacting agents or swarms that are able to self ... hive is another example of swarm intelligence. Artificial Bee Colony (ABC) Algorithm is an optimization...
  • DeepMind Lab

  • Referenced in 2 articles [sw28743]
  • used to study how autonomous artificial agents may learn complex tasks in large, partially observed...
  • AntNet

  • Referenced in 66 articles [sw11975]
  • exchange collected information. The communication among the agents is indirect and asynchronous, mediated ... many experiments over real and artificial IP datagram networks with increasing number of nodes...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • decade has seen the advent of the agent paradigm as a reference model in several ... research, mainly but not limited to artificial intelligence and distributed systems. In open and distributed ... facts are not known at all, the agent metaphor proves particularly useful if agents...
  • Hintikka's world

  • Referenced in 1 article [sw31988]
  • Hintikka’s World shows intelligent artificial agents reasoning about higher-order knowledge (a knows that...
  • BWAPI

  • Referenced in 1 article [sw26571]
  • researchers, and hobbyists can create Artificial Intelligence (AI) agents that play the game. BWAPI only...
  • nBrains

  • Referenced in 1 article [sw17462]
  • possible alternative to Artificial Neural Networks (ANNs) for agent control is described. This alternative, known...
  • XELOPES

  • Referenced in 1 article [sw12850]
  • real time. Includes agent framework: Based on access of artificial intelligence, a framework was developed ... this framework is a so-called agent that learns from the stimulation of its environment...
  • AKIRA

  • Referenced in 10 articles [sw02968]
  • Artificial Knowledge Interface for Reasoning Applications) Artificial Intelligence has always been a very stimulating work ... virtual worlds and to populate them with agents manifesting high-level behaviour. The advanced underlying...
  • Tweety

  • Referenced in 7 articles [sw22090]
  • that implement approaches to different areas of artificial intelligence. In particular, it provides a general ... Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems...
  • Talk2Car

  • Referenced in 1 article [sw36643]
  • long-term goal of artificial intelligence is to have an agent execute commands communicated through...
  • Soccer server

  • Referenced in 10 articles [sw20844]
  • server: a tool for research on multi-agent systems. This article describes Soccer Server ... significant challenge for computer science, artificial intelligence, and robotics technologies. It is to promote...
  • Simbad

  • Referenced in 1 article [sw30808]
  • want a simple basis for studying Situated Artificial Intelligence, Machine Learning, and more generally ... context of Autonomous Robotics and Autonomous Agents. It is not intented to provide a real...
  • eHive

  • Referenced in 2 articles [sw27408]
  • eHive: An Artificial Intelligence workflow system for genomic analysis. We present eHive, a new fault ... based on blackboard systems, network distributed autonomous agents, dataflow graphs and block-branch diagrams...
  • IMMUNE

  • Referenced in 1 article [sw02797]
  • that enable robust collaboration amongst many design agents from different disciplines, are required. The particular ... techniques. In this regard IMMUNE is an artificial immune system that balances the complexity ... integral solutions to the complex design problems. Agents in IMMUNE are adaptive and can change...
  • GENEFER

  • Referenced in 1 article [sw16838]
  • Modeling expectations with GENEFER -- an artificial intelligence approach. Economic modeling of financial markets attempts ... necessary, then, to focus on how agents form expectations. We believe that they look ... rule bases. For example if a single agent believes the exchange rate is determined ... from examples we introduce genetic algorithms and artificial neural networks as learning operators. These examples...
  • NUML

  • Referenced in 1 article [sw03463]
  • expertise. A powerful, extensible strategy of Distributed Artificial Intelligence (DAI) for overcoming such bounds ... necessary for a language describing DAI systems. Agent-oriented language NUML is such a language...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

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