|
|
|
|
|
Philip Dawid
This article surveys the variety of ways in which a directed acyclic graph (DAG) can be used to represent a problem of probabilistic causality. For each of these ways, we describe the relevant formal or informal semantics governing that representation. I...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yu Dai, Yuqiao Liu, Lei Yang and Yufan Fu
Idioms are a unique class of words in the Chinese language that can be challenging for Chinese machine reading comprehension due to their formal simplicity and the potential mismatch between their literal and figurative meanings. To address this issue, t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Philip Empl and Günther Pernul
Although there are numerous advantages of the IoT in industrial use, there are also some security problems, such as insecure supply chains or vulnerabilities. These lead to a threatening security posture in organizations. Security analytics is a collecti...
ver más
|
|
|
|
|
|
|
|
|
|
|
Younes Hamdani, Guohui Xiao, Linfang Ding and Diego Calvanese
The integration of the raster data cube alongside another form of geospatial data (e.g., vector data) raises considerable challenges when it comes to managing and representing it using knowledge graphs. Such integration can play an invaluable role in han...
ver más
|
|
|
|
|
|
|
|
|
|
|
Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo and Giuseppe De Giacomo
In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to OWL...
ver más
|
|
|
|
|
|
|
|
|
|
|
Farshad Badie and Luis M. Augusto
Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what ?formal? me...
ver más
|
|
|
|
|
|
|
|
|
|
|
Franti?ek Babic, Vladimír Bure?, Pavel Cech, Martina Husáková, Peter Mikulecký, Karel Mls, Tomá? Nacházel, Daniela Ponce, Kamila ?tekerová, Ioanna Triantafyllou, Petr Tucník and Marek Zanker
Immense numbers of textual documents are available in a digital form. Research activities are focused on methods of how to speed up their processing to avoid information overloading or to provide formal structures for the problem solving or decision maki...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bernd Finkbeiner, Martin Fränzle, Florian Kohn and Paul Kröger
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for systemat...
ver más
|
|
|
|
|
|
|
|
|
|
|
Irene Tangkawarow, Riyanarto Sarno and Daniel Siahaan
Semantics of Business Vocabulary and Rules (SBVR) is a standard that is applied in describing business knowledge in the form of controlled natural language. Business process designers develop SBVR from formal documents and later translate it into busines...
ver más
|
|
|
|
|
|
|
|
|
|
|
Gloria Bordogna, Cristiano Fugazza, Paolo Tagliolato Acquaviva d?Aragona and Paola Carrara
Distinct, alternative forms of geosemantics, whose classification is often ill-defined, emerge in the management of geospatial information. This paper proposes a workflow to identify patterns in the different practices and methods dealing with geoinforma...
ver más
|
|
|
|
|
|