2661 search results - page 42 / 533 » A Semantics for Abstraction |
143
click to vote
ECSQARU
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. The issue of formalizing skepticism relations between argumentation semantics has been considered only recently in the literature. In this paper, we contribute to this ki...
174
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...
191
click to vote
ICMAS
1998
15 years 7 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
158
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract: With new techniques, such as Microformats or RDFa, for integrating semantics into existing web formats, we expect a strong increase of semantically annotated documents in...
200
click to vote
STTT
2010
15 years 27 days ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi