Tags

publications / Roberta Calegari
2p-Kt42PaaS3ABA+1abduction1abductive logic programming1actors1AEQUITAS5agents3AI4EU9ambient intelligence2answer set programming1Arg2P12argumentation11artificial intelligence1ASPIC+1AutoML3black-box models5black-box regressors5blockchain1burden of persuasion6burden of proof2Butlers4CompuLaw28computable law1computational logic ecosystem1computational logics4constraint logic programming1cooperative argumentation1CREAM1CReEPy1cyber-physical and cloud systems1declarative technologies4defeasible logic1defeasible preference1defeasible reasoning4DeLP1design guidelines1distributed argumentation1distributed logic programming4distributed systems2distributed systems engineering1domain specific languages1edge computing1edge intelligence1embodied computing1ethical AI1ExACT2EXPECTATION5explainability4eXplainable AI17explainable clustering4formal models1functional programming1GridEx3GridREx1Home Manager5hypercube-based methods1inductive logic programming2intelligent agents3intelligent systems10Internet of Intelligent Things2Internet of Things8interoperability1interpretability1interpretable prediction2ITER1KINS1knowledge evaluation1knowledge extraction6Kotlin2labelled systems1labelled variables3labelled variables in logic programming1legal reasoning2logic constraints1logic induction1logic programming19logic-based argumentation1logic-based techniques1logic-based technologies3LPaaS9machine learning4massively multi-agent systems1meta-argumentation4micro-intelligence6multi-agent systems11multi-paradigm languages1neural networks1neuro-symbolic reasoning1object-oriented programming1OrCHiD1PEDRO1pervasive computing4plp1probabilistic logic programming3Prolog3PSyKE9PSyKI1RBAC1service-oriented architecture2situated computing1situated intelligence1situated logic programming3SKE metrics1smart contracts1smart home1smart spaces1space-time programming1spatio-temporal computing1StairwAI9standard of proofs1stream processing1symbolic AI1symbolic knowledge extraction7symbolic knowledge injection1symbolic vs. subsymbolic6symbolic reasoning1systematic literature review2TAILOR7trustable systems1trustworthy AI2TuCSoN2tuProlog15XMAS1