2409 search results - page 175 / 482 » On Extended Regular Expressions |
211
click to vote
WILF
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
166
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper presents a strategy for the systematic development of dynamic web applications. The proposal extends an existing OO software production method introducing navi...
176
Voted
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We consider an extension of the guarded fragment in which one can guard quanti ers using the transitive closure of some binary relations. The obtained logic captures the guarded fr...
174
click to vote
ADC
1994
Springer
15 years 11 months ago
1994
Springer
We present a proposed query language for extended entity relationship schemas. The language improves on previous proposals by using only concepts explicitly in a given schema. It ...
158
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to...