• Chaff

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

• ABC

• Referenced in 270 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 156 articles [sw06302]
• reason, and certain aspects of artificial intelligence. TPS can be used to prove theorems...

• LISP

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

• CCalc

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

• TPS

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

• FRIL

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

• QUBE

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

• NESTOR

• Referenced in 27 articles [sw22096]
• presented and discussed. Additional keywords: artificial intelligence; expert systems; medical applications; computer aided diagnosis; medical...

• HARP

• Referenced in 16 articles [sw26323]
• inference engine for Artificial Intelligence applications. Accordingly, HARP’s construction is influenced by the design ... naturalness’, efficiency, usefulness in an Artificial Intelligence environment, and modifiability of the control structure...

• Zchaff2004

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

• EOlib

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

• Separoids

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

• SOLAR

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

• CIXL2

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

• DeepStack

• Referenced in 11 articles [sw27097]
• DeepStack: expert-level artificial intelligence in heads-up no-limit poker. Artificial intelligence has seen ... long-standing challenge problem in artificial intelligence. We introduce DeepStack, an algorithm for imperfect-information...

• GIB

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

• FPROLOG

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

• CTADEL

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

• Tweety

• Referenced in 7 articles [sw22090]
• Java libraries for logical aspects of artificial intelligence and knowledge representation. Tweety is a collection ... implement approaches to different areas of artificial intelligence. In particular, it provides a general interface...