Papers in logic and programming FAST: Flexible and Adaptive Soft real-Time system On the Meanings of the Logical Constants and the Justifications of the Logical Laws Representing Game Dialogue as Expressions in First-Order Logic Browse All Categories By Keyword