Search Results for "fuzzy logic c#"
Sort By:
Showing 22 open source projects for "fuzzy logic c#"
View related business solutions-
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
2
Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
-
3
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
4
Temporal Inference Engine
A real time inference engine for temporal logical specifications
.... The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals. -
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
5
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
6
Logic Lab
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions. -
7
CTL-RP
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference. Please see the following link for more details. http://cueb.science/web/software/ (if you are inside China.) http://ctlrp.sourceforge.net (if you are not inside China.) -
8
[I'm rewriting a more portable version of this software, please goto the lifeSystem project on sf] Runtime module (re)loader and (re)linker (educational purposes) OpenGL based modular non-intrusive gui Example applications (an animal species simulator with fuzzy AI is included)
-
9
CLIPSwl
CLIPS with lock support. CLIPS for safely handling simultaneous access
CLIPSwl is a modified project based on CLIPS(C Language Integrated Production System)(https://sourceforge.net/projects/clipsrules/), a public domain open-source software tool for building expert systems. CLIPS(ver. 6.24) is unsafe when access simultaneously occurs at the same environment, because the environment data of CLIPS are not protected for simultaneous access. We modified the CLIPS (ver. 6.24) to support lock/unlock functions in a flexible way. CLIPSwl doesn't use complicated... -
Red Hat Enterprise Linux on Microsoft AzureRed Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
-
10
LPIA
Programming language for artificial intelligence
LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth. -
11
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
-
12
A bunch of soft-computing libraries, including Neural-Networks, Evolutionary Programming, Fuzzy Systems, Artificial-Life, etc. Written in C language.
-
13
The Rossum Project is an attempt to collect and distribute robotics software. We are seeking help with our first project, a mobile-robot simulator featuring a 2-D virtual world, and new work including artificial intelligence and robot-control logic.
-
14
Objective of SnortAI project is create a family of Snort plug-ins based on Artificial Intelligence (AI) technologies (i.e. Artificial Neural Networks or Fuzzy Logic) to detect different kinds of hostile traffic.
-
15
Fi-shell is a front-end to your system shell. It provides nonblocking i/o (concurrency) and pattern maching that is both easy to remember and readable (logic programming)
-
16
A knowledge base engine for Python built on F-Logic. It uses the FLORA-2 reasoning engine and provides permanent storage through ZODB. Logic programming concepts like logical variables, facts, rules and queries are included.
-
17
-
18
-
19
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine
-
20
This project's goal is to "package" AI features altogether. These features can embrace pathfinding, behaviour, fuzzy logic, state machines, and the like.
-
21
-
22
- Previous
- You're on page 1
- Next