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