Clausal resolution in a logic of rational agency
Artificial Intelligence
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Clausal resolution for normal modal logics
Journal of Algorithms
Anti-prenexing and prenexing for modal logics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
We propose an approach to formally representing structured temporal objects. These new temporal objects are recursively made up of convex intervals and Allen's convex relations. The major emphasis in our approach is on temporal repetition. To that effect, ...