305 search results - page 20 / 61 » Using Answer Sets to Solve Belief Change Problems |
WSC
2000
15 years 1 months ago
2000
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...
KDD
2006
ACM
16 years 4 days ago
2006
ACM
Privacy becomes a more and more serious concern in applications involving microdata. Recently, efficient anonymization has attracted much research work. Most of the previous metho...
CRYPTO
2000
Springer
15 years 4 months ago
2000
Springer
In this work we use cryptography to solve a game-theoretic problem which arises naturally in the area of two party strategic games. The standard game-theoretic solution concept for...
214
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
Large databases with uncertain information are becoming more common in many applications including data integration, location tracking, and Web search. In these applications, ranki...
127
click to vote
AAAI
2008
15 years 26 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...