Fangqing Dong

Publication Activity (10 Years)

Years Active: 1989-1994
Publications (10 Years): 0

Publications

Fangqing Dong, Laks V. S. Lakshmanan
Intuitionistic Interpretation of Deductive Databases with Incomplete Information. Theor. Comput. Sci. 133 (2) (1994)
Fangqing Dong, Laks V. S. Lakshmanan
Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract). LPNMR (1993)
Fangqing Dong, Laks V. S. Lakshmanan
A Deductive Approach to Hypothetical Query Answering. ILPS (1993)
Vangalur S. Alagar, Fangqing Dong, Ramesh Achuthan
Completeness in Statechart Models for Reactive Systems. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems (1993)
Fangqing Dong, Laks V. S. Lakshmanan
Deductive Databases with Incomplete Information. JICSLP (1992)
Fangqing Dong, Laks V. S. Lakshmanan
Intuitionistic Interpretation of Deductive Databases with Incomplete Information. Formal Methods in Databases and Software Engineering (1992)
Fangqing Dong, Hiroshi Nakagawa
Semantics of Non-montonic Reasoning based on Perfect Model. LP (1989)