3244 search results - page 358 / 649 » Extensions to Description Logics |
169
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
161
click to vote
RR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We illustrate the potential of conditional hedge transformations in Web-related applications on the example of PρLog: an extension of logic programming with advanced rul...
186
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
169
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
155
Voted
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...