3773 search results - page 612 / 755 » Logical Reasoning |
139
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
From a conceptual point of view, belief revision and learning are quite similar. Both methods change the belief state of an intelligent agent by processing incoming information. Ho...
137
click to vote
AAAI
2010
15 years 6 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
141
click to vote
SEC
2004
15 years 6 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...
159
click to vote
LOGCOM
2010
15 years 3 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
130
click to vote
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
Peer-to-peer (P2P) systems are based upon the cooperative interactions of member peers. Typically, peers are both autonomous and self-interested, meaning that there is no hierarch...