- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
FOML is an expressive logic rule language that supports object modeling, analysis, and iinference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.5 weekly downloads
Resources and code samples for Strawberry Prolog users2 weekly downloads
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 recognition1 weekly downloads
HyperSpider (Java app) collects the link structure of a website. Data import/export from/to database and CSV-files. Export to Graphviz DOT, Resource Description Framework (RDF/DC), XML Topic Maps (XTM), Prolog, HTML. Visualization as hierarchy and map.1 weekly downloads
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads
Computer Diagnoses Expert System to help users repairing them computers themselves. this make the user interact with the system and be happy to mind them computers themselves.
We are going to implement a pipeline for named entity classification based on Lucene and GATE.
Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.
Code for Khepera II robot in prolog
Binding DBMS with X11-Server to visualize 3D-figure (DBMS uses OpenGL, sends X11-data and accepts X11-events), with xml-UA ('select tab1.tab2.tab3'). 'Select, insert, update, delete' in several databases by one request, replication by SQL.