Internet Archive Scholar

Basic Forward Chaining Construction for Logic Programs [report]

V. W. Marek, A. Nerode, J. B. Remmel
1997 unpublished

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (765.7 kB)
https://web.archive.org/web/20180729164213/http://www.dtic.mil/dtic/tr/fulltext/u2/a344500.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

CORNELL UNIVERSITY 625 Rhodes Hall, Ithaca, NY 14853 (607) 255-8005 REPORT DOCUMENTATION PAGE Form Approved OMB NO. 0704-0188 Public Reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comment regarding this burden estimates or any other aspect of this collection of
more » ... information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for information Operations and Reports, 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302, and to the Office of Management and Budget, Paperwork Reduction Project (0704-0188,) Washington, DC 20503.
doi:10.21236/ada344500 fatcat:ka6dgyrm65ardhtv2frbrbanq4
Citation

V. W. Marek, A. Nerode, J. B. Remmel. "Basic Forward Chaining Construction for Logic Programs." (1997)