620 search results - page 64 / 124 » About the logical relations between cases and rules |
110
click to vote
CASC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper we present algorithmic considerations and theoretical results about the relation between the orders of certain groups associated to the components of a poly...
192
click to vote
ICFP
2009
ACM
16 years 16 days ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
CT
2001
Springer
15 years 4 months ago
2001
Springer
We think that Massively Multi-user Online Role-Playing Games (MMORPGs) will soon evolve into Online Societies of political and economic interest. Studying them will require a metho...
99
Voted
ICCBR
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Retrieval of structured cases using similarity has been studied in CBR but there has been less activity on defining similarity on description logics (DL). In this paper w...
JLP
2006
14 years 12 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...