A Rule-Based Approach for Designing and Composing Abstract Domains.

Daniel Jurjo José F. Morales Pedro López-García Manuel V. Hermenegildo

Published in: LOPSTR (2023)

Keyphrases

application domains
artificial intelligence
real world
high level
digital libraries
complex domains
higher level
state space
probabilistic model
mobile robot
low level
special case
expert systems
data structure
three dimensional
image segmentation
computer vision
social networks