282 search results - page 30 / 57 » Common knowledge in update logics |
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
The problem investigated in this paper is the distribution of goals addressed to a group of rational agents. Those agents are characterized by their ability (i.e. what they can do...
ER
2006
Springer
14 years 11 days ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
CN
2000
13 years 8 months ago
2000
The Boeing Commercial Airplanes Wing Responsibility Center (WRC) needed a way to communicate quickly and effectively between its various plant locations. An important requirement ...
WLP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
AC
2005
Springer
13 years 8 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...