| Foundations A Logic for Knowledge, Correctness, and Real Time Dynamic Logic for Plan Revision in Intelligent Agents Contextual Taxonomies From Logic Programs Updates to Action Description Updates Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs Architectures Declarative Agent Control Metareasoning for Multi-agent Epistemic Logics Graded BDI Models for Agent Architectures Interaction Inferring Trust Coordination Between Logical Agents A Computational Model for Conversation Policies for Agent Communication Verifying Protocol Conformance for Logic-Based Communicating Agents Planning and Applications An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report Planning Partially for Situated Agents Desire-Space Analysis and Action Selection for Multiple Dynamic Goals Organising Software in Active Environments Author Index |
内容加载中，请稍后...
商品评论（0条）