| 1994 |
8 | | Vangalur S. Alagar,
Sabine Bergler,
Fangqing Dong:
Incompleteness and Uncertainty in Information Systems, Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, Concordia University, Montreal, Canada, 8-9 October 1993
Springer 1994 |
7 | | Fangqing Dong,
Laks V. S. Lakshmanan:
Intuitionistic Interpretation of Deductive Databases with Incomplete Information.
Theor. Comput. Sci. 133(2): 267-306 (1994) |
| 1993 |
6 | | Fangqing Dong,
Laks V. S. Lakshmanan:
A Deductive Approach to Hypothetical Query Answering.
ILPS 1993: 609-628 |
5 | | Fangqing Dong,
Laks V. S. Lakshmanan:
Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract).
LPNMR 1993: 437-456 |
4 | | Vangalur S. Alagar,
Fangqing Dong,
Ramesh Achuthan:
Completeness in Statechart Models for Reactive Systems.
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 117-130 |
| 1992 |
3 | | Fangqing Dong,
Laks V. S. Lakshmanan:
Intuitionistic Interpretation of Deductive Databases with Incomplete Information.
Formal Methods in Databases and Software Engineering 1992: 175-192 |
2 | | Fangqing Dong,
Laks V. S. Lakshmanan:
Deductive Databases with Incomplete Information.
JICSLP 1992: 303-317 |
| 1989 |
1 | | Fangqing Dong,
Hiroshi Nakagawa:
Semantics of Non-montonic Reasoning based on Perfect Model.
LP 1989: 38-53 |