3793 search results - page 130 / 759 » Expressive Description Logics |
150
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
132
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
252
click to vote
LACL
2011
Springer
14 years 7 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
134
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
109
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...