author : Ramakrishnan
1
publication
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (DALT 2004 @ AAMAS 2004) — L. Robert Pokorny, C. R. Ramakrishnan Modeling and Verification of Distributed Autonomous Agents Using Logic Programming (DALT 2004 @ AAMAS 2004) — L. Robert Pokorny, C. R. Ramakrishnan