503 search results - page 44 / 101 » Combining Description Logics, Description Graphs, and Rules |
108
click to vote
WADT
1997
Springer
15 years 5 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
EUSFLAT
2001
15 years 2 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
130
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
111
click to vote
CATA
2003
15 years 2 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
109
click to vote
DLOG
2007
15 years 3 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...