AMAI
2006
Springer
14 years 15 days ago
2006
Springer
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL
AMAI
2006
Springer
14 years 15 days ago
2006
Springer
Most real-world database applications manage temporal data, i.e., data with associated time references that capture a temporal aspect of the data, typically either when the data i...