Predicate abstraction with indexed predicates.
Shuvendu K. LahiriRandal E. BryantPublished in: ACM Trans. Comput. Log. (2007)
Keyphrases
- horn clauses
- datalog programs
- monotonicity constraints
- high level
- first order logic
- user defined
- databases
- data structure
- special case
- information retrieval
- real time
- case study
- hidden markov models
- mobile robot
- logic programming
- learning algorithm
- machine learning
- inverted file
- neural network
- temporal abstractions
- function symbols
- decision theoretic planning