In a recent project, Fraunhofer Institute uses CHR for semantic analysis in voice-controlled systems. As part of the project Speech Assistance for Citizen Services (S4CS), the conversation logic is modelled in CHR. This approach is fast, flexible, and can be adapted for different dialogue scenarios. The system uses GoCHR, a new CHR interpreter written in the Go programming language.
The computer software VanDeGraphGenerator analyses, generates and visualizes line graphics. We used the VanDeGraphGenerator algorithm to classify and generate designs for mason’s marks. Now an extension of VanDeGraphGenerator VdGG+ turns this medieval craftsmanship into contemporary abstract digital art. More information on https://www.ai-art.info/.
- Type inference for datalog with complex type hierarchies
US Patent 2017
What is disclosed are a novel system and method for inferring types of database queries.
- Editing and compiling business rules
US Patent 2017
A component in a graph-based computation having data processing components connected by linking elements representing data flows is updated by receiving a rule specification…
- Soft constraints in scheduling
US Patent 2012
A method for implementing soft constraints in scheduling comprises receiving a description of circuit behavior.
- User programmable deductive spreadsheet apparatus…
US Patent 2010
A user programmable deductive spreadsheet is implemented as an add-in to an existing mathematical spreadsheet program…
- Integrating optimization directly into databases
US Patent 2009
Systems, methods and articles solve computationally complex problems. Example embodiments provide data query language features that may be used to express optimization problems.
- Position display system of mobile terminal
US Patent 2002
A position detection system of a mobile terminal includes a small zone communication system such as the PHS system, and a center station connected to an exchange station forming the PHS system.
“Analyse&Predict”, a first version of Data Analysis Tool to explore csv spreadsheets written in SWI Prolog and CHR is available online now at: