A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.
PhyloPattern is a Java/Prolog API, helpful to simulate human reading of phylogenetic trees. Bioinformatician can: annotate trees, apply complex patterns to a tree to search specific architectures or extract information, compare trees with dynamically gen
MARGO (Multiattribute ARGumentation framework for Opinion explanation), written in Prolog, is the engine developed in the ArguGRID project for decision making.
A modular language generator based on the theory of Functional Grammar (FG) by Simon C. Dik. Implemented using Java for the user interface, ANTLR for the input format parser and Prolog for the grammar and lexicon module, treating underlying linguistic st
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Extrospective agent program is a software agent architecture extending the well known BDI paradigm. This project is in collaboration with A&A framework by Alessandro Ricci, and Jason agent programming project by Jomi F. Hübner and Rafael H. Bordin.
Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.
JLog is a Prolog interpreter written in Java. It is fast and perfectly suited for education. It includes source editor, query panels, online help, animation primitives, and a GUI debugger. JScriptLog is Prolog in JavaScript.
GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software
The PeerTrust system uses policies to describe trust and security requirements. Such policies are a component of Peertrust run-time system that can negotiate to establish trust among systems on the Semantic Web
The Rule Based Service Level Agreement (RBSLA) project focuses on knowledge representation concepts for service level management of IT services. At the core are rule-based languages to describe contracts and service level agreements in a formal way.
This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots
OpenESM project to promote software development of enterprise systems management. Focus areas are (Performance and Availability, Configuration Management, Data Warehousing, Reporting and Correlation).
Mopsos is a word prediction framework, intended to aid research and development regarding inter- and next-word prediction algorithms by providing a standarized environment to facilitate testing and ranking.
The Semantic Web Service Composer is a prototyp for semi-automatic data flow design between Semantic Web services described in different domain ontologies. More info: http://citeseer.ist.psu.edu/viewdoc/versions?doi=10.1.1.60.9276
Generic Roster Generator. GRoG automates the process, often complex and error prone, that every boardgames and wargames player knows very well: the construction of rosters.
bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.
This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.
8. Mai 2005: We have discontinued SourceForge as a download place for our open source projects. You can now download these projects directly from the XLOG Technologies GmbH web site at http://www.xlog.ch/omonia.