Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base.
Robert G. JeroslowJinchang WangPublished in: INFORMS J. Comput. (1989)
Keyphrases
- horn clauses
- dynamic programming
- knowledge base
- logic programs
- inference rules
- first order logic
- logic programming
- knowledge representation
- database queries
- inductive logic programming
- integer points
- description logics
- expert systems
- special case
- knowledge acquisition
- knowledge based systems
- state space
- wordnet
- linear programming
- background knowledge
- greedy algorithm
- search engine
- convex polyhedra
- extreme points
- single machine
- convex hull
- stereo matching
- feasible solution
- data model
- natural language
- low level
- optimal policy