Sciweavers

41 search results - page 9 / 9
» Base Belief Change for Finitary Monotonic Logics
Sort
View
79
Voted
IJCAI
1993
14 years 10 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff