3470 search results - page 167 / 694 » Head-Elementary-Set-Free Logic Programs |
115
click to vote
AGP
2003
IEEE
2003
IEEE
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
15 years 11 months ago
193
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
We study the type checking and type inference problems for intuitionistic linear logic: given a System F typed λ-term, (i) for an alleged linear logic type, determine whether the...
171
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
182
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...