marcvanzee/KE-prover

Stars
1
Language
Java
Created about 9 years ago
Updated almost 9 years ago

marcvanzee/KE-prover

marcvanzee

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An Object-Oriented Implementation of a KE Tableau Prover

go-sat

Simple SAT Solver written in Go

eeg-robot

Controlling a robot by thought using an EEG headset

handwriting-recognition

Learning to recognize handwritten digits using a Neural Network

mdp-plan-revision

Learning Intention Reconsideration Strategies using Reinforcement Learning on Markov Decision Processes

TALTranslator

Translator from Temporal Action Logic to Prolog programs

RationalGRL

moonlander

Opmizing moonlanding using genetic programming

banana-inc

Case Study Material for Tutorial at the RE Conference

randomproject

Generating Random Objects for 3D Printing

rot13reader

A reader with rot13 encoding

phonegap

Experiments for using NFC with Phonegap

gocrawler

Simple Webcrawler written in Go

simpleWebServer

starcraft-AI

Starcraft AI for teamwork using 2APL

REJ

sna-ja

Experiments of Social Network Analysis for Judgment Aggregation

systemjlz

System JLZ – rational default reasoning by minimal ranking constructions

RationalArchitecture

All documentation, empirical results, and tools used in my PhD thesis

pursuer-evader

Learning to play Pursuer Evader using a Self-Organizing Map

cellular-automaton

A Cellular Automaton

spotify-playlist-analysis

asr-fairness

reasoning-ea-decisions

The Implementation of a logic-based framework for reasoning about Enterprise Architecture decisions

music-generator

Automatic generation of sequences of sound in a random key

eGovernment-GRL

eGovernment case study description and Tool support for GRL