3353 search results - page 341 / 671 » Laver and set theory |
175
click to vote
AGP
2003
IEEE
16 years 1 days ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
176
click to vote
IMC
2003
ACM
16 years 3 hour ago
2003
ACM
Internet topology information is only made available in aggregate form by standard routing protocols. Connectivity information and latency characteristicsmust therefore be inferre...
206
click to vote
AGENTCL
2003
Springer
15 years 12 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
181
click to vote
ISMIS
2003
Springer
15 years 12 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
170
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...