2694 search results - page 29 / 539 » A Description Logic of Change |
IWUC
2004
13 years 10 months ago
2004
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
IJCAI
2003
13 years 10 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
AMAST
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
AAAI
1990
13 years 10 months ago
1990
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...