918 search results - page 50 / 184 » Speculative Issue Logic |
123
click to vote
ER
2007
Springer
16 years 7 days ago
2007
Springer
We consider the problem of adding both equality and order generating dependencies to Web ontology languages such as OWL DL that are based on description logics. Such dependencies u...
128
click to vote
ELPUB
2006
ACM
16 years 1 days ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
165
click to vote
TCS
2002
15 years 5 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
157
click to vote
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
132
click to vote
IAT
2008
IEEE
16 years 16 days ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...