Search Constraints

Start Over
Filtering by: Creator Hennen, Daniel R. Remove constraint Creator: Hennen, Daniel R. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • Disjunctions in forward chaining logic programming

    Creator:
    Corpron, Daniel R.
    Abstract:
    A forward-chaining logic programming system (FORLOG) has been developed at Oregon State University. This system coupled with an assumption-based truth maintenance system (ATMS), provides an alternative to the logic programming paradigm of backward-chaining with Horn clauses. To compare FORLOG to this paradigm, we define a subset of FORLOG, called mini-FORLOG,...
    Resource Type:
    Masters Thesis
    Full Text:
    Abstract of the Thesis of Daniel R. Corpron for the degree of Master of Science in Computer Science