共 50 条
- [2] Temporal indeterminacy in deductive databases: An approach based on event calculus ACTIVE, REAL-TIME, AND TEMPORAL DATABASE SYSTEMS, PROCEEDINGS, 1998, 1553 : 212 - 227
- [3] Clausal deductive databases and a general framework for semantics in disjunctive deductive databases FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, 2000, 1762 : 241 - 259
- [4] Using clausal deductive databases for defining semantics in disjunctive deductive databases Annals of Mathematics and Artificial Intelligence, 2001, 33 : 347 - 378
- [10] On modal deductive databases ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2005, 3631 : 43 - 57