Knowledge-based programs

• 28 July 1997
• journal article
• Published by Springer Nature in Distributed Computing
• Vol. 10  (4) , 199-225
• https://doi.org/10.1007/s004460050038

Abstract

Keywords

• CONCRETE DETAIL
• SUFFICIENT CONDITION
• KNOWLEDGE-BASED PROGRAM — PROTOCOL — REASONING ABOUT KNOWLEDGE — MULTI-AGENT SYSTEM
• KNOWLEDGE-BASED PROGRAM
• COMPUTER SYSTEM
• STANDARD PROGRAM
• UNIQUE REPRESENTATION
• RECENT BOOK
• PRECISE SENSE
• FINITE-STATE CONTEXT
• UNIQUE SYSTEM
• MULTI AGENT SYSTEM
• PROTOCOL
• KNOWLEDGE BASE