878 search results - page 13 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
204
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
141
click to vote
ASP
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...
192
click to vote
AISADM
2005
Springer
15 years 11 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 ...
172
click to vote
TIME
2008
IEEE
16 years 10 days ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
155
click to vote
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...