Abstract: The aim of the paper is to show relationships between different formalisms for handling uncertainty in logic programming, knowledge based systems and deductive databases. Namely, we show ...

In a previous article, we explored the Strong Artificial Intelligence Hypothesis, first presenting a low-level description based on the notion of a neural network (bottom-up framework). In this work, ...

Abstract: Hybrid deep neural-symbolic architecture for event-detection employs a deep neural network at the back-end to perform low-level reasoning and a symbolic logical module to perform high-level ...

Deakin University provides funding as a member of The Conversation AU. Amid all the dire warnings that machines run by artificial intelligence (AI) will one day take over from humans we need to think ...

Identifying cancer cells in a medical image and altering the trajectory of airplanes at take-off and landing to reduce noise pollution are just two of the goals of new research projects based on the ...

ABSTRACT: During the last years, we have developed the FLOPER platform for providing a practical support to the so-called Multi-Adjoint Logic Programming approach (MALP in brief), which represents an ...