High-Level Robot Control through Logic
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
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Computational Logic in Multi-Agent Systems
Temporal Action Logic for Question Answering in an Adventure Game
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Speculative abductive reasoning for hierarchical agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
The SCIFF abductive proof-procedure
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |