Login / Signup

Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture.

Anna CiampoliniEvelina LammaPaola MelloCesare Stefanelli
Published in: ELP (1993)
Keyphrases
  • real time
  • real world
  • search space
  • inference rules
  • formal theory
  • knowledge base
  • language learning
  • formal language
  • proof theory