A non-preferential semantics of non-monotonic modal logic
Annals of Mathematics and Artificial Intelligence
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
An extended interpreted system model for epistemic logics
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Interrelations between the BDI primitives: Towards heterogeneous agents
Cognitive Systems Research
| Hi-index | 0.00 |