Towards a general theory of action and time
Artificial Intelligence
(ML)2: a formal language for KADS models of expertise
Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Letters to the editor: go to statement considered harmful
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Knowledge Acquisition and Representation Language Karl
Knowledge Acquisition and Representation Language Karl
Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Hi-index | 0.00 |