3773 search results - page 545 / 755 » Logical Reasoning |
138
click to vote
LICS
1992
IEEE
15 years 10 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
169
Voted
ISDA
2005
IEEE
15 years 11 months ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
179
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
The paper presents an ontology-based approach to service discovery, apt to support flexible and efficient matchmaking between service descriptions. We propose a hybrid approach th...
176
click to vote
ICAIL
2009
ACM
16 years 20 days ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
174
click to vote
LPAR
2007
Springer
16 years 8 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...