共 50 条
- [1] Clausal deductive databases and a general framework for semantics in disjunctive deductive databases FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, 2000, 1762 : 241 - 259
- [2] Using clausal deductive databases for defining semantics in disjunctive deductive databases Annals of Mathematics and Artificial Intelligence, 2001, 33 : 347 - 378
- [8] On modal deductive databases ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3631 : 43 - 57