Jan A. Plaza

发表

Completeness for Propositional Logic Programs with Negation

Jan A. Plaza, 1991, ISMIS.

Gentzen-style Characterizations of Negation as Failure

Jan A. Plaza, 1992, AISMC.

Operators on Lattices of omega-Herbrand Interpretations

Jan A. Plaza, 1992, LFCS.

Fully Declarative Logic Programming

Jan A. Plaza, 1992, PLILP.

Logic Programming from the Perspective of Algebraic Semantics

Jan A. Plaza, 1996, Fundam. Informaticae.

On the Propositional SLDNF-Resolution

Jan A. Plaza, 1996, Int. J. Found. Comput. Sci..

Soundness and Completeness versus Lifting Property

Jan A. Plaza, 1996, AISMC.

4 Th International Symposium on Methodologies for Intelligent Systems -ismis`89 -charlotte, Nc Logics of Public Communications

Jan A. Plaza, 2022 .

True Equality Constraints over an Open Universe of Terms 1

Jan A. Plaza, 1994 .

Logics of public communications

Jan A. Plaza, Jan Plaza, 2007, Synthese.

Artificial Intelligence and Symbolic Computation

Jacques Calmet, Jan A. Plaza, Jan Plaza, 2014, Lecture Notes in Computer Science.