Computation Tree Logic (CTL) is one of the central formalisms in formal
...
Conventional approaches used supervised learning to estimate off-line wr...
Distilling from a knowledge base only the part that is relevant to a sub...
Description logic programs (dl-programs) under the answer set semantics
...
share