2p-Kt₄  2PaaS₃  ABA+₁  abduction₁  abductive logic programming₁  actors₁  agents₃  AI4EU₉  ambient intelligence₂  answer set programming₁  Arg2P₁₀  argumentation₁₁  artificial intelligence₁  ASPIC+₁  AutoML₁  black-box regressors₄  blockchain₁  burden of persuasion₄  burden of proof₂  Butlers₄  CompuLaw₂₆  computable law₁  computational logic ecosystem₁  computational logics₂  constraint logic programming₁  cooperative argumentation₁  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₁  EXPECTATION₅  explainability₂  eXplainable AI₁₁  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 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₁  PEDRO₁  pervasive computing₄  plp₁  probabilistic logic programming₃  Prolog₃  PSyKE₃  PSyKI₁  RBAC₁  service-oriented architecture₂  situated computing₁  situated intelligence₁  situated logic programming₃  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₁  TuCSoN₂  tuProlog₁₅  XMAS₁ 

[  335  /  114  tags  ]