1143 search results - page 165 / 229 » Prospective Logic Agents |
157
click to vote
AIEDAM
1999
15 years 6 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
198
click to vote
AISADM
2005
Springer
15 years 12 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...
176
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
191
click to vote
LFCS
2007
Springer
16 years 14 days ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
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...