Some classes of Prolog programs inferable from positive data
type: Item
instance of: scholarly article
title: Some classes of Prolog programs inferable from positive data
zbMATH Open document ID: 0944.68015
DOI: 10.1016/S0304-3975(99)00271-6
author: M. R. K. Krishna Rao
published in: Theoretical Computer Science
publication date: 2000-08-21T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1493321
zbMATH Keywords: inferability of Prolog programs
MaRDI profile type: Publication
cites work: Inductive inference of formal languages from positive data
cites work: Reasoning about termination of pure Prolog programs
cites work: Q3143039
cites work: Toward a mathematical theory of inductive inference
cites work: Q4386935
cites work: Language identification in the limit
cites work: A class of prolog programs inferable from positive data
cites work: Q3339245
cites work: Q3126929
cites work: Q4202913
cites work: Inductive Logic Programming: Theory and methods
cites work: Termination proofs for logic programs
cites work: Inductive inference of monotonic formal systems from positive data
cites work: Q4844167
cites work: Q4267821
description: scientific article; zbMATH DE number 1493321