Intention Reasoning for User Action Sequences via Fusion of Object Task and Object Action Affordances Based on Dempster-Shafer Theory. [PDF]
Liu Y, Wang C, Liu Y, Tong W, Zhong M.
europepmc +1 more source
Development of a rehabilitation programme for young adult cancer survivors using co-production. [PDF]
Aagesen M+4 more
europepmc +1 more source
An Artificial Intelligence-Based Fuzzy Logic System for Periodontitis Risk Assessment in Patients with Type 2 Diabetes Mellitus. [PDF]
Scrobota I+6 more
europepmc +1 more source
Efficient evidence selection for systematic reviews in traditional Chinese medicine. [PDF]
Li Y+8 more
europepmc +1 more source
Virtual diversity revisited. [PDF]
Collins H, Evans R, Reyes-Galindo L.
europepmc +1 more source
Network topology and interaction logic determine states it supports. [PDF]
Gedeon T.
europepmc +1 more source
Distance-based Measures of Inconsistency and Incoherency for Description Logics
Yue Ma, Pascal Hitzler
openalex +1 more source
Related searches:
Description Logic, Theory Combination, and All That
Lecture Notes in Computer Science, 2019One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and inferring subsumption.
M. Finger
semanticscholar +1 more source
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
RW, 2016The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks.
E. Botoeva+5 more
semanticscholar +1 more source
The present paper is a summary of a habilitation (Habilitation a Diriger des Recherches, in French), which has been perused and evaluated by a committee composed by the following members: Franz Baader, Stephane Demri, Hans van Ditmarsch, Sebastien Konieczny, Pierre Marquis, Marie-Laure Mugnier, Odile Papini and Leon van der Torre. It was defended on 26
Ivan Varzinczak, Ivan Varzinczak
openaire +3 more sources