• Chaff

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

• ABC

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

• LISP

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

• CCalc

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

• TPS

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

• FRIL

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

• QUBE

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

• NESTOR

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

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

• CIXL2

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

• Separoids

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

• SOLAR

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

• HARP

• Referenced in 11 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...

• GIB

• Referenced in 15 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 11 articles [sw02203]
• skills in the diverse areas of artificial intelligence, computer algebra systems, parallel programming, compilers, numerical...

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