Preservation Under Extensions on Well-Behaved Finite Structures.

Albert Atserias Anuj Dawar Martin Grohe

Published in: ICALP (2005)

Keyphrases

artificial intelligence
case study
genetic algorithm
wide range
multi agent systems
expert systems
expressive power
default logic
complex structures
default theories