Tag

2p-Kt₄  2PaaS₃  ABA+₁  abduction₁  abductive logic programming₁  actors₁  agents₃  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₄  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₂  explainability₄  eXplainable AI₁₇  explainable clustering₄  explainable intelligent systems₁  FAIRBRIDGE₁  fairness₂  FaUCI₁  formal models₁  functional programming₁  GridEx₃  GridREx₁  Home Manager₅  hypercube-based methods₁  inductive logic programming₂  intelligent agents₃  intelligent systems₁₀  intelligent systems engineering₁  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 agents₁  logic constraints₁  logic induction₁  logic programming₁₉  logic-based argumentation₁  logic-based techniques₁  logic-based technologies₃  logic-based technology₁  LPaaS₉  machine learning₄  massively multi-agent systems₁  meta-argumentation₄  micro-intelligence₆  multi-agent systems₁₂  multi-paradigm languages₁  neural networks₁  neuro-symbolic reasoning₁  neurosymbolic₁  object-oriented programming₁  OrCHiD₁  PEDRO₁  pervasive computing₄  plp₁  probabilistic logic programming₃  Prolog₃  PSyKE₉  PSyKI₁  rational agents₁  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₁  standard of proofs₁  stream processing₁  symbolic AI₁  symbolic knowledge extraction₈  symbolic knowledge injection₂  symbolic vs. subsymbolic₇  symbolic reasoning₁  systematic literature review₂  trustable systems₁  trustworthy AI₃  TuCSoN₂  tuProlog₁₅  XMAS₁