7167 search results - page 1084 / 1434 » Answer Set Programming |
113
Voted
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
147
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
121
Voted
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
137
Voted
SAT
2007
Springer
15 years 9 months ago
2007
Springer
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
123
Voted
UM
2007
Springer
15 years 9 months ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...