624 search results - page 69 / 125 » Reasoning with Expressive Description Logics: Theory and Pra... |
POPL
2008
ACM
14 years 9 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
IDT
2010
13 years 7 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...
FUZZIEEE
2007
IEEE
14 years 18 days ago
2007
IEEE
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
ILP
2007
Springer
14 years 2 months ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...