• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Java
  • Created about 9 years ago
  • Updated about 9 years ago

Reviews

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

Repository Details

Translator from Temporal Action Logic to Prolog programs

More Repositories

1

go-sat

Simple SAT Solver written in Go
Go
21
star
2

eeg-robot

Controlling a robot by thought using an EEG headset
JavaScript
6
star
3

handwriting-recognition

Learning to recognize handwritten digits using a Neural Network
Java
6
star
4

mdp-plan-revision

Learning Intention Reconsideration Strategies using Reinforcement Learning on Markov Decision Processes
Java
4
star
5

RationalGRL

JavaScript
2
star
6

moonlander

Opmizing moonlanding using genetic programming
Java
2
star
7

banana-inc

Case Study Material for Tutorial at the RE Conference
1
star
8

randomproject

Generating Random Objects for 3D Printing
Java
1
star
9

rot13reader

A reader with rot13 encoding
Go
1
star
10

phonegap

Experiments for using NFC with Phonegap
Java
1
star
11

KE-prover

An Object-Oriented Implementation of a KE Tableau Prover
Java
1
star
12

gocrawler

Simple Webcrawler written in Go
Go
1
star
13

simpleWebServer

Go
1
star
14

starcraft-AI

Starcraft AI for teamwork using 2APL
PostScript
1
star
15

REJ

TeX
1
star
16

sna-ja

Experiments of Social Network Analysis for Judgment Aggregation
Java
1
star
17

systemjlz

System JLZ – rational default reasoning by minimal ranking constructions
Java
1
star
18

RationalArchitecture

All documentation, empirical results, and tools used in my PhD thesis
JavaScript
1
star
19

pursuer-evader

Learning to play Pursuer Evader using a Self-Organizing Map
Java
1
star
20

cellular-automaton

A Cellular Automaton
NetLogo
1
star
21

spotify-playlist-analysis

JavaScript
1
star
22

asr-fairness

Python
1
star
23

reasoning-ea-decisions

The Implementation of a logic-based framework for reasoning about Enterprise Architecture decisions
Java
1
star
24

music-generator

Automatic generation of sequences of sound in a random key
NetLogo
1
star
25

eGovernment-GRL

eGovernment case study description and Tool support for GRL
1
star