166
click to vote
LPNMR
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
121
click to vote
VISUALIZATION
1997
IEEE
15 years 8 months ago
1997
IEEE
Genus-reducing simplifications are important in constructing multiresolution hierarchies for level-of-detail-based rendering, especially for datasets that have several relatively ...
129
click to vote
LPNMR
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
146
click to vote
UML
1997
Springer
15 years 8 months ago
1997
Springer
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...