3891 search results - page 594 / 779 » A logic for strategic reasoning |
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Developing customers’ initial trust in e-businesses is critical for many online vendors, especially for startup companies. As an effort to understand initial trust in the busine...
ISDA
2005
IEEE
14 years 2 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....