AI4EU

2p-Kt₃  abduction₁  abductive logic programming₁  AI4EU₁₈  Arg2P₄  argumentation₆  blockchain₁  burden of proof₂  CompuLaw₁₃  computable law₁  data streams₁  defeasible reasoning₂  domain specific languages₁  ethical AI₁  explainability₂  eXplainable AI₅  explanation-ready agents₂  functional programming₁  H2020₁  inductive logic programming₂  intelligent agents₂  intelligent systems₆  interpretability₁  Kotlin₁  logic programming₃  logic-based argumentation₂  logic-based technologies₃  multi-agent systems₆  multi-paradigm languages₁  object-oriented programming₁  probabilistic logic programming₂  Prolog₃  semantic reasoning₁  service self-composition₁  smart contracts₁  stream processing₁  symbolic vs. subsymbolic₅  systematic literature review₃  Tenderfone₁  trustable systems₁  tuple-based coordination₁  tuProlog₂