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 |
1 | Ramesh Achuthan | [4] |
2 | Vangalur S. Alagar (Vasu S. Alagar) | [4] |
3 | Laks V. S. Lakshmanan (V. S. Lakshmanan) | [2] [3] [5] [6] [7] |
4 | Hiroshi Nakagawa | [1] |