research
∙
03/13/2020
On Sufficient and Necessary Conditions in Bounded CTL
Computation Tree Logic (CTL) is one of the central formalisms in formal ...
share
research
∙
07/15/2018
Semi-Supervised Feature Learning for Off-Line Writer Identifications
Conventional approaches used supervised learning to estimate off-line wr...
research
∙
02/10/2015
On Forgetting in Tractable Propositional Fragments
Distilling from a knowledge base only the part that is relevant to a sub...
research
∙
11/07/2011