3973 search results - page 322 / 795 » Records for Logic Programming |
149
click to vote
RULEML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
173
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
125
click to vote
HYBRID
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
162
click to vote
FASE
2000
Springer
15 years 8 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
129
Voted
IWFM
2003
15 years 6 months ago
2003
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...