4767 search results - page 100 / 954 » Structures for Abstract Rewriting |
115
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
113
Voted
COMMA
2008
15 years 3 months ago
2008
Abstract. A recent extension to Dung's argumentation framework allows for arguments to express preferences between other arguments. Value based argumentation can be formalised...
105
click to vote
FORTE
1996
15 years 3 months ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
124
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...