Liu, Julie Yuchih; Adams, Leroy; Chen, Weidong Constructive negation under the well-founded semantics. (English) Zbl 0937.68021 J. Log. Program. 38, No. 3, 295-330 (1999). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{J. Y. Liu} et al., J. Log. Program. 38, No. 3, 295--330 (1999; Zbl 0937.68021) Full Text: DOI
Giordano, Laura; Olivetti, Nicola Combining negation as failure and embedded implications in logic programs. (English) Zbl 0911.68027 J. Log. Program. 36, No. 2, 91-147 (1998). MSC: 68N17 PDFBibTeX XMLCite \textit{L. Giordano} and \textit{N. Olivetti}, J. Log. Program. 36, No. 2, 91--147 (1998; Zbl 0911.68027) Full Text: DOI
Fages, François Constructive negation by pruning. (English) Zbl 0882.68034 J. Log. Program. 32, No. 2, 85-118 (1997). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Fages}, J. Log. Program. 32, No. 2, 85--118 (1997; Zbl 0882.68034) Full Text: DOI
Buccafurri, F.; Leone, N.; Rullo, P. Stable models and their computation for logic programming with inheritance and true negation. (English) Zbl 0874.68048 J. Log. Program. 27, No. 1, 5-43 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{F. Buccafurri} et al., J. Log. Program. 27, No. 1, 5--43 (1996; Zbl 0874.68048) Full Text: DOI
Marchiori, Elena On termination of general logic programs w.r.t. constructive negation. (English) Zbl 0880.68007 J. Log. Program. 26, No. 1, 69 (1996). Reviewer: M.Zakharyaschev (Berlin) MSC: 68N17 PDFBibTeX XMLCite \textit{E. Marchiori}, J. Log. Program. 26, No. 1, 69 (1996; Zbl 0880.68007) Full Text: DOI Link
Inoue, Katsumi Hypothetical reasoning in logic programs. (English) Zbl 0803.68013 J. Log. Program. 18, No. 3, 191-227 (1994). MSC: 68N17 68T15 68T27 PDFBibTeX XMLCite \textit{K. Inoue}, J. Log. Program. 18, No. 3, 191--227 (1994; Zbl 0803.68013) Full Text: DOI
Ross, Kenneth A. On negation in HiLog. (English) Zbl 0803.68016 J. Log. Program. 18, No. 1, 27-53 (1994). MSC: 68N17 68T27 68Q55 PDFBibTeX XMLCite \textit{K. A. Ross}, J. Log. Program. 18, No. 1, 27--53 (1994; Zbl 0803.68016) Full Text: DOI
McCarty, L. Thorne Circumscribing embedded implications (without stratifications). (English) Zbl 0783.68119 J. Log. Program. 17, No. 2-4, 323-364 (1993). MSC: 68T27 68T30 68N17 PDFBibTeX XMLCite \textit{L. T. McCarty}, J. Log. Program. 17, No. 2--4, 323--364 (1993; Zbl 0783.68119) Full Text: DOI
Gelfond, Michael; Lifschitz, Vladimir Representing action and change by logic programs. (English) Zbl 0783.68024 J. Log. Program. 17, No. 2-4, 301-321 (1993). MSC: 68N17 68T99 PDFBibTeX XMLCite \textit{M. Gelfond} and \textit{V. Lifschitz}, J. Log. Program. 17, No. 2--4, 301--321 (1993; Zbl 0783.68024) Full Text: DOI
Van Gelder, Allen; Schlipf, John S. Commonsense axiomatizations for logic programs. (English) Zbl 0798.68030 J. Log. Program. 17, No. 2-4, 161-195 (1993). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{A. Van Gelder} and \textit{J. S. Schlipf}, J. Log. Program. 17, No. 2--4, 161--195 (1993; Zbl 0798.68030) Full Text: DOI
Harland, James Success and failure for hereditary Harrop formulae. (English) Zbl 0781.68037 J. Log. Program. 17, No. 1, 1-29 (1993). Reviewer: J.Harland MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{J. Harland}, J. Log. Program. 17, No. 1, 1--29 (1993; Zbl 0781.68037) Full Text: DOI
Wallace, Mark Tight, consistent, and computable completions for unrestricted logic programs. (English) Zbl 0787.68021 J. Log. Program. 15, No. 3, 243-273 (1993). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{M. Wallace}, J. Log. Program. 15, No. 3, 243--273 (1993; Zbl 0787.68021) Full Text: DOI
Yamamoto, Akihiro Procedural semantics and negative information of elementary formal system. (English) Zbl 0768.68089 J. Log. Program. 13, No. 1, 89-97 (1992). MSC: 68Q55 68N17 68T15 PDFBibTeX XMLCite \textit{A. Yamamoto}, J. Log. Program. 13, No. 1, 89--97 (1992; Zbl 0768.68089) Full Text: DOI
Ross, Kenneth A. A procedural semantics for well-founded negation in logic programs. (English) Zbl 0773.68064 J. Log. Program. 13, No. 1, 1-22 (1992). MSC: 68T15 68N17 68Q55 PDFBibTeX XMLCite \textit{K. A. Ross}, J. Log. Program. 13, No. 1, 1--22 (1992; Zbl 0773.68064) Full Text: DOI
Jäger, Gerhard Annotations on the consistency of the closed world assumption. (English) Zbl 0796.68055 J. Logic Program. 8, No. 3, 229-247 (1990). MSC: 68N17 68T15 68N01 PDFBibTeX XMLCite \textit{G. Jäger}, J. Log. Program. 8, No. 3, 229--247 (1990; Zbl 0796.68055) Full Text: DOI
Barbuti, Roberto; Mancarella, Paolo; Pedreschi, Dino; Turini, Franco A transformational approach to negation in logic programming. (English) Zbl 0796.68056 J. Logic Program. 8, No. 3, 201-228 (1990). MSC: 68N17 68T15 68N01 PDFBibTeX XMLCite \textit{R. Barbuti} et al., J. Log. Program. 8, No. 3, 201--228 (1990; Zbl 0796.68056) Full Text: DOI
Papalaskari, Mary-Angela; Weinstein, Scott Minimal consequence in sentential logic. (English) Zbl 0707.03007 J. Logic Program. 9, No. 1, 19-31 (1990). Reviewer: C.F.Kielkopf MSC: 03B22 68N17 03D55 03C99 PDFBibTeX XMLCite \textit{M.-A. Papalaskari} and \textit{S. Weinstein}, J. Log. Program. 9, No. 1, 19--31 (1990; Zbl 0707.03007) Full Text: DOI
Cavedon, L.; Lloyd, J. W. A completeness theorem for SLDNF resolution. (English) Zbl 0689.68107 J. Logic Program. 7, No. 3, 177-191 (1989). MSC: 68T15 PDFBibTeX XMLCite \textit{L. Cavedon} and \textit{J. W. Lloyd}, J. Log. Program. 7, No. 3, 177--191 (1989; Zbl 0689.68107) Full Text: DOI
van Gelder, Allen Negation as failure using tight derivations for general logic programs. (English) Zbl 0668.68108 J. Logic Program. 6, No. 1-2, 109-133 (1989). MSC: 68T15 68Q60 03B35 PDFBibTeX XMLCite \textit{A. van Gelder}, J. Log. Program. 6, No. 1--2, 109--133 (1989; Zbl 0668.68108) Full Text: DOI
Mancarella, Paolo; Martini, Simone; Pedreschi, Dino Complete logic programs with domain-closure axiom. (English) Zbl 0645.68099 J. Logic Program. 5, No. 3, 263-276 (1988). MSC: 68T15 PDFBibTeX XMLCite \textit{P. Mancarella} et al., J. Log. Program. 5, No. 3, 263--276 (1988; Zbl 0645.68099) Full Text: DOI
Kunen, Kenneth Negation in logic programming. (English) Zbl 0655.68018 J. Logic Program. 4, 289-308 (1987). Reviewer: G.Mints MSC: 68Q60 68Q65 68T15 PDFBibTeX XMLCite \textit{K. Kunen}, J. Log. Program. 4, 289--308 (1987; Zbl 0655.68018) Full Text: DOI
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J. Comments on ”General failure of logic programs”. (English) Zbl 0596.68014 J. Logic Program. 3, 115-118 (1986). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Jaffar} et al., J. Log. Program. 3, 115--118 (1986; Zbl 0596.68014) Full Text: DOI
Gabbay, D. M. N-PROLOG: an extension of PROLOG with hypothetical implication. II. Logical foundations, and negation as failure. (English) Zbl 0595.68004 J. Logic Program. 2, 251-283 (1985). Reviewer: J.-J.Ch.Meyer MSC: 68N01 68Q65 68T15 PDFBibTeX XMLCite \textit{D. M. Gabbay}, J. Log. Program. 2, 251--283 (1985; Zbl 0595.68004) Full Text: DOI
Van Tu Le General failure of logic programs. (English) Zbl 0585.68023 J. Logic Program. 2, 157-165 (1985). Reviewer: J.-J.Ch.Meyer MSC: 68Q60 PDFBibTeX XMLCite \textit{Van Tu Le}, J. Log. Program. 2, 157--165 (1985; Zbl 0585.68023) Full Text: DOI