Bounded-Wait Merge in Shapiro's Concurrent Prolog.
Anthony J. KusalikPublished in: New Gener. Comput. (1984)
Keyphrases
- logic programming
- programming language
- expert systems
- knowledge base
- knowledge representation
- abstract machine
- hierarchical reinforcement learning
- logic programming language
- constraint logic programming
- evolutionary algorithm
- decision trees
- information systems
- general purpose
- bayesian networks
- case study
- horn clauses
- asymptotically optimal
- continuous functions
- backward chaining
- long running
- semantically equivalent
- explanation based generalization
- data sets
- real time