Basic Forward Chaining Construction for Logic Programs

by V. W. Marek, A. Nerode, J. B. Remmel

Released as a report by Defense Technical Information Center.

1997

application/pdf 150.3 kB `file_kvtzieu7kbaallrqg45oph6n24`	www.cs.engr.uky.edu (web) web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) + 5 more URLs
application/pdf 765.7 kB `file_brtrxf3o3vd6hfth2uozxsyvzi`	web.archive.org (webarchive) www.dtic.mil (repository)

Preserved and Accessible

Type report
Stage

unknown

Date 1997-06-01

DOI 10.21236/ada344500

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

Catalog Record
Revision: 6feb7388-807a-4f07-8c70-af803d0004c3
API URL: JSON

Basic Forward Chaining Construction for Logic Programs release_ka6dgyrm65ardhtv2frbrbanq4