Search Constraints

Start Over
Filtering by: Subject Engineering design -- Computer programs Remove constraint Subject: Engineering design -- Computer programs Decade 1980-1989 Remove constraint Decade: 1980-1989

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