Tags
Tags
Publications / Roberta Calegari
2p-Kt4 2PaaS3 ABA+1 abduction1 abductive logic programming1 actors1 agents3 AI4EU9 ambient intelligence2 answer set programming1 Arg2P10 argumentation11 artificial intelligence1 ASPIC+1 AutoML1 black-box regressors4 blockchain1 burden of persuasion4 burden of proof2 Butlers4 CompuLaw26 computable law1 computational logic ecosystem1 computational logics2 constraint logic programming1 cooperative argumentation1 cyber-physical and cloud systems1 declarative technologies4 defeasible logic1 defeasible preference1 defeasible reasoning4 DeLP1 design guidelines1 distributed argumentation1 distributed logic programming4 distributed systems2 distributed systems engineering1 domain specific languages1 edge computing1 edge intelligence1 embodied computing1 ethical AI1 EXPECTATION5 explainability2 eXplainable AI11 formal models1 functional programming1 GridEx3 GridREx1 Home Manager5 hypercube-based methods1 inductive logic programming2 intelligent agents3 intelligent systems10 Internet of Intelligent Things2 Internet of Things8 interoperability1 interpretability1 interpretable prediction2 ITER1 KINS1 knowledge extraction4 Kotlin2 labelled systems1 labelled variables3 labelled variables in logic programming1 legal reasoning2 logic constraints1 logic induction1 logic programming19 logic-based argumentation1 logic-based techniques1 logic-based technologies3 LPaaS9 machine learning4 massively multi-agent systems1 meta-argumentation2 micro-intelligence6 multi-agent systems11 multi-paradigm languages1 neural networks1 neuro-symbolic reasoning1 object-oriented programming1 PEDRO1 pervasive computing4 plp1 probabilistic logic programming3 Prolog3 PSyKE3 PSyKI1 RBAC1 service-oriented architecture2 situated computing1 situated intelligence1 situated logic programming3 smart contracts1 smart home1 smart spaces1 space-time programming1 spatio-temporal computing1 StairwAI8 standard of proofs1 stream processing1 symbolic AI1 symbolic knowledge extraction3 symbolic knowledge injection1 symbolic vs. subsymbolic6 symbolic reasoning1 systematic literature review2 TAILOR3 trustable systems1 TuCSoN2 tuProlog15 XMAS1
[ 335 / 114 tags ]