1436 search results - page 288 / 288 » Description Logic Unplugged |
AI
2000
Springer
13 years 6 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....