calamity 发表于 2025-3-30 11:19:08

http://reply.papertrans.cn/84/8321/832067/832067_51.png

Blatant 发表于 2025-3-30 15:19:32

https://doi.org/10.1007/978-3-030-91167-6artificial intelligence; computer programming; computer science; computer systems; databases; education; e

Obituary 发表于 2025-3-30 17:22:37

978-3-030-91166-9Springer Nature Switzerland AG 2021

GRILL 发表于 2025-3-30 21:10:19

http://reply.papertrans.cn/84/8321/832067/832067_54.png

parallelism 发表于 2025-3-31 01:14:42

Structuring Rule Sets Using Binary Decision Diagrams BDD, which includes new intermediate concepts and is therefore better structured than the original DNF rule set. First experiments on small artificial datasets indicate that intermediate concepts can be reliably detected, and the size of the resulting representations can be compressed, but a first

innovation 发表于 2025-3-31 05:03:50

Link Traversal with Distributed Subweb Specificationshe data consumer towards relevant and trustworthy data. We introduce a theoretical framework that enables such guided link traversal and study its properties. We illustrate with a theoretic example that this can improve query results and reduce the number of network requests.

gangrene 发表于 2025-3-31 10:50:30

Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images propose the use of ASP to drive DL approaches in performing semantic segmentation of medical images. Specifically, we encoded prior medical knowledge via ASP, thus defining a rule-based model for deducting all admitted combinations of classes and right locations in medical images. The results of an

SEED 发表于 2025-3-31 16:53:14

An Answer Set Programming Based Framework for High-Utility Pattern Mining Extended with Facets and A on paper reviews is exploited to analyze the potentiality of the proposed framework in knowledge creation and discovery. Given the wide variety of analytical scenarios that can be envisioned in this new setting, we take full advantage of the capabilities of Answer Set Programming and its extensions

Missile 发表于 2025-3-31 18:17:49

An Evaluation of Meta-reasoning over OWL 2 QLvious work, Cima et al. have proposed a reduction from OWL 2 QL (a light-weight profile of OWL 2) and associated meta-queries in SPARQL to query answering over Datalog rules. In this paper, we experiment with various logic programming tools that support Datalog querying to determine their suitabilit

摸索 发表于 2025-3-31 23:00:14

http://reply.papertrans.cn/84/8321/832067/832067_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Rules and Reasoning; 5th International Jo Sotiris Moschoyiannis,Rafael Peñaloza,Dumitru Roma Conference proceedings 2021 Springer Nature Sw