logic programming argumentation tuprolog labelled systems burden of persuasion legal reasoning burden of proof symbolic approach explainable ai jurix cloud computing lpaas cps distributed intelligence edge intelligence lvlp contraint logic programming prolog label pervasive systems intelligent systems
See more