Publication:4012164
From MaRDI portal
zbMath0746.68088MaRDI QIDQ4012164
Publication date: 27 September 1992
68T27: Logic in artificial intelligence
03B65: Logic of natural languages
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
A semantics for speech acts, A logic of delegation, A formal characterisation of Hamblin's action-state semantics