Results 31 to 40 of about 1,765 (205)
EURO Journal on Computational Optimization, 2018 An elementary, but fundamental, operation in disjunctive programming is a basic step, which is the intersection of two disjunctions to form a new disjunction.
DimitriJ. Papageorgiou +1 more
doaj +1 more source
Unsupervised DNF Blocking for Efficient Linking of Knowledge Graphs and Tables
Information, 2021 Entity Resolution (ER) is the problem of identifying co-referent entity pairs across datasets, including knowledge graphs (KGs). ER is an important prerequisite in many applied KG search and analytics pipelines, with a typical workflow comprising two ...
Mayank Kejriwal
doaj +1 more source
Android application for conjunctive and disjunctive normal form calculation [PDF]
, 2018 U ovom radu napravljena je aplikacija za rješavanje konjunktivne i disjunktivne normalne forme. Aplikacija na temelju uneseng matematičkog izraza generira tablicu istinitosti te računa konjunktivnu i disjunkitivnu normalnu formu.
Matej Tomić
openalex +1 more source
Information modeling of the normal forms of logical functions in Maple system [PDF]
ITM Web of ConferencesThe article discusses possible ways to use the Maple computer algebra system to obtain perfect conjunctive and disjunctive normal forms. Computer algebra systems make it possible to expand the possibilities for creating, applying and using mathematical ...
Olenev Aleksandr +3 more
doaj +1 more source
Converting ALC Connection Proofs into ALC Sequents [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the
Eunice Palmeira +2 more
doaj +1 more source
An Empirical Investigation Into Deep and Shallow Rule Learning
Frontiers in Artificial Intelligence, 2021 Inductive rule learning is arguably among the most traditional paradigms in machine learning. Although we have seen considerable progress over the years in learning rule-based theories, all state-of-the-art learners still learn descriptions that directly
Florian Beck, Johannes Fürnkranz
doaj +1 more source
Context-Aware Explainable Recommendation Based on Domain Knowledge Graph
Big Data and Cognitive Computing, 2022 With the rapid growth of internet data, knowledge graphs (KGs) are considered as efficient form of knowledge representation that captures the semantics of web objects.
Muzamil Hussain Syed +2 more
doaj +1 more source
Cell Reports, 2020 Summary: Multi-input logic gene circuits can enable sophisticated control of cell function, yet large-scale synthetic circuitry in mammalian cells has relied on post-transcriptional regulation or recombinase-triggered state transitions.
Jiten Doshi +4 more
doaj +1 more source
Disjunctive normal shape models [PDF]
, 2015 A novel implicit parametric shape model is proposed for segmentation and analysis of medical images. Functions representing the shape of an object can be approximated as a union of N polytopes.
Tolga Tasdizen +7 more
core +1 more source