Dynamic logic for reasoning about actions and agents
Logic-based artificial intelligence
Specifying the Processes and States of Negotiation
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
A Semantics for Persistency in Propositional Dynamic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
A Logic of Situated Resource-Bounded Agents
Journal of Logic, Language and Information
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |