Reasoning with Limited Resources: Active Logics Expressed as Labeled Deductive Systems
Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in knowledge-intensive embedded systems. Classical logic is usually considered inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the moreinteresting approaches to address this problem is built around the concept of active logics. Although a step in th