Tags

2p-Kt₄  2PaaS₃  ABA+₁  abduction₁  abductive logic programming₁  actors₁  AEQUITAS₅  agents₃  AI4EU₉  ambient intelligence₂  answer set programming₁  Arg2P₁₂  argumentation₁₁  artificial intelligence₁  ASPIC+₁  AutoML₃  black-box models₅  black-box regressors₅  blockchain₁  burden of persuasion₆  burden of proof₂  Butlers₄  CompuLaw₂₈  computable law₁  computational logic ecosystem₁  computational logics₄  constraint injection₁  constraint logic programming₁  cooperative argumentation₁  CREAM₁  CReEPy₁  cyber-physical and cloud systems₁  declarative technologies₄  defeasible logic₁  defeasible preference₁  defeasible reasoning₄  DeLP₁  design guidelines₁  distributed argumentation₁  distributed logic programming₄  distributed systems₂  distributed systems engineering₁  domain specific languages₁  edge computing₁  edge intelligence₁  embodied computing₁  ethical AI₁  ExACT₂  EXPECTATION₅  explainability₄  eXplainable AI₁₇  explainable clustering₄  fairness₁  FaUCI₁  formal models₁  functional programming₁  GridEx₃  GridREx₁  Home Manager₅  hypercube-based methods₁  inductive logic programming₂  intelligent agents₃  intelligent systems₁₀  Internet of Intelligent Things₂  Internet of Things₈  interoperability₁  interpretability₁  interpretable prediction₂  ITER₁  KINS₁  knowledge evaluation₁  knowledge extraction₆  Kotlin₂  labelled systems₁  labelled variables₃  labelled variables in logic programming₁  legal reasoning₂  logic constraints₁  logic induction₁  logic programming₁₉  logic-based argumentation₁  logic-based techniques₁  logic-based technologies₃  LPaaS₉  machine learning₄  massively multi-agent systems₁  meta-argumentation₄  micro-intelligence₆  multi-agent systems₁₁  multi-paradigm languages₁  neural networks₁  neuro-symbolic reasoning₁  object-oriented programming₁  OrCHiD₁  PEDRO₁  pervasive computing₄  plp₁  probabilistic logic programming₃  Prolog₃  PSyKE₉  PSyKI₁  RBAC₁  service-oriented architecture₂  situated computing₁  situated intelligence₁  situated logic programming₃  SKE metrics₁  smart contracts₁  smart home₁  smart spaces₁  space-time programming₁  spatio-temporal computing₁  StairwAI₉  standard of proofs₁  stream processing₁  symbolic AI₁  symbolic knowledge extraction₇  symbolic knowledge injection₁  symbolic vs. subsymbolic₆  symbolic reasoning₁  systematic literature review₂  TAILOR₇  trustable systems₁  trustworthy AI₂  TuCSoN₂  tuProlog₁₅  XMAS₁