3440 search results - page 286 / 688 » Logics For Context-Free Languages |
198
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
206
click to vote
CONCUR
2007
Springer
16 years 1 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...
216
click to vote
TABLEAUX
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
178
click to vote
ECAI
2004
Springer
16 years 21 days ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
177
click to vote
ICALP
2004
Springer
16 years 21 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...