3053 search results - page 77 / 611 » A Logic of Abstract Argumentation |
154
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
181
click to vote
LPAR
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-founde...
160
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
166
click to vote
IJCAI
1997
15 years 7 months ago
1997
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
171
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...