44 results on '"Calegari, Roberta"'
Search Results
2. Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score
3. Bottom-Up and Top-Down Workflows for Hypercube- And Clustering-Based Knowledge Extractors
4. Multi-agent Cooperative Argumentation in Arg2P
5. The PSyKE Technology for Trustworthy Artificial Intelligence
6. Arguing About the Existence of Conflicts1
7. Modular Logic Argumentation in Arg-tuProlog
8. Burden of Persuasion in Meta-argumentation
9. Introduction to Special Issue on Trustworthy Artificial Intelligence
10. On the evaluation of the symbolic knowledge extracted from black boxes
11. Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming
12. Burdens of Persuasion and Standards of Proof in Structured Argumentation
13. Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
14. A Model for the Burden of Persuasion in Argumentation
15. Arg-tuProlog: A Modular Logic Argumentation Tool for PIL
16. Proceedings 39th International Conference on Logic Programming
17. Explainable Clustering with CREAM
18. Assessing and Enforcing Fairness in the AI Lifecycle
19. Efficient compliance checking of RDF data
20. Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies
21. Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
22. Injecting (Micro)Intelligence in the IoT: Logic-Based Approaches for (M)MAS
23. How to model contrary-to-duty with GCP-nets
24. Context Reasoning and Prediction in Smart Environments: The Home Manager Case
25. Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments
26. Special Issue for the 22nd Workshop “From Objects to Agents” (WOA 2021)
27. Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
28. The Butlers Framework for Socio-Technical Smart Spaces
29. Arg2P: an argumentation framework for explainable intelligent systems
30. Argumentation and Defeasible Reasoning in the Law
31. 2P-Kt: A logic-based ecosystem for symbolic AI
32. The burden of persuasion in structured argumentation
33. Logic-based technologies for multi-agent systems: a systematic literature review
34. Burden of Persuasion in Argumentation
35. On the integration of symbolic and sub-symbolic techniques for XAI: A survey
36. Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives
37. Logic programming as a service in multi-agent systems for the Internet of Things
38. LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning
39. Logic programming as a service
40. Extending Logic Programming with Labelled Variables: Model and Semantics
41. Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS
42. Logic Programming as a Service (LPaaS): Intelligence for the IoT
43. Butler-ising HomeManager - A Pervasive Multi-Agent System for Home Intelligence
44. CTG
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.