797 search results - page 39 / 160 » Eliminating Proofs from Programs |
133
click to vote
COMMA
2010
14 years 7 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
123
click to vote
AAAI
2010
15 years 2 months ago
2010
A general game player is a system that understands the rules of unknown games and learns to play these games well without human intervention. A major challenge for research in Gen...
131
Voted
COCO
2005
Springer
15 years 6 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
133
click to vote
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
93
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
We describe an answer-set programming solver smodels− , derived from smodels by eliminating some lookahead computations. We show that for some classes of programs smodels− outp...