Kramer, Simon Logic of negation-complete interactive proofs (formal theory of epistemic deciders). (English) Zbl 1337.03029 de Paiva, Valeria (ed.) et al., Proceedings of the 6th workshop on intuitionistic modal logic and applications (IMLA 2013) in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 300, 47-70 (2014). MSC: 03B45 03B42 68T27 68T42 PDF BibTeX XML Cite \textit{S. Kramer}, Electron. Notes Theor. Comput. Sci. 300, 47--70 (2014; Zbl 1337.03029) Full Text: DOI arXiv
Morrill, Glyn; Valentín, Oriol Displacement logic for anaphora. (English) Zbl 1433.03067 J. Comput. Syst. Sci. 80, No. 2, 390-409 (2014). MSC: 03B65 03B47 03F05 PDF BibTeX XML Cite \textit{G. Morrill} and \textit{O. Valentín}, J. Comput. Syst. Sci. 80, No. 2, 390--409 (2014; Zbl 1433.03067) Full Text: DOI
Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis A framework for modular ERDF ontologies. (English) Zbl 1271.68217 Ann. Math. Artif. Intell. 67, No. 3-4, 189-249 (2013). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{A. Analyti} et al., Ann. Math. Artif. Intell. 67, No. 3--4, 189--249 (2013; Zbl 1271.68217) Full Text: DOI
Analyti, Anastasia; Antoniou, Grigoris; Damasio, Carlos Viegas MWeb: a principled framework for modular web rule bases and its semantics. (English) Zbl 1351.68272 ACM Trans. Comput. Log. 12, No. 2, Article No. 17, 46 p. (2011). MSC: 68T30 68N17 68Q55 PDF BibTeX XML Cite \textit{A. Analyti} et al., ACM Trans. Comput. Log. 12, No. 2, Article No. 17, 46 p. (2011; Zbl 1351.68272) Full Text: DOI
Min, Richard; Gupta, Gopal Coinductive logic programming with negation. (English) Zbl 1284.68117 De Schreye, Danny (ed.), Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12591-1/pbk). Lecture Notes in Computer Science 6037, 97-112 (2010). MSC: 68N17 03B45 03B50 68N30 PDF BibTeX XML Cite \textit{R. Min} and \textit{G. Gupta}, Lect. Notes Comput. Sci. 6037, 97--112 (2010; Zbl 1284.68117) Full Text: DOI
Saad, Emad; Pontelli, Enrico A new approach to hybrid probabilistic logic programs. (English) Zbl 1118.68673 Ann. Math. Artif. Intell. 48, No. 3-4, 187-243 (2006), erratum: ibid. 50, No. 3-4, 417-418 (2007). MSC: 68T37 PDF BibTeX XML Cite \textit{E. Saad} and \textit{E. Pontelli}, Ann. Math. Artif. Intell. 48, No. 3--4, 187--243 (2006; Zbl 1118.68673) Full Text: DOI
Rondogiannis, Panos; Wadge, William W. Minimum model semantics for logic programs with negation-as-failure. (English) Zbl 1367.68038 ACM Trans. Comput. Log. 6, No. 2, 441-467 (2005). MSC: 68N17 03B50 68Q55 PDF BibTeX XML Cite \textit{P. Rondogiannis} and \textit{W. W. Wadge}, ACM Trans. Comput. Log. 6, No. 2, 441--467 (2005; Zbl 1367.68038) Full Text: DOI
Andrews, James H. The witness properties and the semantics of the Prolog cut. (English) Zbl 1087.68525 Theory Pract. Log. Program. 3, No. 1, 1-59 (2003). MSC: 68N17 PDF BibTeX XML Cite \textit{J. H. Andrews}, Theory Pract. Log. Program. 3, No. 1, 1--59 (2003; Zbl 1087.68525) Full Text: DOI
Antoniou, G.; Maher, M. J.; Billington, D.; Governatori, G. A comparison of sceptical NAF-free logic programming approaches. (English) Zbl 0946.03030 Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 347-356 (1999). MSC: 03B60 68N17 03B70 68T27 PDF BibTeX XML Cite \textit{G. Antoniou} et al., Lect. Notes Comput. Sci. 1730, 347--356 (1999; Zbl 0946.03030)
Rosati, Riccardo Towards first-order nonmonotonic reasoning. (English) Zbl 0947.03041 Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 332-346 (1999). MSC: 03B60 68T27 PDF BibTeX XML Cite \textit{R. Rosati}, Lect. Notes Comput. Sci. 1730, 332--346 (1999; Zbl 0947.03041)
Kakas, Antonis; Miller, Rob; Toni, Francesca An argumentation framework for reasoning about actions and change. (English) Zbl 0946.03033 Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 78-91 (1999). MSC: 03B60 68T27 03B70 03B44 68N17 PDF BibTeX XML Cite \textit{A. Kakas} et al., Lect. Notes Comput. Sci. 1730, 78--91 (1999; Zbl 0946.03033)
Rosati, Riccardo Reasoning about minimal belief and negation as failure. (English) Zbl 0932.03024 J. Artif. Intell. Res. (JAIR) 11, 277-300 (1999). MSC: 03B60 68T27 PDF BibTeX XML Cite \textit{R. Rosati}, J. Artif. Intell. Res. (JAIR) 11, 277--300 (1999; Zbl 0932.03024) Full Text: Link
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 PDF BibTeX XML Cite \textit{L. Giordano} and \textit{N. Olivetti}, J. Log. Program. 36, No. 2, 91--147 (1998; Zbl 0911.68027) Full Text: DOI
Jäger, Gerhard; Stärk, Robert F. A proof-theoretic framework for logic programming. (English) Zbl 0916.03036 Buss, Samuel R. (ed.), Handbook of proof theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 137, 639-682 (1998). Reviewer: G.Mints (Stanford) MSC: 03F03 68N17 PDF BibTeX XML Cite \textit{G. Jäger} and \textit{R. F. Stärk}, Stud. Logic Found. Math. 137, 639--682 (1998; Zbl 0916.03036)
Gabbay, Dov M. (ed.); Hogger, C. J. (ed.); Robinson, J. A. (ed.) Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. (English) Zbl 0889.03001 Oxford: Clarendon Press. xv, 799 p. (1998). Reviewer: N.Curteanu (Iaşi) MSC: 03-00 68-00 68N17 03-06 68-06 PDF BibTeX XML Cite \textit{D. M. Gabbay} (ed.) et al., Handbook of logic in artificial intelligence and logic programming. Vol. 5: Logic programming. Oxford: Clarendon Press (1998; Zbl 0889.03001)
Ruet, Paul; Fages, François Combining explicit negation and negation by failure via Belnap’s logic. (English) Zbl 0874.68045 Theor. Comput. Sci. 171, No. 1-2, 61-75 (1997). MSC: 68N17 PDF BibTeX XML Cite \textit{P. Ruet} and \textit{F. Fages}, Theor. Comput. Sci. 171, No. 1--2, 61--75 (1997; Zbl 0874.68045) Full Text: DOI
Thielscher, Michael On the completeness of SLDENF-resolution. (English) Zbl 0855.68018 J. Autom. Reasoning 17, No. 2, 199-214 (1996). MSC: 68N17 PDF BibTeX XML Cite \textit{M. Thielscher}, J. Autom. Reasoning 17, No. 2, 199--214 (1996; Zbl 0855.68018) Full Text: DOI
Preist, Chris; Eshghi, Kave; Bertolino, Bruno Consistency-based and abductive diagnoses as generalised stable models. (English) Zbl 0856.03025 Ann. Math. Artif. Intell. 11, No. 1-4, 51-74 (1994). MSC: 03B80 68T27 68N17 PDF BibTeX XML Cite \textit{C. Preist} et al., Ann. Math. Artif. Intell. 11, No. 1--4, 51--74 (1994; Zbl 0856.03025) Full Text: DOI
Chen, Jianhua Relating only knowing to minimal belief and negation as failure. (English) Zbl 0823.68098 J. Exp. Theor. Artif. Intell. 6, No. 4, 409-429 (1994). MSC: 68T27 03B60 PDF BibTeX XML Cite \textit{J. Chen}, J. Exp. Theor. Artif. Intell. 6, No. 4, 409--429 (1994; Zbl 0823.68098) Full Text: DOI
Chen, Jianhua The logic of only knowing as a unified framework for non-monotonic reasoning. (English) Zbl 0822.68104 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 21, No. 3, 205-220 (1994). MSC: 68T27 68N17 PDF BibTeX XML Cite \textit{J. Chen}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 21, No. 3, 205--220 (1994; Zbl 0822.68104)
Stärk, Robert F. Input/output dependencies of normal logic programs. (English) Zbl 0815.68033 J. Log. Comput. 4, No. 3, 249-262 (1994). Reviewer: N.Zamov (Kazan’) MSC: 68N17 PDF BibTeX XML Cite \textit{R. F. Stärk}, J. Log. Comput. 4, No. 3, 249--262 (1994; Zbl 0815.68033) Full Text: DOI
Inoue, Katsumi Hypothetical reasoning in logic programs. (English) Zbl 0803.68013 J. Log. Program. 18, No. 3, 191-227 (1994). MSC: 68N17 68T15 68T27 PDF BibTeX XML Cite \textit{K. Inoue}, J. Log. Program. 18, No. 3, 191--227 (1994; Zbl 0803.68013) 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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{M. Gelfond} and \textit{V. Lifschitz}, J. Log. Program. 17, No. 2--4, 301--321 (1993; Zbl 0783.68024) 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 PDF BibTeX XML Cite \textit{J. Harland}, J. Log. Program. 17, No. 1, 1--29 (1993; Zbl 0781.68037) Full Text: DOI
Baratella, Stefano A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete. (English) Zbl 0796.68052 Theor. Comput. Sci. 120, No. 1, 83-99 (1993). Reviewer: C.Masalagiu (Iaşi) MSC: 68N17 68T15 68Q25 PDF BibTeX XML Cite \textit{S. Baratella}, Theor. Comput. Sci. 120, No. 1, 83--99 (1993; Zbl 0796.68052) Full Text: DOI
Van Gelder, Allen The alternating fixpoint of logic programs with negation. (English) Zbl 0793.68039 J. Comput. Syst. Sci. 47, No. 1, 185-221 (1993). Reviewer: M.Eytan (Strasbourg) MSC: 68N17 68Q55 03B70 06B99 PDF BibTeX XML Cite \textit{A. Van Gelder}, J. Comput. Syst. Sci. 47, No. 1, 185--221 (1993; Zbl 0793.68039) Full Text: DOI
Jiang, Y. J. On the autoepistemic reconstruction of logic programming. (English) Zbl 0776.68028 New Generation Comput. 11, No. 2, 107-124 (1993). Reviewer: Y.J.Jiang MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{Y. J. Jiang}, New Generation Comput. 11, No. 2, 107--124 (1993; Zbl 0776.68028) Full Text: DOI
Olivetti, Nocola; Terracini, Lea \(N\)-Prolog and equivalence of logic programs. I. (English) Zbl 0805.68021 J. Logic Lang. Inf. 1, No. 4, 253-340 (1992). Reviewer: D.Mundici (Milano) MSC: 68N17 03B70 68Q55 03B50 03B45 PDF BibTeX XML Cite \textit{N. Olivetti} and \textit{L. Terracini}, J. Logic Lang. Inf. 1, No. 4, 253--340 (1992; Zbl 0805.68021) Full Text: DOI
Shen, Yidong; Cheng, Daijie; Tong, Fu; Soenen, R.; Tahon, C. On the completed database semantics for negation. (English) Zbl 0795.68057 Sci. China, Ser. A 35, No. 12, 1516-1528 (1992). MSC: 68P15 68Q55 68N17 PDF BibTeX XML Cite \textit{Y. Shen} et al., Sci. China, Ser. A 35, No. 12, 1516--1528 (1992; Zbl 0795.68057)
Lin, Fangzhen; Shoham, Yoav A logic of knowledge and justified assumption. (English) Zbl 0763.68060 Artif. Intell. 57, No. 2-3, 271-289 (1992). MSC: 68T30 PDF BibTeX XML Cite \textit{F. Lin} and \textit{Y. Shoham}, Artif. Intell. 57, No. 2--3, 271--289 (1992; Zbl 0763.68060) Full Text: DOI
Shepherdson, J. C. Logics for negation as failure. (English) Zbl 0755.03012 Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 521-583 (1992). Reviewer: Li Xiang (Guiyang) MSC: 03B70 68N17 PDF BibTeX XML Cite \textit{J. C. Shepherdson}, in: Logic from computer science. Proceedings of a workshop, held November 13- 17, 1989, at the Mathematical Sciences Research Institute, Berkeley, CA, USA. New York etc.: Springer-Verlag. 521--583 (1992; Zbl 0755.03012)
Shepherdson, J. C. SLDNF-resolution with equality. (English) Zbl 0754.68036 J. Autom. Reasoning 8, No. 2, 297-306 (1992). Reviewer: N.Zamov (Kazan’) MSC: 68N17 PDF BibTeX XML Cite \textit{J. C. Shepherdson}, J. Autom. Reasoning 8, No. 2, 297--306 (1992; Zbl 0754.68036) Full Text: DOI
Gil, Bernhard Complete extension of general logic programs. (English) Zbl 0754.68028 Theor. Comput. Sci. 94, No. 2, 281-294 (1992). Reviewer: N.Zamov (Kazan’) MSC: 68N17 PDF BibTeX XML Cite \textit{B. Gil}, Theor. Comput. Sci. 94, No. 2, 281--294 (1992; Zbl 0754.68028) 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 PDF BibTeX XML Cite \textit{A. Yamamoto}, J. Log. Program. 13, No. 1, 89--97 (1992; Zbl 0768.68089) Full Text: DOI
Balbiani, Philippe Modal logic and negation as failure. (English) Zbl 0731.03010 J. Log. Comput. 1, No. 3, 331-356 (1991). Reviewer: E.Melis (Saarbrücken) MSC: 03B35 03B45 68N17 68Q55 PDF BibTeX XML Cite \textit{P. Balbiani}, J. Log. Comput. 1, No. 3, 331--356 (1991; Zbl 0731.03010) Full Text: DOI
Truszczynski, Mirosław Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. (English) Zbl 0726.03022 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 355-366 (1991). Reviewer: O.Sonobe (Miura City) MSC: 03B60 03B45 68T27 68T30 03B80 PDF BibTeX XML Cite \textit{M. Truszczynski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 355--366 (1991; Zbl 0726.03022)
Vauzeilles, Jacqueline Negation as failure and intuitionistic three-valued logic. (English) Zbl 0800.68846 Jorrand, Philippe (ed.) et al., Fundamentals of artificial intelligence research. International workshop FAIR ’91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 535, 227-241 (1991). MSC: 68T15 03B50 PDF BibTeX XML Cite \textit{J. Vauzeilles}, Lect. Notes Comput. Sci. 535, 227--241 (1991; Zbl 0800.68846)
Balbiani, Philippe Nonmonotonic reasoning and modal logic, from negation as failure to default logic. (English) Zbl 0794.03030 Bouchon-Meunier, Bernadette (ed.) et al., Uncertainty in knowledge bases. 3rd international conference on information processing and management of uncertainty in knowlege-based systems, IPMU ’90. Paris, France, July 2-6, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 521, 223-231 (1991). MSC: 03B45 03B60 68N17 PDF BibTeX XML Cite \textit{P. Balbiani}, Lect. Notes Comput. Sci. 521, 223--231 (1991; Zbl 0794.03030)
Rodi, William L.; Pimentel, Stephen G. A nonmonotonic assumption-based TMS using stable bases. (English) Zbl 0765.68199 Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 485-495 (1991). MSC: 68T35 PDF BibTeX XML Cite \textit{W. L. Rodi} and \textit{S. G. Pimentel}, in: Principles of knowledge representation and reasoning. Proceedings of the 2nd international conference (KR' 91), Cambridge, MA, USA, April 22-25, 1991. San Mateo, CA: Morgan Kaufmann Publishers, Inc.. 485--495 (1991; Zbl 0765.68199)
Stroetmann, Karl Complete resolution calculi for PROLOG. (Vollständige Resolutionskalküle für PROLOG.) (German) Zbl 0745.03010 Münster: Univ. Münster, FB Mathematik, vii, 110 S. (1991). Reviewer: U.Schöning (Ulm) MSC: 03B35 68N17 PDF BibTeX XML Cite \textit{K. Stroetmann}, Vollständige Resolutionskalküle für PROLOG. Münster: Univ. Münster, FB Mathematik (1991; Zbl 0745.03010)
Schroeder-Heister, Peter (ed.) Extensions of logic programming. International workshop, Tübingen, FRG, 8–10 December 1989. Proceedings. (English) Zbl 0770.68025 Lecture Notes in Computer Science 475. Berlin etc.: Springer-Verlag (ISBN 3-540-53590-X). VIII, 364 p. (1991). Reviewer: Jiří Zlatuška (Brno) MSC: 68-06 68T15 03-06 03F05 03F07 03F20 03F30 03F55 03F65 03F99 03B25 03B10 03B15 PDF BibTeX XML Cite \textit{P. Schroeder-Heister} (ed.), Extensions of logic programming. International workshop, Tübingen, FRG, 8--10 December 1989. Proceedings. Berlin etc.: Springer-Verlag (1991; Zbl 0770.68025) Full Text: DOI
Jiang, Yue Jun A first step towards autoepistemic logic programming. (English) Zbl 0737.68072 Comput. Artif. Intell. 10, No. 5, 419-441 (1991). MSC: 68T15 68N17 PDF BibTeX XML Cite \textit{Y. J. Jiang}, Comput. Artif. Intell. 10, No. 5, 419--441 (1991; Zbl 0737.68072)
Stärk, Robert F. A complete axiomatization of the three-valued completion of logic programs. (English) Zbl 0738.68017 J. Log. Comput. 1, No. 6, 811-834 (1991). MSC: 68N17 03B50 PDF BibTeX XML Cite \textit{R. F. Stärk}, J. Log. Comput. 1, No. 6, 811--834 (1991; Zbl 0738.68017) Full Text: DOI
Gelfond, Michael; Lifschitz, Vladimir Classical negation in logic programs and disjunctive databases. (English) Zbl 0735.68012 New Gener. Comput. 9, No. 3-4, 365-385 (1991). Reviewer: J.Pokorny MSC: 68N17 68T15 68T30 PDF BibTeX XML
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 PDF BibTeX XML Cite \textit{M.-A. Papalaskari} and \textit{S. Weinstein}, J. Log. Program. 9, No. 1, 19--31 (1990; Zbl 0707.03007) Full Text: DOI
Ling, Tok Wang The Prolog not-predicate and negation as failure rule. (English) Zbl 0705.68033 New Generation Comput. 8, No. 1, 5-31 (1990). MSC: 68N17 68T15 68P20 68T99 PDF BibTeX XML Cite \textit{T. W. Ling}, New Generation Comput. 8, No. 1, 5--31 (1990; Zbl 0705.68033) Full Text: DOI
Jiang, Y. J. An epistemic model of logic programming. (English) Zbl 0705.68031 New Generation Comput. 8, No. 1, 33-59 (1990). MSC: 68N17 68T15 03B45 68T30 PDF BibTeX XML Cite \textit{Y. J. Jiang}, New Generation Comput. 8, No. 1, 33--59 (1990; Zbl 0705.68031) Full Text: DOI
Weijland, W. P. Semantics for logic programs without occur check. (English) Zbl 0699.68114 Theor. Comput. Sci. 71, No. 1, 155-174 (1990). MSC: 68T15 68Q55 68N01 PDF BibTeX XML Cite \textit{W. P. Weijland}, Theor. Comput. Sci. 71, No. 1, 155--174 (1990; Zbl 0699.68114) Full Text: DOI
Kim, Won (ed.); Nicolas, Jean-Marie (ed.); Nishio, Shojiro (ed.) Deductive and object-oriented databases. Proceedings of the 1st international conference, DOOD89, Kyoto Research Park, Kyoto, Japan, 4-6 December 1989. (English) Zbl 0784.68028 Amsterdam etc.: North-Holland. XVIII, 607 p. (1990). Reviewer: G.Wagner (Berlin) MSC: 68P15 68-06 PDF BibTeX XML Cite \textit{W. Kim} (ed.) et al., Deductive and object-oriented databases. Proceedings of the 1st international conference, DOOD89, Kyoto Research Park, Kyoto, Japan, 4-6 December 1989. Amsterdam etc.: North-Holland (1990; Zbl 0784.68028)
Kounalis, Emmanuel Pumping lemmas for tree languages generated by rewrite systems. (English) Zbl 0738.68052 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 369-377 (1990). Reviewer: F.-L.Tiplea (Iaşi) MSC: 68Q42 68Q45 PDF BibTeX XML
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 PDF BibTeX XML Cite \textit{R. Barbuti} et al., J. Log. Program. 8, No. 3, 201--228 (1990; Zbl 0796.68056) Full Text: DOI
Barbuti, Roberto; Martelli, Maurizio A tool to check the non-floundering logic programs and goals. (English) Zbl 0715.68012 Programming languages implementation and logic programming, Proc. Int. Workshop, Orléans/France 1988, Lect. Notes Comput. Sci. 348, 58-67 (1989). MSC: 68N20 68N17 PDF BibTeX XML
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 PDF BibTeX XML Cite \textit{L. Cavedon} and \textit{J. W. Lloyd}, J. Log. Program. 7, No. 3, 177--191 (1989; Zbl 0689.68107) Full Text: DOI
Fine, Kit The justification of negation as failure. (English) Zbl 0689.03003 Logic, methodology and philosophy of science VIII, Proc. 8th Int. Congr., Moscow/USSR 1987, Stud. Logic Found. Math. 126, 263-301 (1989). Reviewer: O.Štěpánková MSC: 03B35 68T15 68N01 PDF BibTeX XML
Rajasekar, Arcot; Lobo, Jorge; Minker, Jack Weak generalized closed world assumption. (English) Zbl 0683.68086 J. Autom. Reasoning 5, No. 3, 293-307 (1989). Reviewer: F.van der Linden MSC: 68T99 PDF BibTeX XML Cite \textit{A. Rajasekar} et al., J. Autom. Reasoning 5, No. 3, 293--307 (1989; Zbl 0683.68086) Full Text: DOI
Shepherdson, J. C. A sound and complete semantics for a version of negation as failure. (English) Zbl 0682.68095 Theor. Comput. Sci. 65, No. 3, 343-371 (1989). MSC: 68T15 68Q55 03B35 03B50 03B60 PDF BibTeX XML Cite \textit{J. C. Shepherdson}, Theor. Comput. Sci. 65, No. 3, 343--371 (1989; Zbl 0682.68095) Full Text: DOI
Bidoit, Nicole; Hull, Richard Minimalism, justification and non-monotonicity in deductive databases. (English) Zbl 0676.68067 J. Comput. Syst. Sci. 38, No. 2, 290-325 (1989). MSC: 68P20 68T99 03B35 PDF BibTeX XML Cite \textit{N. Bidoit} and \textit{R. Hull}, J. Comput. Syst. Sci. 38, No. 2, 290--325 (1989; Zbl 0676.68067) 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 PDF BibTeX XML Cite \textit{A. van Gelder}, J. Log. Program. 6, No. 1--2, 109--133 (1989; Zbl 0668.68108) Full Text: DOI
Gelfond, Michael; Przymusinska, Halina; Przymusinski, Teodor On the relationship between circumscription and negation as failure. (English) Zbl 0663.68097 Artif. Intell. 38, No. 1, 75-94 (1989). MSC: 68T99 PDF BibTeX XML Cite \textit{M. Gelfond} et al., Artif. Intell. 38, No. 1, 75--94 (1989; Zbl 0663.68097) Full Text: DOI
Shepherdson, J. C. Negation in Logic Programming. (English) Zbl 0718.68020 Foundations of deductive database and logic programming, 19-88 (1988). Reviewer: B.Thalheim (Rostock) MSC: 68N17 68T15 03B35 PDF BibTeX XML
Sakakibara, Yasubumi On semantics of logic programs with uncertainties. (English) Zbl 0663.68013 J. Inf. Process. 11, No. 3, 175-182 (1988). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{Y. Sakakibara}, J. Inf. Process. 11, No. 3, 175--182 (1988; Zbl 0663.68013)
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 PDF BibTeX XML Cite \textit{P. Mancarella} et al., J. Log. Program. 5, No. 3, 263--276 (1988; Zbl 0645.68099) Full Text: DOI
Lloyd, John Wylie Foundations of logic programming. 2nd ext. ed. (English) Zbl 0668.68004 Symbolic Computation. Berlin etc.: Springer-Verlag. XII, 212 p.; DM 88.00 (1987). MSC: 68-02 68N01 68T15 68W30 03B35 03C99 68Q65 68Q60 PDF BibTeX XML Cite \textit{J. W. Lloyd}, Foundations of logic programming. 2nd ext. ed. Berlin etc.: Springer-Verlag (1987; Zbl 0668.68004)
Aquilano, C.; Barbuti, R.; Bocchetti, P.; Martelli, M. Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions. (English) Zbl 0642.68158 J. Autom. Reasoning 2, 155-170 (1986). MSC: 68T15 PDF BibTeX XML Cite \textit{C. Aquilano} et al., J. Autom. Reasoning 2, 155--170 (1986; Zbl 0642.68158) Full Text: DOI
Gelfond, Michael; Przymusinska, Halina Negation as failure: careful closure procedure. (English) Zbl 0635.68119 Artif. Intell. 30, 273-287 (1986). MSC: 68P20 68T15 PDF BibTeX XML Cite \textit{M. Gelfond} and \textit{H. Przymusinska}, Artif. Intell. 30, 273--287 (1986; Zbl 0635.68119) Full Text: DOI
Lassez, J.-L.; Marriott, K. Explicit representation of terms defined by counter examples. (English) Zbl 0623.68075 Foundations of software technology and theoretical computer science, Proc. 6th Conf., New Delhi/India 1986, Lect. Notes Comput. Sci. 241, 96-107 (1986). MSC: 68T05 68T15 PDF BibTeX XML
Mints, G. Complete calculus for pure PROLOG. (Russian. English summary) Zbl 0616.68004 Izv. Akad. Nauk Ehst. SSR, Fiz., Mat. 35, 367-380 (1986). MSC: 68N01 PDF BibTeX XML Cite \textit{G. Mints}, Izv. Akad. Nauk Èst. SSR, Fiz., Mat. 35, 367--380 (1986; Zbl 0616.68004)
Naish, Lee Negation and control in PROLOG. (English) Zbl 0602.68006 Lecture Notes in Computer Science, 238. Berlin etc.: Springer-Verlag. IX, 119 p. DM 27.00 (1986). Reviewer: M.Šmídek MSC: 68-02 68N01 68Q99 03B35 68T15 PDF BibTeX XML
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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \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 PDF BibTeX XML Cite \textit{Van Tu Le}, J. Log. Program. 2, 157--165 (1985; Zbl 0585.68023) Full Text: DOI
Hagiya, Masami; Sakurai, Takafumi Foundation of logic programming based on inductive definition. (English) Zbl 0592.68032 New Generation Comput. 2, 59-77 (1984). MSC: 68Q65 03D70 PDF BibTeX XML Cite \textit{M. Hagiya} and \textit{T. Sakurai}, New Generation Comput. 2, 59--77 (1984; Zbl 0592.68032) Full Text: DOI
Lloyd, J. W. Foundations of logic programming. (English) Zbl 0547.68005 Symbolic Computation. Artificial Intelligence. Berlin etc.: Springer- Verlag. X, 124 p. DM 49.00 (1984). Reviewer: N.Curteanu MSC: 68-02 68N01 68Q65 68T15 68W30 03B35 68Q60 03C99 PDF BibTeX XML