660 search results - page 27 / 132 » Reasoning about Dynamic Policies |
ICOIN
2003
Springer
14 years 2 months ago
2003
Springer
XML is being used to describe components and applications in a vendor and language neutral. Therefore it already has a role in distributed system. XML is also being used as a data ...
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
ICCBR
2010
Springer
14 years 1 months ago
2010
Springer
The vast majority of research on AI planning has focused on automated plan recognition, in which a planning agent is provided with a set of inputs that include an initial goal (or ...
AAAI
1998
13 years 11 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
TLT
2008
13 years 9 months ago
2008
Abstract-- Nowadays, people are in need for continuous learning in order to keep up to date or to be upgraded in their job. An infrastructure for life-long learning requires contin...