tuProlog

Pinned Repositories

2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Language:Kotlin106 1 19914
2p-kt-js-parser-utils
ANTLR-based library for parsing Prolog code
Language:JavaScript1 1 10
2p-kt-playground
Web-based Playground for 2P-Kt
Language:JavaScript2 1 10
2ppy
Language:Python1 1 183
arg2p
Language:Java3 0 00
arg2p-kt
A lightweight implementation of the ASPIC+ framework for structured argumentation.
Language:Kotlin7 2 20
arg2p-kt-web
Language:JavaScript1 1 00
cilc-2022-2pkt-demo
Language:Kotlin1 1 10
ortools-tsp-example
2P-Kt example binding Goodle OR-Tools via primitives to support resolution of the TSP
Language:Kotlin1 2 00
prolog-dsl-example
Language:Kotlin2 2 00

tuProlog's Repositories

tuProlog/2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
Language:Kotlin106 1 19914
tuProlog/arg2p-kt
A lightweight implementation of the ASPIC+ framework for structured argumentation.
Language:Kotlin7 2 20
tuProlog/arg2p
Language:Java3 0 00
tuProlog/2p-kt-playground
Web-based Playground for 2P-Kt
Language:JavaScript2 1 10
tuProlog/prolog-dsl-example
Language:Kotlin2 2 00
tuProlog/2p-kt-js-parser-utils
ANTLR-based library for parsing Prolog code
Language:JavaScript1 1 10
tuProlog/2ppy
Language:Python1 1 183
tuProlog/arg2p-kt-web
Language:JavaScript1 1 00
tuProlog/cilc-2022-2pkt-demo
Language:Kotlin1 1 10
tuProlog/ortools-tsp-example
2P-Kt example binding Goodle OR-Tools via primitives to support resolution of the TSP
Language:Kotlin1 2 00
tuProlog/2p-java
Language:Java0 1 01
tuProlog/2p-kt-presentation
Language:TeX0 2 200
tuProlog/2pkt-java-example
Language:Java0 1 00
tuProlog/2pkt-problog-compatibility-demo
Language:Kotlin0 1 00
tuProlog/2pkt-state-machine
Language:TeX0 2 00
tuProlog/JLC-SpecialIssue2021-arg2p-examples
0 1 00
tuProlog/2p-jupyter
Language:Jupyter Notebook1 1
tuProlog/cilc-2022-2pkt
Language:TeX1 0