789 search results - page 30 / 158 » On Theory Revision with Queries |
ALT
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We describe an alternative construction of an existing canonical representation for definite Horn theories, the Guigues-Duquenne basis (or GD basis), which minimizes a n...
WIDM
2003
ACM
14 years 1 months ago
2003
ACM
Query rewriting using views is an essential issue in data integration. A number of algorithms, e.g., the bucket algorithm, the inverse rules algorithm, the SVB algorithm and the M...
IAT
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--This article deals with the issue of concept learning and tries to have a game theoretic view over the process of cooperative concept learning among agents in a multi-age...
OTM
2009
Springer
14 years 3 months ago
2009
Springer
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
ICDT
2009
ACM
14 years 9 months ago
2009
ACM
This article deals with consistent query answering to conjunctive queries under primary key constraints. The repairs of an inconsistent database db are obtained by selecting a max...