What people are saying - Write a review
We haven't found any reviews in the usual places.
Present Status and Plans for Research and Development
Research and Development of the Parallel Inference System in the Intermediate Stage
Knowledge Base System in Logic Programming Paradigm
16 other sections not shown
Other editions - View all
algorithm analysis application architecture Artificial Intelligence atomic basic software broadcast cache Chikayama clause cluster compiler computation rule concurrent CONFERENCE ON FIFTH constraint logic programming constraint solver cooperative database deductive database described design object dictionary distributed efficient environment equations example execution experimental expert systems FGCS FGCS project Fifth Generation Computer functions global goal ICOT implementation information processing input instruction interface intermediate stage Japan Japanese knowledge acquisition knowledge base knowledge representation logic programming language mechanism method module Multi-PSI natural language negation negation as failure node object model operating system parallel inference machine parallel logic parallel processing partial evaluation performance PIMOS predicate problem solving Proc processing elements Prolog prototype query reasoning relation scheme selected semantic sequential shoen Situation Semantics specific structure subsystem superimposed code syntactic task techniques tion tuple unification variables