3793 search results - page 165 / 759 » Expressive Description Logics |
156
click to vote
ICTL
1994
15 years 8 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
116
click to vote
ENTCS
2006
15 years 4 months ago
2006
We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing w...
128
Voted
AICT
2006
IEEE
15 years 10 months ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
125
Voted
LREC
2008
15 years 6 months ago
2008
This paper describes a project aimed at converting a legacy representation of English idioms into an XML-based format. The project is set in the context of a large electronic Engl...
147
Voted
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...