Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Rodríguez, Juan José Conejero"'
Autor:
Jespersen, Bjørn, Borges, Ana de Almeida, Tierz, Jorge del Castillo, Rodríguez, Juan José Conejero, Adamson, Eric Sancho, Sánchez, Aleix Solé, Pona, Nika, Joosten, Joost J.
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. We use a regulation on road transport to illustrate this issue, and sho
Externí odkaz:
http://arxiv.org/abs/1810.03002
Autor:
de Almeida Borges, Ana, Rodríguez, Juan José Conejero, Fernández-Duque, David, Bedmar, Mireia González, Joosten, Joost J.
Publikováno v:
TIME 2019, 26th International Symposium on Temporal Representation and Reasoning, Proceedings
We argue that European transport regulations can be formalized within the Sigma^1_1 fragment of monadic second order logic, and possibly weaker fragments including linear temporal logic. We consider several articles in the regulation to verify these
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75f813b744dcd75f46680841c226f5c8