ConGolog, a concurrent programming language based on the situation calculus 论文

2000Artificial Intelligence引用 495
Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationAI-based Problem Solving and Planning