Finitariness of Elementary Unification in Boolean Region Connection Calculus.
Philippe BalbianiÇigdem GencerPublished in: FroCoS (2017)
Keyphrases
- region connection calculus
- spatial information
- real valued
- boolean functions
- school children
- boolean logic
- higher order
- boolean queries
- equational theories
- set theory
- theorem proving
- decision making
- high level
- search engine
- rough sets
- evolutionary algorithm
- automated theorem proving
- user interface
- artificial neural networks
- objective function
- image sequences