Titlebook: Rules and Reasoning; 5th International Jo Sotiris Moschoyiannis,Rafael Peñaloza,Dumitru Roma Conference proceedings 2021 Springer Nature Sw

calamity

Blatant

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

Obituary

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

GRILL

parallelism

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

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

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

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

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

摸索