Integrating Discrete and Continuous Change in a Logical Framework.
Javier PintoPublished in: Comput. Intell. (1998)
Keyphrases
- logical framework
- continuous domains
- inference rules
- discrete space
- continuous action
- belief revision
- continuous variables
- reasoning tasks
- continuous data
- linear logic
- discrete data
- possibilistic logic
- continuous functions
- multi dimensional
- epistemic logic
- normative systems
- relational databases
- artificial intelligence
- machine learning