Luo, Zhaohui Coercive subtyping. (English) Zbl 0920.03062 J. Log. Comput. 9, No. 1, 105-130 (1999). MSC: 03F35 03B15 03B35 68Q60 03B70 PDFBibTeX XMLCite \textit{Z. Luo}, J. Log. Comput. 9, No. 1, 105--130 (1999; Zbl 0920.03062) Full Text: DOI Link
Boldrin, Luca; Saffiotti, Alessandro A modal logic for fusing partial belief of multiple reasoners. (English) Zbl 0926.03012 J. Log. Comput. 9, No. 1, 81-103 (1999). Reviewer: Bernhard Heinemann (Hagen) MSC: 03B42 68T27 03B45 PDFBibTeX XMLCite \textit{L. Boldrin} and \textit{A. Saffiotti}, J. Log. Comput. 9, No. 1, 81--103 (1999; Zbl 0926.03012) Full Text: DOI
Walton, Douglas Applying labelled deductive systems and multi-agent systems to source-based argumentation. (English) Zbl 0920.03010 J. Log. Comput. 9, No. 1, 63-80 (1999). MSC: 03A05 03B80 68T35 PDFBibTeX XMLCite \textit{D. Walton}, J. Log. Comput. 9, No. 1, 63--80 (1999; Zbl 0920.03010) Full Text: DOI Link
Stärk, Robert A direct proof of the completeness of SLDNF-resolution. (English) Zbl 0915.68021 J. Log. Comput. 9, No. 1, 47-61 (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{R. Stärk}, J. Log. Comput. 9, No. 1, 47--61 (1999; Zbl 0915.68021) Full Text: DOI Link
Gabbay, Dov M.; Nossum, Rolf; Thielscher, Michael Agents in proactive environments. (English) Zbl 0915.68153 J. Log. Comput. 9, No. 1, 25-45 (1999). MSC: 68T27 03B80 PDFBibTeX XMLCite \textit{D. M. Gabbay} et al., J. Log. Comput. 9, No. 1, 25--45 (1999; Zbl 0915.68153) Full Text: DOI Link
Brogi, A.; Contiero, S.; Turini, F. Programming by combining general logic programs. (English) Zbl 0915.68020 J. Log. Comput. 9, No. 1, 7-24 (1999). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{A. Brogi} et al., J. Log. Comput. 9, No. 1, 7--24 (1999; Zbl 0915.68020) Full Text: DOI Link