Unbounded actions of metric groups and continuous logic.
Aleksander IvanovPublished in: Math. Log. Q. (2021)
Keyphrases
- reasoning about actions
- continuous action
- action space
- metric space
- classical logic
- distance measure
- logic programming
- distance metric
- plan recognition
- situation calculus
- action theories
- logical framework
- decision theoretic
- modal logic
- cluster analysis
- distance function
- data sets
- piecewise linear
- human actions
- multi valued
- euclidean distance
- computational properties
- nonmonotonic logics
- multi agent
- similarity measure
- asynchronous circuits
- clustering algorithm