Autor der Publikation

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

, und . LPNMR, Seite 437-456. MIT Press, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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