Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Senni, Valerio"'
Publikováno v:
EPTCS 169, 2014
This volume contains the proceedings of HCVS 2014, the First Workshop on Horn Clauses for Verification and Synthesis which was held on July 17, 2014 in Vienna, Austria as a satellite event of the Federated Logic Conference (FLoC) and part of the Vien
Externí odkaz:
http://arxiv.org/abs/1412.0825
Autor:
Senni, Valerio, Stawowy, Michele
Publikováno v:
EPTCS 159, 2014, pp. 84-99
In this paper we address the problem of planning in rich domains, where knowledge representation is a key aspect for managing the complexity and size of the planning domain. We follow the approach of Description Logic (DL) based Dynamic Knowledge Bas
Externí odkaz:
http://arxiv.org/abs/1407.7934
Publikováno v:
EPTCS 154, 2014, pp. 1-16
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication ca
Externí odkaz:
http://arxiv.org/abs/1406.2065
We present a method for the automated verification of temporal properties of infinite state systems. Our verification method is based on the specialization of constraint logic programs (CLP) and works in two phases: (1) in the first phase, a CLP spec
Externí odkaz:
http://arxiv.org/abs/1110.0999
Publikováno v:
Theory and Practice of Logic Programming, Volume 10, Special Issue 4-6, 383-399, 2010
We consider an extension of logic programs, called \omega-programs, that can be used to define predicates over infinite lists. \omega-programs allow us to specify properties of the infinite behavior of reactive systems and, in general, properties of
Externí odkaz:
http://arxiv.org/abs/1007.4157
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.
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.
Autor:
Triakosia, Aikaterini, Rizomiliotis, Panagiotis, Tonelli, Cecilia, Federici, Fabio, Senni, Valerio
Publikováno v:
International Journal of Information Security; Feb2024, Vol. 23 Issue 1, p609-627, 19p
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.