thingsaurus
This is a 'thesaurus for things' or similarity engine: results show things that have something in common with what you enter. The more stars, the more things in common! You can use it for research, recommendations or simply to explore ideas and related subjects.
Here are your results for Knowledge Based Software Assistant...
Stars indicate closer matches.
Formal methods 
- Shyster (expert system)
- TLA+
- Bigraph
- Bisimulation
- Formal verification
- Hindley–Milner type system
- Lambda calculus
- Language Of Temporal Ordering Specification
- Promise theory
- Semantic spacetime
- Turing machine
- Expert system
- Expert systems for mortgages
- Backward chaining
- Business rule management system
- Business rules engine
- CADUCEUS (expert system)
- Cleverpath AION Business Rules Expert
- Clinical quality management system
- CLIPS
- Dendral
- EGanges
- Forward chaining
- Artificial intelligence in fraud detection
- FuzzyCLIPS
- Global Infectious Disease Epidemiology Network
- HYPO CBR
- Inference engine
- Internist-I
- Jess (programming language)
- Knowledge acquisition
- Legal expert system
- Logic Programming Associates
- Model-based reasoning
- Mycin
- OpenKBM
- Production system (computer science)
- PROPHET system
- Reasoning system
- Rete algorithm
- Rog-O-Matic
- SHINE Expert System
- Split Up (expert system)
- Xcon
- Specification language
- Algebraic modeling language
- Algebraic Petri net
- ANSI/ISO C Specification Language
- Battle management language
Popular: 7 Reims 2024 Val Thorens Lists of horror films
Random: Bir el Qutt inscriptions Grenelle XHDZ-FM Studio One (software) Citizens Against UFO Secrecy
[beta] © 2026 • Data source: Wikipedia • Created by this chap