Sciweavers

7064 search results - page 60 / 1413
» From States to Histories
Sort
View
CN
2008
72views more  CN 2008»
13 years 10 months ago
Formal testing from timed finite state machines
Mercedes G. Merayo, Manuel Núñez, Is...
LOGCOM
2008
120views more  LOGCOM 2008»
13 years 10 months ago
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
We look at the problem in belief revision of trying to make inferences about what an agent believed--or will believe--at a given moment, based on an observation of how the agent h...
Richard Booth, Alexander Nittka