5451 search results - page 349 / 1091 » Typed Operational Semantics |
144
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Rule Interchange Format Production Rule Dialect (RIFPRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operation...
241
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
126
click to vote
RTA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
121
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-...
118
click to vote
CHI
1994
ACM
15 years 9 months ago
1994
ACM
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...