Zobrazeno 1 - 10
of 1 206
pro vyhledávání: '"A. Mazzullo"'
Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-
Externí odkaz:
http://arxiv.org/abs/2405.07656
Autor:
S. C. Stähler, K. Sigloch, K. Hosseini, W. C. Crawford, G. Barruol, M. C. Schmidt-Aursch, M. Tsekhmistrenko, J.-R. Scholz, A. Mazzullo, M. Deen
Publikováno v:
Advances in Geosciences, Vol 41, Pp 43-63 (2016)
RHUM-RUM is a German-French seismological experiment based on the sea floor surrounding the island of La Réunion, western Indian Ocean (Barruol and Sigloch, 2013). Its primary objective is to clarify the presence or absence of a mantle plume beneath
Externí odkaz:
https://doaj.org/article/2429696cf45c447187cc74b818231b90
Autor:
Artale, Alessandro, Mazzullo, Andrea
Definite descriptions, such as 'the smallest planet in the Solar System', have been recently recognised as semantically transparent devices for object identification in knowledge representation formalisms. Along with individual names, they have been
Externí odkaz:
http://arxiv.org/abs/2308.08640
Modal logics are widely used in multi-agent systems to reason about actions, abilities, norms, or epistemic states. Combined with description logic languages, they are also a powerful tool to formalise modal aspects of ontology-based reasoning over a
Externí odkaz:
http://arxiv.org/abs/2307.12265
Linear Temporal Logic (LTL) is the de-facto standard temporal logic for system specification, whose foundational properties have been studied for over five decades. Safety and cosafety properties define notable fragments of LTL, where a prefix of a t
Externí odkaz:
http://arxiv.org/abs/2211.14913
Autor:
Carraturo, Massimo, Mazzullo, Andrea
A key challenge for Industry 4.0 applications is to develop control systems for automated manufacturing services that are capable of addressing both data integration and semantic interoperability issues, as well as monitoring and decision making task
Externí odkaz:
http://arxiv.org/abs/2210.04772
Autor:
Artale, Alessandro a, Geatti, Luca b, ⁎, Gigante, Nicola a, Mazzullo, Andrea c, Montanari, Angelo b
Publikováno v:
In Information and Computation January 2025 302
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, and coalitional reasoning. We present here preliminary results on reaso
Externí odkaz:
http://arxiv.org/abs/2207.00119
Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) verification and synthesis of pr
Externí odkaz:
http://arxiv.org/abs/2202.00610
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety properties of so-called artifact-centric systems. This approach requires
Externí odkaz:
http://arxiv.org/abs/2108.12330