Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes
Bridging the Gap between Reinforcement Learning and Knowledge Representation: A Logical Off- and On-Policy Framework
Building a Chaotic Proved Neural Network
Building a logical model in the machining domain for CAPP expert systems
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming
Building upon Fast Multipole Methods to Detect and Model Organizations
Business Intelligence from Web Usage Mining