1143 search results - page 22 / 229 » Prospective Logic Agents |
158
click to vote
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
FUIN
2006
15 years 1 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
122
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
105
click to vote
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...