Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

Restricted ideals and the groupability property. Tools for temporal reasoning

J. MartínezP. CorderoG. GutiérrezI. P. de Guzmán — 2003

Kybernetika

In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [P. Cordero, M. Enciso, and I. de Guzmán: Structure theorems for closed sets of implicates/implicants in temporal logic. (Lecture Notes in Artificial Intelligence 1695.) Springer–Verlag, Berlin 1999]....

Page 1

Download Results (CSV)