uva-cci / hoppipolla Star 4 Code Issues Pull requests A responsible networking framework for norm-aware user-driven path control built on top of SCION protocol. networking asp policies scion policy-based-routing normative-reasoning network-routing responsible-internet normware Updated Sep 8, 2026 Rust
leoprover / rio Star 4 Code Issues Pull requests A reasoner for Input/Output logic tptp automated-deduction automated-theorem-proving normative-reasoning input-output-logic deontic-logics Updated Feb 24, 2026 Scala
SenatoDellaRepubblica / Linkoln2-service Star 3 Code Issues Pull requests parser microservice normative-reasoning Updated Oct 18, 2021 Java
I-O-Logic / iol-workbench Star 2 Code Issues Pull requests A browser-based automated reasoner for Input/Output Logics logic automated-reasoning norms deontic-logic normative-reasoning Updated Jul 20, 2021 JavaScript
A-Practical-Agent-Programming-Language / Normative-COVID-19-Simulation Star 0 Code Issues Pull requests The behavioral model of a data-driven agent-based COVID-19 simulation agent-based-modeling synthetic-population disease-modeling covid-19 normative-reasoning 2apl sim2apl Updated May 13, 2022 Java
gvdgdo / wp-semantics Star 0 Code Issues Pull requests Implementation of the WP-semantics in Answer Set Programming (ASP, using clingo) permissions argumentation clingo answer-set-programming deontic-logic argumentation-theory normative-modelling normative-reasoning nonmonotonic-reasoning argumentation-framework Updated Aug 27, 2026 Classic ASP