1143 search results - page 205 / 229 » Prospective Logic Agents |
110
Voted
AAAI
2007
15 years 4 months ago
2007
Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...
119
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
143
Voted
AIIA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
139
click to vote
REST
2010
ACM
15 years 3 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
115
Voted
ECAI
2008
Springer
15 years 3 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...