1064 search results - page 136 / 213 » Disjoint Systems (Extended Abstract) |
134
Voted
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
128
click to vote
ARGMAS
2006
Springer
15 years 7 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
106
Voted
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
134
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
124
click to vote
IJCAI
1989
15 years 4 months ago
1989
Many artificial intelligence systems implicitly use notions of granularity in reasoning, but there is very little research into granularity itself. An exception is the work of Hob...