1912 search results - page 120 / 383 » On the evaluation of argumentation formalisms |
177
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
156
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...
278
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
141
click to vote
LPNMR
2009
Springer
16 years 29 days ago
2009
Springer
Modular nonmonotonic logic programs (MLPs) under the answer-set semantics have been recently introduced as an ASP formalism in which modules can receive context-dependent input fro...
179
click to vote
LPAR
1999
Springer
15 years 10 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...