Sciweavers

241 search results - page 49 / 49
» Bounded Nondeterminism of Logic Programs
Sort
View
ATAL
2006
Springer
13 years 9 months ago
Verifying space and time requirements for resource-bounded agents
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
Natasha Alechina, Mark Jago, Piergiorgio Bertoli, ...