ACM Transactions on Computational Logic (TOCL)
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
Towards First-Order Temporal Resolution
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
ACM Transactions on Computational Logic (TOCL)
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Towards formal methods for agent-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |