共 50 条
- [1] Knowledge Engineering for Hybrid Deductive Databases ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (234): : 1 - 12
- [2] Clausal deductive databases and a general framework for semantics in disjunctive deductive databases FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, 2000, 1762 : 241 - 259
- [3] Using clausal deductive databases for defining semantics in disjunctive deductive databases Annals of Mathematics and Artificial Intelligence, 2001, 33 : 347 - 378
- [9] On modal deductive databases ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3631 : 43 - 57
- [10] DISJUNCTIVE DEDUCTIVE DATABASES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 332 - 356