Specification of Heterogeneous Agent Architectures
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Model checking linear logic specifications
Theory and Practice of Logic Programming
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
| Hi-index | 5.23 |