Department of Mathematics and Computer Science (@DeMaCS-UNICAL)

Top repositories

1

EmbASP

A general framework for embedding Logic Programming in complex systems
27
star
2

LoIDE

Web-based IDE for Logic Programming
JavaScript
24
star
3

I-DLV

The new intelligent grounder of the logic-based Artificial Intelligence system DLV
HTML
21
star
4

ThinkEngine

A Unity asset for a tight integration of AI in games: asset, showcase, web page.
C#
19
star
5

Angry-HEX

An artificial player for the popular video game Angry Birds
Java
18
star
6

BrainyBot

Repository for Automated Tapping Robot applications
Python
7
star
7

DaRLing

Java
7
star
8

EmbASP-Python

A general framework for embedding Logic Programming in complex systems
Python
4
star
9

NetworkSecurity

Materiale esercitazioni Network and Security
Python
4
star
10

EmbASP-CSharp

A general framework for embedding Logic Programming in complex systems
C#
3
star
11

Incremental-answer-set-programming-with-overgrounding

Knowledge Representation; Answer Set Programming; Grounding Logic Programs
ASP
3
star
12

EmbASP-Java

A general framework for embedding Logic Programming in complex systems
Java
3
star
13

EmbASP-antlr-grammars

A general framework for embedding Logic Programming in complex systems
ANTLR
1
star
14

Pac-Man-Unity-EmbASP

A version of the Pac-Man game made using Unity as Game Engine and EmbASP as AI framework
ASP
1
star
15

Incremental-maintenance-of-overgrounded-logic-programs-with-tailored-simplifications

Knowledge Representation; Answer Set Programming; Grounding Logic Programs
Roff
1
star
16

I-DLV-sr

Python
1
star
17

PythonESE

Python web app to execute logic programs with different solvers, using the EmbASP framework
Python
1
star
18

LoIDE-API-Server

JavaScript
1
star
19

LoIDE-Classic

JavaScript
1
star
20

LoIDE-PWA

TypeScript
1
star