Zobrazeno 1 - 10
of 193
pro vyhledávání: '"Graziani, Pierluigi"'
Autor:
Aldini, Alessandro, Fazio, Davide, Graziani, Pierluigi, Mascella, Raffaele, Tagliaferri, Mirko
Logical investigations of the notion of secrecy are typically concentrated on tools for deducing whether private information is well hidden from unauthorized, direct, or indirect access attempts. This paper proposes a multi-agent, normal multi-modal
Externí odkaz:
http://arxiv.org/abs/2405.11654
Publikováno v:
EPTCS 398, 2024, pp. 85-100
The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal (pun intended). The automatic discovery of new theorems is a goal in i
Externí odkaz:
http://arxiv.org/abs/2401.11905
Publikováno v:
In International Journal of Approximate Reasoning June 2024 169
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Synthese, 2020 Nov 01. 197(11), 4639-4644.
Externí odkaz:
https://www.jstor.org/stable/45379063
Publikováno v:
In Journal of Affective Disorders Reports January 2021 3
Autor:
Giuntini, Roberto1 (AUTHOR), Graziani, Pierluigi2 (AUTHOR) pierluigi.graziani@uniurb.it, Sergioli, Giuseppe1 (AUTHOR), Sozzo, Sandro3 (AUTHOR)
Publikováno v:
Foundations of Science. Mar2023, Vol. 28 Issue 1, p109-114. 6p.
Publikováno v:
In Journal of Symbolic Computation March-April 2020 97:31-55
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.