14190 search results - page 2698 / 2838 » Abstractions for hybrid systems |
KR
1992
Springer
15 years 2 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
127
click to vote
SAS
1992
Springer
15 years 2 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
FPCA
1989
15 years 2 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
PODS
1989
ACM
15 years 2 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
122
click to vote
COBUILD
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. As the amount of information and communication increases dramatically new working environments must provide efficient mechanisms to maximize the benefits of these develop...