Minimizing Agent Specifications using a Logic of Knowledge and Actions期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Minimizing Agent Specifications using a Logic of Knowledge and Actions

Authors:	Ndjatou Gilbert

Affiliation:	¹ Department of Computer Science, William Paterson University of New Jersey, Wayne, NJ 07470, USA. E-mail: ndjatou{at}cs.wpunj.edu

Abstract:

Keywords:	Logic of knowledge logic of knowledge and actions object system observation equivalence procedural knowledge propositional dynamic logic rational behaviour reactive systems
本文献已被 Oxford 等数据库收录！