繁忙 发表于 2025-3-30 08:32:53
http://reply.papertrans.cn/87/8611/861049/861049_51.pngGIDDY 发表于 2025-3-30 14:21:29
http://reply.papertrans.cn/87/8611/861049/861049_52.png一美元 发表于 2025-3-30 20:29:30
http://reply.papertrans.cn/87/8611/861049/861049_53.png神圣在玷污 发表于 2025-3-31 00:07:00
Metric Logic Program Explanations for Complex Separator Functionstities in class . from those in class .. However, such classifiers are usually very hard to explain in plain English to domain experts. We propose Metric Logic Programs (MLPs) which are a fragment of constraint logic programs as a new paradigm for explaining .. We present multiple measures of qualitOmniscient 发表于 2025-3-31 03:52:06
A Two-Stage Online Approach for Collaborative Multi-agent Planning Under Uncertaintyf actions may be uncertain, a common goal can generally only be achieved through a careful cooperation between the different agents. In this work, we propose a novel two-stage planner that combines online planning at both team level and individual level through a subgoal delegation scheme. The propodemote 发表于 2025-3-31 08:45:06
-ASP for Computing Repairs with Existential Ontologiesrant semantics have been mainly proposed for lightweight description logics. In this paper we present a generic transformation from knowledge bases expressed within existential rules formalism into an ASP program. We propose different strategies for this transformation, and highlight the ones for whinstulate 发表于 2025-3-31 12:16:38
Probabilistic Reasoning in the Description Logic , with the Principle of Maximum Entropylogic . that is designed for representing context-dependent knowledge, where the actual context taking place is uncertain. . allows the expression of logical dependencies on the domain and probabilistic dependencies on the possible contexts. In order to draw probabilistic conclusions, we employ the专心 发表于 2025-3-31 15:01:13
Conference proceedings 2016e, in September 2016...The 18 regular papers and 5 short papers were carefully reviewed and selected from 35 submissions. Papers are solicited in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include (but are not re