Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Verifying protocol conformance for logic-based communicating agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
JADL – an agent description language for smart agents
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |