2599 search results - page 185 / 520 » An Operational Semantics for Knowledge Bases |
128
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
182
click to vote
LFCS
2007
Springer
16 years 16 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
186
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
151
click to vote
IQ
2007
15 years 7 months ago
2007
: Futures research means observation and understanding of today’s operational environment as well as identification and positioning of future opportunities. Lots of technology fo...
185
click to vote
WMTE
2002
IEEE
15 years 11 months ago
2002
IEEE
The design of a personal, mobile Knowledge and Learning Organisation System (KLeOS) is described. Studies of adult learning practice showed [1] that learning activity is mobile be...