Keyphrases
- logic programs
- description language
- higher order
- normal logic programs
- formal semantics
- hadamard transform
- action language
- motion estimation
- search algorithm
- finite difference
- concurrent actions
- image processing
- logic programming
- software architecture
- stable models
- electric vehicles
- gaussian derivatives
- image sequences
- image brightness
- directional derivatives
- artificial intelligence