• Chaff

  • Referenced in 485 articles [sw06916]
  • Automation (EDA), as well as in Artificial Intelligence (AI). This study has culminated...
  • ABC

  • Referenced in 124 articles [sw10950]
  • numerical function optimization: artificial bee colony (ABC) algorithm. Swarm intelligence is a research branch that ... hive is another example of swarm intelligence. Artificial Bee Colony (ABC) Algorithm is an optimization...
  • ETPS

  • Referenced in 132 articles [sw06302]
  • reason, and certain aspects of artificial intelligence. TPS can be used to prove theorems...
  • LISP

  • Referenced in 114 articles [sw07201]
  • became the favored programming language for artificial intelligence (AI) research. As one of the earliest...
  • TPS

  • Referenced in 64 articles [sw00973]
  • reason, and certain aspects of artificial intelligence. TPS can be used to prove theorems...
  • CCalc

  • Referenced in 54 articles [sw09899]
  • Lifschitz, Norman McCain and Hudson Turner (Artificial Intelligence...
  • FRIL

  • Referenced in 39 articles [sw18490]
  • Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Presents a theory of uncertainty, consistent with...
  • Zchaff2004

  • Referenced in 20 articles [sw01032]
  • such as electronic design automation and artificial intelligence. These applications continue to motivate the development...
  • EOlib

  • Referenced in 17 articles [sw00239]
  • intelligence methods, a domain close to artificial intelligence. With the help...
  • CIXL2

  • Referenced in 18 articles [sw03302]
  • crossover can be used to solve artificial intelligence problems, we have applied the proposed model...
  • SOLAR

  • Referenced in 16 articles [sw00888]
  • useful in many applications of Artificial Intelligence such as theorem proving, query answering and nonmonotonic...
  • Separoids

  • Referenced in 14 articles [sw08819]
  • representing uncertainty in Probability, Statistics, Artificial Intelligence, and other fields...
  • GIB

  • Referenced in 14 articles [sw01096]
  • American professor who specializes in artificial intelligence. GIB can not bid yet, nor interpret...
  • QUBE

  • Referenced in 14 articles [sw11381]
  • important research issue in Artificial Intelligence. Many reasoning tasks involving planning [1], abduction, reasoning about...
  • FPROLOG

  • Referenced in 13 articles [sw18491]
  • shortcomings of PROLOG, widely used in artificial intelligence research is its failure of manipulating uncertain...
  • AKIRA

  • Referenced in 10 articles [sw02968]
  • Artificial Knowledge Interface for Reasoning Applications) Artificial Intelligence has always been a very stimulating work...
  • LAILA

  • Referenced in 10 articles [sw02266]
  • research, mainly but not limited to artificial intelligence and distributed systems. In open and distributed...
  • CTADEL

  • Referenced in 10 articles [sw02203]
  • skills in the diverse areas of artificial intelligence, computer algebra systems, parallel programming, compilers, numerical...
  • RealPlan

  • Referenced in 9 articles [sw01619]
  • most existing automated planners studied in Artificial Intelligence do not exploit this loose-coupling...
  • PyBrain

  • Referenced in 7 articles [sw12670]
  • short for Python-Based Reinforcement Learning, Artificial Intelligence and Neural Network Library. In fact...