-
La criatura es hecha como comienzo o principioAnuario Filosófico 29 (55): 921-928. 1996.Creation mustn't be considerated as a production whose term is creature. Creature as such isn't a term but a beginning. Abandonment of mental limit is a necessary method to reach such a knowledge of creature
-
1Verification for ASP denotational semantics: A case study using the PVS theorem proverLogic Journal of the IGPL 25 (2): 195-213. 2017.In this article, we present an encoding of the denotational semantics for Answer Set Programming and its monotonic basis into the input language of the theorem prover PVS. Using some libraries and features from PVS, we have obtained semi-automated proofs for several fundamental properties of ASP. In this way, to the best of our knowledge, we provide the first known application of formal verification to ASP.