1699 search results - page 103 / 340 » On the Expressive Power of QLTL |
68
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
77
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Advances in information technology and computational power have opened the doors for auctioneers to explore a range of auction formats by considering varying degrees of bid expres...
117
Voted
IJAR
2008
15 years 26 days ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
118
Voted
LOGCOM
2007
15 years 22 days ago
2007
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
114
Voted
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...