4513 search results - page 563 / 903 » Logic programming with satisfiability |
137
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...
139
Voted
CSL
2006
Springer
15 years 8 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
112
click to vote
LANMR
2007
15 years 6 months ago
2007
The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which c...
144
click to vote
FLAIRS
2001
15 years 5 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
146
click to vote
DAIS
2009
15 years 5 months ago
2009
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...