1127 search results - page 90 / 226 » Theory Extension in ACL2(r) |
132
Voted
CP
2011
Springer
14 years 25 days ago
2011
Springer
A depth-first search algorithm can be used to find optimal solutions of a Constraint Satisfaction Problem (CSP) with respect to a set of conditional preferences statements (e.g.,...
105
click to vote
KBSE
1998
IEEE
15 years 5 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
122
click to vote
DOOD
1993
Springer
15 years 5 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
117
click to vote
DEXA
2000
Springer
15 years 4 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
102
click to vote
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...