3053 search results - page 427 / 611 » A Logic of Abstract Argumentation |
TLCA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Reliability is critical to a variety of network applications. Unfortunately, due to lack of QoS support across ISP boundaries, it is difficult to achieve even two 9s (...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
CSCLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
GEOS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...