Logic-Based Specification Languages for Intelligent Software Agents

Viviana Mascardi Maurizio Martelli Leon Sterling Logic-Based Specification Languages for Intelligent Software Agents http://arxiv.org/abs/cs.AI/0311024 2003 CoRR cs.AI/0311024 db/journals/corr/corr0311.html#cs-AI-0311024