878 search results - page 77 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
150
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
170
click to vote
AAAI
2007
15 years 8 months ago
2007
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...
208
click to vote
ISDA
2010
IEEE
15 years 4 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
185
click to vote
AAAI
2007
15 years 8 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
155
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...