Search results for: James Harland
Journal of Systems and Software > 2017 > 131 > C > 266-310
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies VIII > BDI Rational Agents > 1-21
Theoretical Computer Science > 2016 > 646 > C > 61-85
Lecture Notes in Computer Science > Computational Logic — CL 2000 > Logic Programming: Theory and Extensions > 254-268
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies II > Norms and Protocols > 198-220
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies V > Contributed Papers: Foundational Concepts > 140-157
Lecture Notes in Computer Science > PRICAI 2000 Topics in Artificial Intelligence > Posters > 817-817
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 185-200
Autonomous Agents and Multi-Agent Systems > 2017 > 31 > 3 > 423-468
Autonomous Agents and Multi-Agent Systems > 2016 > 30 > 2 > 291-330
Autonomous Agents and Multi-Agent Systems > 2017 > 31 > 2 > 288-331