Jan A. Plaza - researchr alias

researchr

You are not signed in
Sign in
Sign up

1998

Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, ProceedingsJacques Calmet, Jan A. Plaza, editors, Volume 1476 of Lecture Notes in Computer Science, Springer, 1998.

1996

On the Propositional SLDNF-ResolutionJan A. Plaza. ijfcs, 7(4):359, 1996.

Logic Programming from the Perspective of Algebraic SemanticsJan A. Plaza. FUIN, 28(1-2):153-164, 1996.

Soundness and Completeness versus Lifting PropertyJan A. Plaza. AISC 1996: 354-364

1992

Operators on Lattices of omega-Herbrand InterpretationsJan A. Plaza. lfcs 1992: 358-369

Gentzen-style Characterizations of Negation as FailureJan A. Plaza. AISC 1993: 237-261

Fully Declarative Logic ProgrammingJan A. Plaza. plilp 1992: 415-427

1991

Completeness for Propositional Logic Programs with NegationJan A. Plaza. ismis 1991: 600-609