Author of the publication

Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract).

, and . LPNMR, page 437-456. MIT Press, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Canonical Kripke Models and The Intuitonistic Semantics of Logic Programs (Extended Abstract)., and . LPNMR, page 437-456. MIT Press, (1993)A Deductive Approach to Hypothetical Query Answering., and . ILPS, page 609-628. MIT Press, (1993)Intuitionistic Interpretation of Deductive Databases with Incomplete Information., and . Theor. Comput. Sci., 133 (2): 267-306 (1994)Semantics of Non-montonic Reasoning based on Perfect Model., and . LP, volume 485 of Lecture Notes in Computer Science, page 38-53. Springer, (1989)Intuitionistic Interpretation of Deductive Databases with Incomplete Information., and . Formal Methods in Databases and Software Engineering, page 175-192. Springer, (1992)Completeness in Statechart Models for Reactive Systems., , and . SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, page 117-130. Springer, (1993)Deductive Databases with Incomplete Information., and . JICSLP, page 303-317. MIT Press, (1992)