Journal article

Property persistence in the situation calculus

Ryan F Kelly, Adrian R Pearce

ARTIFICIAL INTELLIGENCE | ELSEVIER | Published : 2010

DOI: 10.1016/j.artint.2010.05.003

University of Melbourne Researchers

Adrian Pearce Author Computing and Information Systems

Citation metrics

5Web of Science

Keywords

Automated Reasoning

Science & Technology

Computer Science, Artificial Intelligence

Computer Science

Artificial Intelligence and Image Processing

Property Persistence

Situation Calculus