- Programming Language: Prolog ×
Artificial Intelligence
Showing page 1 of 4.
-
2APL A Practical Agent Programming Language
0 weekly downloads -
A Framework for Three Laws of Robotics A Framework for Implementing Three Laws of Robotics. It is based on my ongoing PhD research on that topic. See roland.pri.ee/doktor and roland.pri.ee/wiki/doktor for more details. The system implements a parser for a declarative language and a planner
0 weekly downloads -
A Prolog Expert System A Prolog expert system supporting querying and extending the knowledge base from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
0 weekly downloads -
AI Now AI Now is an open source endeavour to create a general purpose Artificial Intelligence. The plan is to implement a modular architecture to incorporate AI theories as they are developed. This will provide a growing platform to test new AI theories.
0 weekly downloads -
AINT Artificial Intelligence program - keyword based chat, personal voice in/out, animated 3D character, natural language recognition and translation, neural network based strong AI, personality, tone recognition
0 weekly downloads -
ALPprolog ALPprolog is a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.
0 weekly downloads -
AminePlatform Amine is a Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems (Knowledge-Based, Ontology-Based, Conceptual Graph Based, NLP, etc.) and Intelligent Agents. See: //amine-platform.sourceforge.net/
0 weekly downloads -
Anthropos Specialised framework for Artificially Intelligent Agents
0 weekly downloads -
Aranduatá - Conhecedor do Fogo -Projeto de um sistema de apoio à conclusão de causas de incêndio, dado um conjunto de evidências levantadas por um perito em incêndios -Project of a system to aid conclusions about fire causes, given a set of evidences obeserved by a fire expert
0 weekly downloads -
Automatic text-to-scene conversion Text-to-scene conversion
0 weekly downloads -
CHORD This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.
0 weekly downloads -
CaSAPI This project provides a tool (developed by the ArguGRID project) that implements different dispute derivations for assumption-based argumentation. It also computes a dialectical structure of arguments. Users have full control over selection functions and
0 weekly downloads -
CommGen: Component Integration Platform The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
0 weekly downloads -
CxProlog plugin for Code::Blocks IDE A plugin for Code::Blocks IDE to support CxProlog.
0 weekly downloads -
DKNEClassification We are going to implement a pipeline for named entity classification based on Lucene and GATE.
0 weekly downloads -
DLog 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.
0 weekly downloads -
Dawkins Dawkins is an A.I. system designed to understand written english text.
0 weekly downloads -
Delfos Network Delfos is a network of Artificial Intelligence agents that collect data from Internet and is able to take decisions and answer questions based on the data that has been stored previously. The structure of the network is Pr2Pr (program to program).
0 weekly downloads -
ECLiPSe CLP The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
0 weekly downloads -
EarthLing This project aims to create a universal, XML-like format for the formal, language-independent, context-free representation of human-written text.
0 weekly downloads -
EulerGUI A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
0 weekly downloads -
F-OWL Implemented in Flora-2/XSB, F-OWL is an inference engine for the standard Web Ontology Language OWL. A set of Java API is provided for applications to assert and query OWL ontology statements.
0 weekly downloads -
FLORA-2 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.
0 weekly downloads -
Fishell - a front end to your system she 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)
0 weekly downloads -
Flipper Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.
0 weekly downloads
