Situation calculus

Most Relevant Related Tags

• frame problem [69%]
  
• logic [23%]
  
• negation as failure [23%]
  
• sld resolution [23%]
  
• journal of the acm [23%]
  
• digital object identifier [23%]
  
• first-order logic [23%]
  
• fluent calculus [23%]
  
• event calculus [23%]
  

This is the cloud of related tags for the Situation calculus concept

digital object identifier event calculus first-order logic fluent calculus frame problem journal of the acm logic negation as failure sld resolution